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

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

Added some tests. Expanded pointers.cvl. Changed \ to $ in locks.cvl.

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

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