1.23
2.0
main
test-branch
|
Last change
on this file since eb7a9a2 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
|
| Line | |
|---|
| 1 | #include<civlc.h>
|
|---|
| 2 |
|
|---|
| 3 | void main() {
|
|---|
| 4 | int a;
|
|---|
| 5 | int b;
|
|---|
| 6 | int c;
|
|---|
| 7 |
|
|---|
| 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;
|
|---|
| 16 | }
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
