source: CIVL/mods/dev.civl.abc/examples/labels.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: 240 bytes
RevLine 
[aad342c]1void f(int a){
2 int k;
3 if(a == 0)
4 goto ERROR;
5 else
6 k = a + 1;
7 if(k > 100){
8 ERROR:
9 goto ERROR;
10 }
11}
12
13int main(){
14 int t = 0;
15
16 if(t < 10)
17 goto ERROR;
18 f(t);
19 if(t == 9){
20 ERROR:
21 goto ERROR;
22 }
23}
Note: See TracBrowser for help on using the repository browser.