source: CIVL/examples/specialStatements/when1.cvl@ 758e379

1.23 2.0 main test-branch
Last change on this file since 758e379 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: 138 bytes
Line 
1#include<civlc.cvh>
2
3int main(){
4 int a=10;
5
6 $when(a<100){
7 $assert(a==10);
8 int a=9;
9 $assert(a==9);
10 }
11 $assert(a==10);
12}
Note: See TracBrowser for help on using the repository browser.