main
test-branch
|
Last change
on this file since 4e16aed was 9ca4e28, checked in by Stephen Siegel <siegel@…>, 16 months ago |
|
Adding some new language feature tests that reveal problems: assertions, chooseCalls.
Adding a comment in CommonExecutor explaining problem with translation of function calls.
git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5950 fb995dde-84ed-4084-dfe6-e5aef3e2452c
|
-
Property mode
set to
100644
|
|
File size:
124 bytes
|
| Line | |
|---|
| 1 |
|
|---|
| 2 | void f(void) {
|
|---|
| 3 | $print("f\n");
|
|---|
| 4 | }
|
|---|
| 5 |
|
|---|
| 6 | void g(void) {
|
|---|
| 7 | $print("g\n");
|
|---|
| 8 | }
|
|---|
| 9 |
|
|---|
| 10 | int main(void) {
|
|---|
| 11 | $choose {
|
|---|
| 12 | f();
|
|---|
| 13 | g();
|
|---|
| 14 | }
|
|---|
| 15 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
