BadVPN – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 process main {
2 parse_number("awfa") x;
3 not(x.succeeded) a;
4 assert(a);
5  
6 parse_number("023182") x;
7 assert(x.succeeded);
8 val_equal(x, "23182") a;
9 assert(a);
10  
11 parse_hex_number("012AF") x;
12 assert(x.succeeded);
13 val_equal(x, "4783") a;
14 assert(a);
15  
16 parse_ipv4_addr("192.168.61.007") x;
17 assert(x.succeeded);
18 val_equal(x, "192.168.61.7") a;
19 assert(a);
20  
21 parse_ipv6_addr("1234:0000::abcd") x;
22 assert(x.succeeded);
23 val_equal(x, "1234::abcd") a;
24 assert(a);
25  
26 parse_value("{\"Hello World\", {}}") x;
27 assert(x.succeeded);
28 val_equal(x, {"Hello World", {}}) a;
29 assert(a);
30  
31 var({"Hello", "fw", {}, {}, ["key":{{}}, [[]:[]]:["k":"v"]], {"st", {"ri", {"ng", [[{}:{}]:[]]}}}}) v;
32 to_string(v) str;
33 from_string(str) v2;
34 to_string(v2) str2;
35 val_equal(v, v2) a;
36 assert(a);
37 val_equal(str, str2) a;
38 assert(a);
39  
40 parse_value("{\"Hello\", \"fw\", {}, {}, [\"key\":{{}}, [[]:[]]:[\"k\":\"v\"]], {\"st\", {\"ri\", {\"ng\", [[{}:{}]:[]]}}}}") x;
41 assert(x.succeeded);
42  
43 parse_value("{\"Hello\", \"fw\", {}, {}, \"key\":{{}}, [[]:[]]:[\"k\":\"v\"]], {\"st, {\"ri\", {\"ng\", [[{}:{}]:[]]}}}}") x;
44 not(x.succeeded) a;
45 assert(a);
46  
47 parse_value("{\"Hello\", \"fw\", {}, {}, [\"key\":{{}}, [[]:[]]:[\"k\":\"v\"]], {\"st\", \"ri\", \"ng\", [[{}:{}]:[]]}}}}") x;
48 not(x.succeeded) a;
49 assert(a);
50  
51 parse_value("{\"Hello\", \"fw\", {}, {}, [\"key\":{{}}, [[]:[]]:[\"k\":\"v\"]], {\"st\", {\"ri\", {\"ng\", [[{}:{}]:[]]}}}}}") x;
52 not(x.succeeded) a;
53 assert(a);
54  
55 parse_value("{\"Hello\", \"fw\", {}, {}, [\"key\":{{}}, [[]:[]]:[\"k\":\"v\"]], {\"st\", {\"ri\", {\"ng\", [[{}:{}]:[]]}}}") x;
56 not(x.succeeded) a;
57 assert(a);
58  
59 parse_value("{syntax error") x;
60 not(x.succeeded) a;
61 assert(a);
62  
63 parse_ipv4_cidr_addr("192.168.61.007/24") x;
64 assert(x.succeeded);
65 val_equal(x, "192.168.61.7/24") a;
66 assert(a);
67 val_equal(x.addr, "192.168.61.7") a;
68 assert(a);
69 val_equal(x.prefix, "24") a;
70 assert(a);
71  
72 parse_ipv4_cidr_addr("192.168.61.007/33") x;
73 not(x.succeeded) a;
74 assert(a);
75  
76 parse_ipv6_cidr_addr("1234:0000::abcd/41") x;
77 assert(x.succeeded);
78 val_equal(x, "1234::abcd/41") a;
79 assert(a);
80 val_equal(x.addr, "1234::abcd") a;
81 assert(a);
82 val_equal(x.prefix, "41") a;
83 assert(a);
84  
85 parse_ipv6_cidr_addr("1234:0000::abcd/129") x;
86 not(x.succeeded) a;
87 assert(a);
88  
89 exit("0");
90 }