source: CIVL/examples/library/civlc/elaborate.cvl@ ecfe5bf

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since ecfe5bf was 6f8bc6ea, checked in by Manchun Zheng <zmanchun@…>, 11 years ago

cleaned up stdio library implementation; fixed io, mpi transformer and some examples accordingly.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@2062 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 186 bytes
Line 
1#include <stdio.h>
2#include <civlc.cvh>
3
4$input int X;
5$assume 1 <= X && X <= 3;
6$assume X % 2 == 0;
7
8int main(void) {
9 elaborate(X);
10 printf("%d\n", X);
11 $assert X==2;
12 return 0;
13}
Note: See TracBrowser for help on using the repository browser.