BadVPN – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 process main {
2 num_lesser("6", "7") r;
3 assert(r);
4  
5 num_lesser("7", "7") r;
6 not(r) a;
7 assert(a);
8  
9 num_greater("7", "6") r;
10 assert(r);
11  
12 num_greater("7", "7") r;
13 not(r) a;
14 assert(a);
15  
16 num_lesser_equal("7", "7") r;
17 assert(r);
18  
19 num_lesser_equal("8", "7") r;
20 not(r) a;
21 assert(a);
22  
23 num_greater_equal("7", "7") r;
24 assert(r);
25  
26 num_greater_equal("7", "8") r;
27 not(r) a;
28 assert(a);
29  
30 num_equal("7", "7") r;
31 assert(r);
32  
33 num_equal("6", "7") r;
34 not(r) a;
35 assert(a);
36  
37 num_equal("7", "6") r;
38 not(r) a;
39 assert(a);
40  
41 num_different("7", "6") a;
42 assert(a);
43  
44 num_different("7", "007") a;
45 not(a) a;
46 assert(a);
47  
48 num_add("4", "7") r;
49 strcmp(r, "11") a;
50 assert(a);
51  
52 num_subtract("4", "3") r;
53 strcmp(r, "1") a;
54 assert(a);
55  
56 num_multiply("4", "5") r;
57 strcmp(r, "20") a;
58 assert(a);
59  
60 num_divide("7", "3") r;
61 strcmp(r, "2") a;
62 assert(a);
63  
64 num_modulo("7", "3") r;
65 strcmp(r, "1") a;
66 assert(a);
67  
68 num_add("18446744073709551615", "1") r;
69 assert(r.is_error);
70  
71 num_subtract("0", "1") r;
72 assert(r.is_error);
73  
74 num_multiply("9223372036854775808", "2") r;
75 assert(r.is_error);
76  
77 num_divide("4", "0") r;
78 assert(r.is_error);
79  
80 num_modulo("4", "0") r;
81 assert(r.is_error);
82  
83 num_add("1", "1") r;
84 assert_false(r.is_error);
85  
86 exit("0");
87 }