[INFO] cloning repository https://github.com/ericcornelissen/rust-divisible-by
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/ericcornelissen/rust-divisible-by" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fericcornelissen%2Frust-divisible-by", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fericcornelissen%2Frust-divisible-by'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 727e531e569d2476f7227c11b58ca522ab0ff997
[INFO] testing ericcornelissen/rust-divisible-by against beta-2024-12-08 for beta-1.84.0-4-retry
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fericcornelissen%2Frust-divisible-by" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/ericcornelissen/rust-divisible-by on toolchain beta-2024-12-08
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/ericcornelissen/rust-divisible-by
[INFO] finished tweaking git repo https://github.com/ericcornelissen/rust-divisible-by
[INFO] tweaked toml for git repo https://github.com/ericcornelissen/rust-divisible-by written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/ericcornelissen/rust-divisible-by 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" "+beta-2024-12-08" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 99c6f7d55fc5a867bfaad84efe39adbff519df9af05294cae02225022297a00d
[INFO] running `Command { std: "docker" "start" "-a" "99c6f7d55fc5a867bfaad84efe39adbff519df9af05294cae02225022297a00d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "99c6f7d55fc5a867bfaad84efe39adbff519df9af05294cae02225022297a00d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "99c6f7d55fc5a867bfaad84efe39adbff519df9af05294cae02225022297a00d", kill_on_drop: false }`
[INFO] [stdout] 99c6f7d55fc5a867bfaad84efe39adbff519df9af05294cae02225022297a00d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6859d41db6db3f9fd8931bab0afb7db90f00d21cda7289757f1b5580bea449b7
[INFO] running `Command { std: "docker" "start" "-a" "6859d41db6db3f9fd8931bab0afb7db90f00d21cda7289757f1b5580bea449b7", kill_on_drop: false }`
[INFO] [stderr]    Compiling divisible-by v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> src/lib.rs:672:7
[INFO] [stdout]     |
[INFO] [stdout] 672 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: expected names are: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `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`, `ub_checks`, `unix`, and `windows`
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/utils.rs:87:7
[INFO] [stdout]    |
[INFO] [stdout] 87 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.17s
[INFO] running `Command { std: "docker" "inspect" "6859d41db6db3f9fd8931bab0afb7db90f00d21cda7289757f1b5580bea449b7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6859d41db6db3f9fd8931bab0afb7db90f00d21cda7289757f1b5580bea449b7", kill_on_drop: false }`
[INFO] [stdout] 6859d41db6db3f9fd8931bab0afb7db90f00d21cda7289757f1b5580bea449b7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a3839515552f7de9090f6222489f58cfb185d8ee597ed1b13d4b92527d60a751
[INFO] running `Command { std: "docker" "start" "-a" "a3839515552f7de9090f6222489f58cfb185d8ee597ed1b13d4b92527d60a751", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.43
[INFO] [stderr]    Compiling unicode-ident v1.0.3
[INFO] [stderr]    Compiling quote v1.0.21
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling libc v0.2.132
[INFO] [stderr]    Compiling futures-core v0.3.23
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling futures-io v0.3.23
[INFO] [stderr]    Compiling pin-project-lite v0.2.9
[INFO] [stderr]    Compiling fastrand v1.8.0
[INFO] [stderr]    Compiling cache-padded v1.2.0
[INFO] [stderr]    Compiling parking v2.0.0
[INFO] [stderr]    Compiling once_cell v1.13.1
[INFO] [stderr]    Compiling waker-fn v1.1.0
[INFO] [stderr]    Compiling concurrent-queue v1.2.4
[INFO] [stderr]    Compiling semver v1.0.13
[INFO] [stderr]    Compiling futures-channel v0.3.23
[INFO] [stderr]    Compiling event-listener v2.5.3
[INFO] [stderr]    Compiling futures-task v0.3.23
[INFO] [stderr]    Compiling async-task v4.3.0
[INFO] [stderr]    Compiling futures-sink v0.3.23
[INFO] [stderr]    Compiling pin-utils v0.1.0
[INFO] [stderr]    Compiling value-bag v1.0.0-alpha.9
[INFO] [stderr]    Compiling futures-util v0.3.23
[INFO] [stderr]    Compiling async-channel v1.7.1
[INFO] [stderr]    Compiling atomic-waker v1.0.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.11
[INFO] [stderr]    Compiling async-lock v2.5.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling remove_dir_all v0.5.3
[INFO] [stderr]    Compiling slab v0.4.7
[INFO] [stderr]    Compiling polling v2.3.0
[INFO] [stderr]    Compiling async-io v1.8.0
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling anyhow v1.0.68
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling kani-verifier v0.20.0
[INFO] [stderr]    Compiling regex-syntax v0.6.27
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling rustc_version v0.4.0
[INFO] [stderr]    Compiling futures-lite v1.12.0
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling home v0.5.4
[INFO] [stderr]    Compiling quick-error v2.0.1
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling futures-timer v3.0.2
[INFO] [stderr]    Compiling bencher v0.1.5
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> src/lib.rs:672:7
[INFO] [stdout]     |
[INFO] [stdout] 672 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: expected names are: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `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`, `ub_checks`, `unix`, and `windows`
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/utils.rs:87:7
[INFO] [stdout]    |
[INFO] [stdout] 87 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling getrandom v0.2.7
[INFO] [stderr]    Compiling socket2 v0.4.4
[INFO] [stderr]    Compiling num_cpus v1.13.1
[INFO] [stderr]    Compiling wait-timeout v0.2.0
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling tempfile v3.3.0
[INFO] [stderr]    Compiling rstest_macros v0.13.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand_xorshift v0.3.0
[INFO] [stderr]    Compiling rusty-fork v0.3.0
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling blocking v1.2.0
[INFO] [stderr]    Compiling async-executor v1.4.1
[INFO] [stderr]    Compiling proptest v1.0.0
[INFO] [stderr]    Compiling ctor v0.1.23
[INFO] [stderr]    Compiling futures-macro v0.3.23
[INFO] [stderr]    Compiling async-attributes v1.1.2
[INFO] [stderr]    Compiling proptest-attr-macro v1.0.0
[INFO] [stderr]    Compiling kv-log-macro v1.0.7
[INFO] [stderr]    Compiling os_info v3.5.1
[INFO] [stderr]    Compiling async-global-executor v2.2.0
[INFO] [stderr]    Compiling async-std v1.12.0
[INFO] [stderr]    Compiling futures-executor v0.3.23
[INFO] [stderr]    Compiling futures v0.3.23
[INFO] [stderr]    Compiling rstest v0.13.0
[INFO] [stderr]    Compiling divisible-by v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]    --> src/lib.rs:672:7
[INFO] [stdout]     |
[INFO] [stdout] 672 | #[cfg(kani)]
[INFO] [stdout]     |       ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: expected names are: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `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`, `ub_checks`, `unix`, and `windows`
[INFO] [stdout]     = help: consider using a Cargo feature instead
[INFO] [stdout]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]              [lints.rust]
[INFO] [stdout]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stdout]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stdout]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unexpected `cfg` condition name: `kani`
[INFO] [stdout]   --> src/utils.rs:87:7
[INFO] [stdout]    |
[INFO] [stdout] 87 | #[cfg(kani)]
[INFO] [stdout]    |       ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = help: consider using a Cargo feature instead
[INFO] [stdout]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stdout]             [lints.rust]
[INFO] [stdout]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stdout]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stdout]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 21.59s
[INFO] running `Command { std: "docker" "inspect" "a3839515552f7de9090f6222489f58cfb185d8ee597ed1b13d4b92527d60a751", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a3839515552f7de9090f6222489f58cfb185d8ee597ed1b13d4b92527d60a751", kill_on_drop: false }`
[INFO] [stdout] a3839515552f7de9090f6222489f58cfb185d8ee597ed1b13d4b92527d60a751
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:f3a9d4ad9d972b27faf3965f35b62e55ba32bbce8f20bc8fe909558a86702fde" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2024-12-08" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b4582cb84723d82bc0ef9b7eb1833d99a7d5ec9f5e31ebde0be43df02edb1e3c
[INFO] running `Command { std: "docker" "start" "-a" "b4582cb84723d82bc0ef9b7eb1833d99a7d5ec9f5e31ebde0be43df02edb1e3c", kill_on_drop: false }`
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]    --> src/lib.rs:672:7
[INFO] [stderr]     |
[INFO] [stderr] 672 | #[cfg(kani)]
[INFO] [stderr]     |       ^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = help: expected names are: `clippy`, `debug_assertions`, `doc`, `docsrs`, `doctest`, `feature`, `fmt_debug`, `miri`, `overflow_checks`, `panic`, `proc_macro`, `relocation_model`, `rustfmt`, `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`, `ub_checks`, `unix`, and `windows`
[INFO] [stderr]     = help: consider using a Cargo feature instead
[INFO] [stderr]     = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]              [lints.rust]
[INFO] [stderr]              unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stderr]     = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stderr]     = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr]     = note: `#[warn(unexpected_cfgs)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unexpected `cfg` condition name: `kani`
[INFO] [stderr]   --> src/utils.rs:87:7
[INFO] [stderr]    |
[INFO] [stderr] 87 | #[cfg(kani)]
[INFO] [stderr]    |       ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = help: consider using a Cargo feature instead
[INFO] [stderr]    = help: or consider adding in `Cargo.toml` the `check-cfg` lint config for the lint:
[INFO] [stderr]             [lints.rust]
[INFO] [stderr]             unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)'] }
[INFO] [stderr]    = help: or consider adding `println!("cargo::rustc-check-cfg=cfg(kani)");` to the top of the `build.rs`
[INFO] [stderr]    = note: see <https://doc.rust-lang.org/nightly/rustc/check-cfg/cargo-specifics.html> for more information about checking conditional configuration
[INFO] [stderr] 
[INFO] [stderr] warning: `divisible-by` (lib) generated 2 warnings
[INFO] [stderr] warning: `divisible-by` (lib test) generated 2 warnings (2 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/divisible_by-86cd862c1e2c5597)
[INFO] [stdout] 
[INFO] [stdout] running 137 tests
[INFO] [stdout] test tests::are_divisible_by_6 ... ok
[INFO] [stdout] test tests::are_divisible_by_8 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_0 ... ok
[INFO] [stdout] test tests::are_divisible_by_9 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_10 ... ok
[INFO] [stdout] test tests::are_divisible_by_1 ... ok
[INFO] [stdout] test tests::are_divisible_by_4 ... ok
[INFO] [stdout] test tests::are_divisible_by_11 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_12 ... ok
[INFO] [stdout] test tests::are_divisible_by_2 ... ok
[INFO] [stdout] test tests::are_divisible_by_5 ... ok
[INFO] [stdout] test tests::are_divisible_by_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_10::case_4 ... ok
[INFO] [stdout] test tests::are_divisible_by_10 ... ok
[INFO] [stdout] test tests::are_divisible_by_12 ... ok
[INFO] [stdout] test tests::is_divisible_by_10::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_10::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_11::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_12::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_12::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_12::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_12::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_1::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_1::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_1::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_1::case_4 ... ok
[INFO] [stdout] test tests::are_divisible_by_7 ... ok
[INFO] [stdout] test tests::is_divisible_by_1::case_5 ... ok
[INFO] [stdout] test tests::is_divisible_by_2::case_2 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_5 ... ok
[INFO] [stdout] test tests::is_divisible_by_2::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_2::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_11::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_10::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_3::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_2::case_5 ... ok
[INFO] [stdout] test tests::is_divisible_by_3::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_3::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_4::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_4::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_4::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_4::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_5::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_5::case_2 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_11::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_11::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_5::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_6::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_5::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_6::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_6::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_7::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_7::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_7::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_2::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_3::case_2 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_11 ... ok
[INFO] [stdout] test tests::is_divisible_by_8::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_6::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_8::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_8::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_9::case_2 ... ok
[INFO] [stdout] test tests::is_divisible_by_7::case_1 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_6 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_8 ... ok
[INFO] [stdout] test tests::is_divisible_by_8::case_4 ... ok
[INFO] [stdout] test tests::is_divisible_by_9::case_1 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_0::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_0::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_0::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_10::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_10::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_11::case_1 ... ok
[INFO] [stdout] test tests::is_divisible_by_9::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_11::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_0::case_3 ... ok
[INFO] [stdout] test tests::is_divisible_by_9::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_12::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_12::case_3 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_2::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_2::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_2::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_11::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_2::case_5 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_12::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_3::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_3::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_4::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_4::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_5::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_5::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_10::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_6::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_4::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_4::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_6::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_5::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_6::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_8::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_7::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_7::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_12::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_8::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_8::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_7::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_6::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_3::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_5::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_9::case_1 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_9::case_2 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_9::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_9::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_11::case_4 ... ok
[INFO] [stdout] test tests::are_not_divisible_by_9 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_10::case_1 ... ok
[INFO] [stdout] test utils::tests::digit_sum_returns_the_digit_sum::case_4 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_8::case_2 ... ok
[INFO] [stdout] test utils::tests::digit_sum_returns_the_digit_sum::case_1 ... ok
[INFO] [stdout] test utils::tests::alternating_digit_sum_returns_the_alternating_digit_sum::case_1 ... ok
[INFO] [stdout] test utils::tests::alternating_digit_sum_returns_the_alternating_digit_sum::case_4 ... ok
[INFO] [stdout] test utils::tests::alternating_digit_sum_returns_the_alternating_digit_sum::case_2 ... ok
[INFO] [stdout] test utils::tests::alternating_digit_sum_returns_the_alternating_digit_sum::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_3::case_3 ... ok
[INFO] [stdout] test tests::is_not_divisible_by_2::case_1 ... ok
[INFO] [stdout] test utils::tests::last_digit_returns_the_last_digit::case_3 ... ok
[INFO] [stdout] test utils::tests::last_digit_returns_the_last_digit::case_1 ... ok
[INFO] [stdout] test utils::tests::last_digit_returns_the_last_digit::case_2 ... ok
[INFO] [stdout] test utils::tests::digit_sum_returns_the_digit_sum::case_2 ... ok
[INFO] [stdout] test utils::tests::digit_sum_returns_the_digit_sum::case_3 ... ok
[INFO] [stdout] test utils::tests::alternating_digit_sum_is_bounded ... ok
[INFO] [stdout] test tests::are_not_divisible_by_7 ... ok
[INFO] [stdout] test utils::tests::digit_sum_is_bounded ... ok
[INFO] [stdout] test utils::tests::last_digit_returns_a_single_digit ... ok
[INFO] [stdout] test utils::tests::last_digit_returns_something_n_ends_with ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 137 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.20s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests divisible_by
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test src/lib.rs - divisible_by_4 (line 72) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_10 (line 173) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_9 (line 156) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_5 (line 89) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_12 (line 203) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_7 (line 115) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_2 (line 42) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_1 (line 29) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_6 (line 102) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_0 (line 16) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_8 (line 139) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_11 (line 186) ... ok
[INFO] [stdout] test src/lib.rs - divisible_by_3 (line 55) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.13s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "b4582cb84723d82bc0ef9b7eb1833d99a7d5ec9f5e31ebde0be43df02edb1e3c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b4582cb84723d82bc0ef9b7eb1833d99a7d5ec9f5e31ebde0be43df02edb1e3c", kill_on_drop: false }`
[INFO] [stdout] b4582cb84723d82bc0ef9b7eb1833d99a7d5ec9f5e31ebde0be43df02edb1e3c
