Lib.rs

Cargo Features

[dependencies]
mutnet = { version = "0.6.1", default-features = false, features = ["error_trait", "std", "remove_checksum", "verify_udp", "verify_ipv6", "verify_vlan", "verify_ethernet"] }

error_trait std

Include the core::error:Error trait for all errors

std default = error_trait

Use std

default = std

The std feature is set by default whenever mutnet is added without default-features = false somewhere in the dependency tree.

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