BadVPN – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 process main {
2 value("ab\0") str1;
3 value("ab") str2;
4  
5 strcmp(str1.length, "3") a;
6 assert(a);
7  
8 strcmp(str2.length, "2") a;
9 assert(a);
10  
11 strcmp(str1, str2) a;
12 not(a) a;
13 assert(a);
14  
15 concat(str1, str2) strc;
16 strcmp(strc, "ab\0ab") a;
17 assert(a);
18  
19 concat(str2, str1) strc;
20 strcmp(strc, "abab\0") a;
21 assert(a);
22  
23 value("") str1;
24 value("\x00\x00") str2;
25 value("\x00\x01") str3;
26 value("\x01") str4;
27  
28 val_lesser(str1, str2) a;
29 assert(a);
30  
31 val_lesser(str2, str3) a;
32 assert(a);
33  
34 val_lesser(str3, str4) a;
35 assert(a);
36  
37 exit("0");
38 }