source: CIVL/mods/dev.civl.abc/examples/side-effects/shortCircuit.c

main
Last change on this file was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5664 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 284 bytes
Line 
1
2int f(int);
3int g(int);
4
5int main(){
6 int i=0, j=0;
7
8 /*if((f(5)==(++i)) && (g(6)>=(j--))){
9 i=i+j;
10 }*/
11
12 if((i>5 && f(i)<i++) && ((j++)<3 || g(4)>(--i)) || j==10)
13 i=i-j;
14
15 /*_Bool t;
16 if(!(f(5)==(++i)))
17 t=$false;
18 else
19 t=(g(6)>=(j--));
20 if(t)
21 i=i+j;*/
22}
Note: See TracBrowser for help on using the repository browser.