source: CIVL/examples/direct/itest.c@ 9a23317

1.23 2.0 main test-branch
Last change on this file since 9a23317 was eb96061, checked in by Matthew B. Dwyer <matthewbdwyer@…>, 10 years ago

Basic test for directed symbolic execution

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

  • Property mode set to 100644
File size: 216 bytes
Line 
1int x = 0;
2int y = 0;
3int main() {
4 if (x > 0) {
5 x++;
6 } else if (y > 0) {
7 x--;
8 }
9
10 do {
11 x++;
12 } while (x < 100);
13
14 while (x > 0) {
15 x--;
16 }
17
18 for (int i=0; i<10; i++) {
19 x = x + 1;
20 }
21}
Note: See TracBrowser for help on using the repository browser.