source:
CIVL/examples/languageFeatures/exit.cvl@
85d4675
| Last change on this file since 85d4675 was 36b5ada, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 253 bytes | |
| Rev | Line | |
|---|---|---|
| [36b5ada] | 1 | /* Commandline execution: |
| 2 | * civl verify exit.cvl | |
| 3 | * */ | |
| [65b3124] | 4 | #include<civlc.h> |
| 5 | ||
| 6 | void f() { | |
| 7 | for (int i = 0; i < 10; i++) { | |
| 8 | if (i == 8) { | |
| 9 | $exit(); | |
| 10 | } | |
| 11 | $assert i < 9; | |
| 12 | } | |
| 13 | } | |
| 14 | ||
| 15 | void main() { | |
| 16 | for (int i = 0; i < 4; i++) { | |
| 17 | $spawn f(); | |
| 18 | } | |
| 19 | } |
Note:
See TracBrowser
for help on using the repository browser.
