[INFO] fetching crate mutnet 0.5.1...
[INFO] checking mutnet-0.5.1 against nightly-2024-02-05 for check-cfg-2
[INFO] extracting crate mutnet 0.5.1 into /workspace/builds/worker-7-tc1/source
[INFO] validating manifest of crates.io crate mutnet 0.5.1 on toolchain nightly-2024-02-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate mutnet 0.5.1
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate mutnet 0.5.1
[INFO] tweaked toml for crates.io crate mutnet 0.5.1 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] crate crates.io crate mutnet 0.5.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded num-traits v0.2.17
[INFO] [stderr]   Downloaded anstyle v1.0.4
[INFO] [stderr]   Downloaded errno v0.2.8
[INFO] [stderr]   Downloaded libloading v0.6.7
[INFO] [stderr]   Downloaded serde_derive v1.0.189
[INFO] [stderr]   Downloaded clap v4.4.6
[INFO] [stderr]   Downloaded pcap v1.1.0
[INFO] [stderr]   Downloaded etherparse v0.13.0
[INFO] [stderr]   Downloaded clap_builder v4.4.6
[INFO] [stderr]   Downloaded serde v1.0.189
[INFO] [stderr]   Downloaded rustix v0.38.20
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7e46efa2a2fbf8539f2dcf4fa2df62a88d2cab1643bb6c0042cca73f73161607
[INFO] running `Command { std: "docker" "start" "-a" "7e46efa2a2fbf8539f2dcf4fa2df62a88d2cab1643bb6c0042cca73f73161607", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7e46efa2a2fbf8539f2dcf4fa2df62a88d2cab1643bb6c0042cca73f73161607", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7e46efa2a2fbf8539f2dcf4fa2df62a88d2cab1643bb6c0042cca73f73161607", kill_on_drop: false }`
[INFO] [stdout] 7e46efa2a2fbf8539f2dcf4fa2df62a88d2cab1643bb6c0042cca73f73161607
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 61e4b013dce27897151bd65cbbe987e14d23a24d18dedd6681f43b0447a08034
[INFO] running `Command { std: "docker" "start" "-a" "61e4b013dce27897151bd65cbbe987e14d23a24d18dedd6681f43b0447a08034", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.69
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling memoffset v0.9.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.16
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.15
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling serde v1.0.189
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling num-traits v0.2.17
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]    Compiling rayon-core v1.12.0
[INFO] [stderr]    Compiling aho-corasick v1.1.2
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling rustix v0.38.20
[INFO] [stderr]     Checking either v1.9.0
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]     Checking crossbeam-deque v0.8.3
[INFO] [stderr]    Compiling libloading v0.6.7
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]     Checking itoa v1.0.9
[INFO] [stderr]     Checking getrandom v0.2.10
[INFO] [stderr]     Checking bitflags v2.4.1
[INFO] [stderr]     Checking plotters-backend v0.3.5
[INFO] [stderr]    Compiling pkg-config v0.3.27
[INFO] [stderr]     Checking half v1.8.2
[INFO] [stderr]     Checking clap_lex v0.5.1
[INFO] [stderr]     Checking linux-raw-sys v0.4.10
[INFO] [stderr]     Checking anstyle v1.0.4
[INFO] [stderr]     Checking ryu v1.0.15
[INFO] [stderr]     Checking ciborium-io v0.2.1
[INFO] [stderr]     Checking ciborium-ll v0.2.1
[INFO] [stderr]     Checking clap_builder v4.4.6
[INFO] [stderr]     Checking plotters-svg v0.3.5
[INFO] [stderr]    Compiling regex-automata v0.4.3
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking walkdir v2.4.0
[INFO] [stderr]     Checking clap v4.4.6
[INFO] [stderr]     Checking rayon v1.8.0
[INFO] [stderr]     Checking plotters v0.3.5
[INFO] [stderr]     Checking is-terminal v0.4.9
[INFO] [stderr]     Checking errno v0.2.8
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]     Checking once_cell v1.18.0
[INFO] [stderr]     Checking arrayvec v0.7.4
[INFO] [stderr]     Checking regex v1.10.2
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking etherparse v0.13.0
[INFO] [stderr]     Checking criterion-plot v0.5.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking mutnet v0.5.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling serde_derive v1.0.189
[INFO] [stderr]    Compiling pcap v1.1.0
[INFO] [stderr]     Checking ciborium v0.2.1
[INFO] [stderr]     Checking tinytemplate v1.2.1
[INFO] [stderr]     Checking criterion v0.5.1
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 10.61s
[INFO] running `Command { std: "docker" "inspect" "61e4b013dce27897151bd65cbbe987e14d23a24d18dedd6681f43b0447a08034", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "61e4b013dce27897151bd65cbbe987e14d23a24d18dedd6681f43b0447a08034", kill_on_drop: false }`
[INFO] [stdout] 61e4b013dce27897151bd65cbbe987e14d23a24d18dedd6681f43b0447a08034
[INFO] checking mutnet-0.5.1 against nightly-2024-02-05+rustflags=-Dunexpected_cfgs+cargoflags=-Zcheck-cfg for check-cfg-2
[INFO] extracting crate mutnet 0.5.1 into /workspace/builds/worker-7-tc2/source
[INFO] validating manifest of crates.io crate mutnet 0.5.1 on toolchain nightly-2024-02-05
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate mutnet 0.5.1
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate mutnet 0.5.1
[INFO] tweaked toml for crates.io crate mutnet 0.5.1 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] crate crates.io crate mutnet 0.5.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2024-02-05" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b249aa1bc3389099fa6c28148d0df2bab929f0026149a6e1839c3ebcb6e62431
[INFO] running `Command { std: "docker" "start" "-a" "b249aa1bc3389099fa6c28148d0df2bab929f0026149a6e1839c3ebcb6e62431", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b249aa1bc3389099fa6c28148d0df2bab929f0026149a6e1839c3ebcb6e62431", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b249aa1bc3389099fa6c28148d0df2bab929f0026149a6e1839c3ebcb6e62431", kill_on_drop: false }`
[INFO] [stdout] b249aa1bc3389099fa6c28148d0df2bab929f0026149a6e1839c3ebcb6e62431
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Dunexpected_cfgs" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2024-02-05" "check" "--frozen" "--all" "--all-targets" "--message-format=json" "-Zcheck-cfg", kill_on_drop: false }`
[INFO] [stdout] aacb6643ff088c37c51f7075943c1f4afb1a701a95c9fc195ec375684d41ff92
[INFO] running `Command { std: "docker" "start" "-a" "aacb6643ff088c37c51f7075943c1f4afb1a701a95c9fc195ec375684d41ff92", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.69
[INFO] [stderr]    Compiling libc v0.2.149
[INFO] [stderr]    Compiling memoffset v0.9.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.16
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.15
[INFO] [stderr]    Compiling serde v1.0.189
[INFO] [stderr]    Compiling memchr v2.6.4
[INFO] [stderr]    Compiling regex-syntax v0.8.2
[INFO] [stderr]    Compiling num-traits v0.2.17
[INFO] [stderr]    Compiling rustix v0.38.20
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling aho-corasick v1.1.2
[INFO] [stderr]    Compiling serde_json v1.0.107
[INFO] [stderr]     Checking either v1.9.0
[INFO] [stderr]    Compiling rayon-core v1.12.0
[INFO] [stderr]    Compiling quote v1.0.33
[INFO] [stderr]     Checking crossbeam-deque v0.8.3
[INFO] [stderr]    Compiling libloading v0.6.7
[INFO] [stderr]    Compiling syn v2.0.38
[INFO] [stderr]     Checking getrandom v0.2.10
[INFO] [stderr]     Checking ciborium-io v0.2.1
[INFO] [stderr]    Compiling pkg-config v0.3.27
[INFO] [stderr]     Checking clap_lex v0.5.1
[INFO] [stderr]     Checking ryu v1.0.15
[INFO] [stderr]     Checking itoa v1.0.9
[INFO] [stderr]     Checking bitflags v2.4.1
[INFO] [stderr]     Checking anstyle v1.0.4
[INFO] [stderr]     Checking plotters-backend v0.3.5
[INFO] [stderr]     Checking linux-raw-sys v0.4.10
[INFO] [stderr]     Checking half v1.8.2
[INFO] [stderr]     Checking plotters-svg v0.3.5
[INFO] [stderr]     Checking clap_builder v4.4.6
[INFO] [stderr]     Checking ciborium-ll v0.2.1
[INFO] [stderr]    Compiling regex-automata v0.4.3
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking itertools v0.10.5
[INFO] [stderr]     Checking same-file v1.0.6
[INFO] [stderr]     Checking cast v0.3.0
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking clap v4.4.6
[INFO] [stderr]     Checking walkdir v2.4.0
[INFO] [stderr]     Checking rayon v1.8.0
[INFO] [stderr]     Checking is-terminal v0.4.9
[INFO] [stderr]     Checking plotters v0.3.5
[INFO] [stderr]     Checking errno v0.2.8
[INFO] [stderr]     Checking arrayvec v0.7.4
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]     Checking once_cell v1.18.0
[INFO] [stderr]     Checking anes v0.1.6
[INFO] [stderr]     Checking etherparse v0.13.0
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking regex v1.10.2
[INFO] [stderr]     Checking mutnet v0.5.1 (/opt/rustwide/workdir)
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/arp.rs:9:64
[INFO] [stdout]   |
[INFO] [stdout] 9 | #[cfg(all(feature = "remove_checksum", feature = "verify_arp", kani))]
[INFO] [stdout]   |                                                                ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: expected names are: `debug_assertions`, `doc`, `doctest`, `feature`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `sanitize`, `sanitizer_cfi_generalize_pointers`, `sanitizer_cfi_normalize_integers`, `target_abi`, `target_arch`, `target_endian`, `target_env`, `target_family`, `target_feature`, `target_has_atomic`, `target_has_atomic_equal_alignment`, `target_has_atomic_load_store`, `target_os`, `target_pointer_width`, `target_thread_local`, `target_vendor`, `test`, `unix`, `windows`
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout]   = note: requested on the command line with `-D unexpected-cfgs`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/checksum.rs:2:45
[INFO] [stdout]   |
[INFO] [stdout] 2 | #[cfg(all(not(feature = "remove_checksum"), kani))]
[INFO] [stdout]   |                                             ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/ethernet.rs:7:69
[INFO] [stdout]   |
[INFO] [stdout] 7 | #[cfg(all(feature = "remove_checksum", feature = "verify_ethernet", kani))]
[INFO] [stdout]   |                                                                     ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/ieee802_1q_vlan.rs:9:65
[INFO] [stdout]   |
[INFO] [stdout] 9 | #[cfg(all(feature = "remove_checksum", feature = "verify_vlan", kani))]
[INFO] [stdout]   |                                                                 ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/ieee802_1q_vlan.rs:25:12
[INFO] [stdout]    |
[INFO] [stdout] 25 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]    |            ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/ipv4.rs:9:65
[INFO] [stdout]   |
[INFO] [stdout] 9 | #[cfg(all(feature = "remove_checksum", feature = "verify_ipv4", kani))]
[INFO] [stdout]   |                                                                 ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/ipv6.rs:9:65
[INFO] [stdout]   |
[INFO] [stdout] 9 | #[cfg(all(feature = "remove_checksum", feature = "verify_ipv6", kani))]
[INFO] [stdout]   |                                                                 ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/ipv6_extensions.rs:3:76
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[cfg(all(feature = "remove_checksum", feature = "verify_ipv6_extensions", kani))]
[INFO] [stdout]   |                                                                            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/tcp.rs:9:64
[INFO] [stdout]   |
[INFO] [stdout] 9 | #[cfg(all(feature = "remove_checksum", feature = "verify_tcp", kani))]
[INFO] [stdout]   |                                                                ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/arp_operation_code.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/typed_protocol_headers/arp_operation_code.rs:55:7
[INFO] [stdout]    |
[INFO] [stdout] 55 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/ether_type.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> src/typed_protocol_headers/ether_type.rs:195:7
[INFO] [stdout]     |
[INFO] [stdout] 195 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/internet_protocol_numbers.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> src/typed_protocol_headers/internet_protocol_numbers.rs:492:7
[INFO] [stdout]     |
[INFO] [stdout] 492 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/ipv4_dcsp.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> src/typed_protocol_headers/ipv4_dcsp.rs:118:7
[INFO] [stdout]     |
[INFO] [stdout] 118 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/ipv4_ecn.rs:7:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/typed_protocol_headers/ipv4_ecn.rs:59:7
[INFO] [stdout]    |
[INFO] [stdout] 59 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/ipv4_option_type.rs:6:12
[INFO] [stdout]   |
[INFO] [stdout] 6 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> src/typed_protocol_headers/ipv4_option_type.rs:139:7
[INFO] [stdout]     |
[INFO] [stdout] 139 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/ipv6_ext_routing_types.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/typed_protocol_headers/ipv6_ext_routing_types.rs:74:7
[INFO] [stdout]    |
[INFO] [stdout] 74 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/typed_protocol_headers/ipv6_extension_types.rs:5:12
[INFO] [stdout]   |
[INFO] [stdout] 5 | #[cfg_attr(kani, derive(kani::Arbitrary))]
[INFO] [stdout]   |            ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/typed_protocol_headers/ipv6_extension_types.rs:61:7
[INFO] [stdout]    |
[INFO] [stdout] 61 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: unexpected `cfg` condition name: `kani`
[INFO] [stdout]  --> src/udp.rs:9:64
[INFO] [stdout]   |
[INFO] [stdout] 9 | #[cfg(all(feature = "remove_checksum", feature = "verify_udp", kani))]
[INFO] [stdout]   |                                                                ^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = help: consider using a Cargo feature instead or adding `println!("cargo:rustc-check-cfg=cfg(kani)");` to the top of a `build.rs`
[INFO] [stdout]   = note: see <https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#check-cfg> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Checking criterion-plot v0.5.0
[INFO] [stderr]    Compiling serde_derive v1.0.189
[INFO] [stdout] error: aborting due to 26 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `mutnet` (lib) due to 27 previous errors
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] running `Command { std: "docker" "inspect" "aacb6643ff088c37c51f7075943c1f4afb1a701a95c9fc195ec375684d41ff92", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "aacb6643ff088c37c51f7075943c1f4afb1a701a95c9fc195ec375684d41ff92", kill_on_drop: false }`
[INFO] [stdout] aacb6643ff088c37c51f7075943c1f4afb1a701a95c9fc195ec375684d41ff92
