addr_in_network.ncd 1.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960
  1. process main {
  2. net.ipv4.addr_in_network("192.168.6.0", "192.168.6.0", "24") r;
  3. assert(r);
  4. net.ipv4.addr_in_network("192.168.6.0", "192.168.6.0/24") r;
  5. assert(r);
  6. net.ipv4.addr_in_network("192.168.6.1", "192.168.6.0", "24") r;
  7. assert(r);
  8. net.ipv4.addr_in_network("192.168.6.255", "192.168.6.0", "24") r;
  9. assert(r);
  10. net.ipv4.addr_in_network("192.168.5.255", "192.168.6.0", "24") r;
  11. not(r) r;
  12. assert(r);
  13. net.ipv4.addr_in_network("192.168.7.0", "192.168.6.0", "24") r;
  14. not(r) r;
  15. assert(r);
  16. net.ipv4.addr_in_network("192.168.7.0", "192.168.6.0/24") r;
  17. not(r) r;
  18. assert(r);
  19. net.ipv4.addr_in_network("0.0.0.0", "192.168.6.0", "0") r;
  20. assert(r);
  21. net.ipv4.addr_in_network("0.0.0.0", "0.0.0.0", "0") r;
  22. assert(r);
  23. net.ipv4.addr_in_network("255.255.255.255", "0.0.0.0", "0") r;
  24. assert(r);
  25. net.ipv6.addr_in_network("::123:0", "::123:0/112") r;
  26. assert(r);
  27. net.ipv6.addr_in_network("::123:1", "::123:0/112") r;
  28. assert(r);
  29. net.ipv6.addr_in_network("::123:ffff", "::123:0/112") r;
  30. assert(r);
  31. net.ipv6.addr_in_network("::123:ffff", "::123:ffff/128") r;
  32. assert(r);
  33. net.ipv6.addr_in_network("::122:ffff", "::123:0/112") r;
  34. not(r) r;
  35. assert(r);
  36. net.ipv6.addr_in_network("::124:0", "::123:0/112") r;
  37. not(r) r;
  38. assert(r);
  39. net.ipv6.addr_in_network("::123:fffe", "::123:ffff/128") r;
  40. not(r) r;
  41. assert(r);
  42. exit("0");
  43. }