Cargo Features
mutnet has no features set by default.
[dependencies]
mutnet = { version = "0.7.0", features = ["remove_checksum", "verify_udp", "verify_ipv6", "verify_vlan", "verify_ethernet"] }- remove_checksum verify_arp? verify_ethernet? verify_ipv4? verify_ipv6? verify_ipv6_extensions? verify_tcp? verify_udp? verify_vlan?
-
Verification features, not intended for non-dev use Removes the checksum compilation for Kani proofs
Affects
checksum::internet_checksum_up_to_64_bytes,checksum::internet_checksum_intermediary,checksum::internet_checksum… - verify_tcp verify_udp = remove_checksum
- verify_ipv6_extensions verify_ipv6 = remove_checksum
- verify_ipv4 verify_arp verify_vlan = remove_checksum
- verify_ethernet = remove_checksum