source: CIVL/examples/specialStatements/when2.cvl@ 3a2ec5e

1.23 2.0 main test-branch
Last change on this file since 3a2ec5e was 1e89eb7, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

added examples for $when.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@2628 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 242 bytes
Line 
1#include<civlc.cvh>
2
3int main(){
4 int a=10, i=0;
5
6 $when(a<100){
7 while(a>0 && i<10){
8 a=a-1;
9 i++;
10 $assert(a==10-i);
11 int a=-1;
12 $assert(a==-1);
13 }
14 $assert(a>=0);
15 int a=-1;
16 $assert(a==-1);
17 }
18}
Note: See TracBrowser for help on using the repository browser.