source: CIVL/examples/seq/callpath.c

main
Last change on this file was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago

Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.

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

  • Property mode set to 100644
File size: 336 bytes
Line 
1#include <assert.h>
2
3#ifdef _CIVL
4
5#include <civlc.cvh>
6
7$input int x;
8$input int y;
9
10#else
11
12int x = 1;
13int y = 1;
14
15#endif
16
17void baz(int x) {
18 assert (x == 0);
19}
20
21void foo(int x) {
22 baz(x);
23}
24
25void bar(int x) {
26 baz(x);
27}
28
29int main() {
30 int z = 0;
31
32 if (x > 0) z = x;
33 if (y > 0) z = y;
34 if (x > 0) foo(z);
35 if (y > 0) bar(z);
36}
Note: See TracBrowser for help on using the repository browser.