source: CIVL/examples/sideEffects.cvl@ 8bd0ed8

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

Added asserts to side effects example. Added StandardPredicate which wraps a deadlock and also checks for excessive errors in the log. Simplified ExamplesTest to use new CIVL.check() method. Fixed printing of pointer type, assert, assume, return statements. Partial struct support.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@68 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 174 bytes
RevLine 
[d578f94]1#include<civlc.h>
[b6c1fcb]2
3void main() {
[d578f94]4 int a;
5 int b;
6 int c;
[b6c1fcb]7
[d578f94]8 a = b = c = 0;
9 b++;
10 a = ++b;
11 c = a--;
12 b = c++;
13 $assert a == 1;
14 $assert b == 2;
15 $assert c == 3;
[b6c1fcb]16}
Note: See TracBrowser for help on using the repository browser.