source: CIVL/examples/experimental/sideEffects2.cvl@ 2b5dc93

1.23 2.0 main test-branch
Last change on this file since 2b5dc93 was 8fa5a7b, checked in by Tim Zirkel <zirkeltk@…>, 13 years ago

moved untested/unused examples to experimental folder

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

  • Property mode set to 100644
File size: 231 bytes
RevLine 
[8fa5a7b]1#include<civlc.h>
[844ebd8]2
3void main() {
4 int a;
5 int b;
6 int c;
7 int d;
8
9 a = b = c = d = 0;
10 b++;
11 a = ++b - c-- + a;
12 d = --a - c++ - --b + b;
13 b = c++;
[8fa5a7b]14 $assert a == 1;
15 $assert b == 1;
16 $assert c == 2;
17 $assert d == 2;
[844ebd8]18}
Note: See TracBrowser for help on using the repository browser.