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