netmask.ncd 317 B

123456789101112131415
  1. process main {
  2. ipv4_prefix_to_mask("16") mask;
  3. strcmp(mask, "255.255.0.0") a;
  4. assert(a);
  5. ipv4_mask_to_prefix("128.0.0.0") prefix;
  6. strcmp(prefix, "1") a;
  7. assert(a);
  8. ipv4_net_from_addr_and_prefix("192.168.1.4", "24") net;
  9. strcmp(net, "192.168.1.0") a;
  10. assert(a);
  11. exit("0");
  12. }