BadVPN – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 process main {
2 net.ipv4.addr_in_network("192.168.6.0", "192.168.6.0", "24") r;
3 assert(r);
4  
5 net.ipv4.addr_in_network("192.168.6.0", "192.168.6.0/24") r;
6 assert(r);
7  
8 net.ipv4.addr_in_network("192.168.6.1", "192.168.6.0", "24") r;
9 assert(r);
10  
11 net.ipv4.addr_in_network("192.168.6.255", "192.168.6.0", "24") r;
12 assert(r);
13  
14 net.ipv4.addr_in_network("192.168.5.255", "192.168.6.0", "24") r;
15 not(r) r;
16 assert(r);
17  
18 net.ipv4.addr_in_network("192.168.7.0", "192.168.6.0", "24") r;
19 not(r) r;
20 assert(r);
21  
22 net.ipv4.addr_in_network("192.168.7.0", "192.168.6.0/24") r;
23 not(r) r;
24 assert(r);
25  
26 net.ipv4.addr_in_network("0.0.0.0", "192.168.6.0", "0") r;
27 assert(r);
28  
29 net.ipv4.addr_in_network("0.0.0.0", "0.0.0.0", "0") r;
30 assert(r);
31  
32 net.ipv4.addr_in_network("255.255.255.255", "0.0.0.0", "0") r;
33 assert(r);
34  
35 net.ipv6.addr_in_network("::123:0", "::123:0/112") r;
36 assert(r);
37  
38 net.ipv6.addr_in_network("::123:1", "::123:0/112") r;
39 assert(r);
40  
41 net.ipv6.addr_in_network("::123:ffff", "::123:0/112") r;
42 assert(r);
43  
44 net.ipv6.addr_in_network("::123:ffff", "::123:ffff/128") r;
45 assert(r);
46  
47 net.ipv6.addr_in_network("::122:ffff", "::123:0/112") r;
48 not(r) r;
49 assert(r);
50  
51 net.ipv6.addr_in_network("::124:0", "::123:0/112") r;
52 not(r) r;
53 assert(r);
54  
55 net.ipv6.addr_in_network("::123:fffe", "::123:ffff/128") r;
56 not(r) r;
57 assert(r);
58  
59 exit("0");
60 }