BadVPN – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 process main {
2 var("true") t;
3 var("Faalse") f;
4  
5 and(t, f) r;
6 strcmp(r, "false") a;
7 assert(a);
8  
9 and(f, t) r;
10 strcmp(r, "false") a;
11 assert(a);
12  
13 and(f, f) r;
14 strcmp(r, "false") a;
15 assert(a);
16  
17 and(t, t) r;
18 strcmp(r, "true") a;
19 assert(a);
20  
21 or(t, f) r;
22 strcmp(r, "true") a;
23 assert(a);
24  
25 or(f, t) r;
26 strcmp(r, "true") a;
27 assert(a);
28  
29 or(t, t) r;
30 strcmp(r, "true") a;
31 assert(a);
32  
33 or(f, f) r;
34 strcmp(r, "false") a;
35 assert(a);
36  
37 not(f) r;
38 strcmp(r, "true") a;
39 assert(a);
40  
41 not(t) r;
42 strcmp(r, "false") a;
43 assert(a);
44  
45 exit("0");
46 }