BadVPN – Blame information for rev 1
?pathlinks?
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 | } |