[INFO] cloning repository https://github.com/onderjan/roole
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/onderjan/roole" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fonderjan%2Froole", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fonderjan%2Froole'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] eaed8d9e5c865e8f63eefc19ba92cfd4ff0366fd
[INFO] testing onderjan/roole/eaed8d9e5c865e8f63eefc19ba92cfd4ff0366fd against 1.98.0-beta.1 for beta-1.98-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fonderjan%2Froole" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/onderjan/roole
[INFO] finished tweaking git repo https://github.com/onderjan/roole
[INFO] tweaked toml for git repo https://github.com/onderjan/roole written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/onderjan/roole on toolchain 1.98.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/onderjan/roole 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" "+1.98.0-beta.1" "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/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65
[INFO] running `Command { std: "docker" "start" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling autocfg v1.5.0
[INFO] [stderr]    Compiling quote v1.0.41
[INFO] [stderr]    Compiling unicode-ident v1.0.19
[INFO] [stderr]    Compiling libc v0.2.176
[INFO] [stderr]    Compiling utf8parse v0.2.2
[INFO] [stderr]    Compiling colorchoice v1.0.4
[INFO] [stderr]    Compiling anstyle-query v1.1.5
[INFO] [stderr]    Compiling is_terminal_polyfill v1.70.2
[INFO] [stderr]    Compiling portable-atomic v1.11.1
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling strsim v0.11.1
[INFO] [stderr]    Compiling anstyle-parse v0.2.7
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling unit-prefix v0.5.1
[INFO] [stderr]    Compiling equivalent v1.0.2
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling seq-macro v0.3.6
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling clap_builder v4.5.53
[INFO] [stderr]    Compiling syn v2.0.106
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling console v0.16.1
[INFO] [stderr]    Compiling cpu-time v1.0.0
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling indicatif v0.18.2
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling clap_derive v4.5.49
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling num-derive v0.4.2
[INFO] [stderr]    Compiling clap v4.5.53
[INFO] [stderr]    Compiling roole v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 25.23s
[INFO] running `Command { std: "docker" "inspect" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling roole v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 5.31s
[INFO] running `Command { std: "docker" "inspect" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65" "/opt/rustwide/cargo-home/bin/cargo" "+1.98.0-beta.1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/roole-3dfb6123a9128b6c)
[INFO] [stdout] 
[INFO] [stdout] running 261 tests
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::add0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::add1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::add2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_shr1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_shr2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_and0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_and1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_shr0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_and2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_shr3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not6 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::add3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_or0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_or1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_or2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_and3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg6 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_or3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not7 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_xor0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_xor1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_xor2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_xor3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg7 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_and4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_or4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::eq0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::eq1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::eq2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::add4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::eq3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_shr4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_xor4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::invalid_new - should panic ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::invalid_zeros_ones - should panic ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shl0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shl1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shl2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shl3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::eq4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shl4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_not8 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shr0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shr1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shr2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shr3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_neg8 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shr4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_or5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::mul0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::mul1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::mul2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_and5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::mul3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::mul4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shl5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sdiv_wrapping_by_quadrants0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sdiv_wrapping_by_quadrants1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sdiv_wrapping_by_quadrants2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::eq5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sdiv_wrapping_by_quadrants3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_shr5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_xor5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext00 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext01 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext02 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext03 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext04 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext05 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext06 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext10 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext11 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext12 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext13 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext14 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext15 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext16 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext20 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext21 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext22 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext23 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext24 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext25 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext26 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext30 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext31 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext32 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext33 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext34 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext35 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext36 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext40 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext41 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext42 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext43 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext44 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext45 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext46 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext50 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext51 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext52 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext53 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext54 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext55 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext56 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext60 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext61 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext62 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext63 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext64 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext65 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sext66 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sle0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sle1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sle2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sle3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::add5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sdiv_wrapping_by_quadrants4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sle4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::slt0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::slt1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::slt2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::slt3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shr5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::slt4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::add6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::arith_shr6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_and6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_or6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::bit_xor6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::eq6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shl6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::logic_shr6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::mul5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::smod_wrapping_by_quadrants0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::smod_wrapping_by_quadrants1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::smod_wrapping_by_quadrants2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::smod_wrapping_by_quadrants3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::smod_wrapping_by_quadrants4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sle5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::slt5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::srem_wrapping_by_quadrants0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::srem_wrapping_by_quadrants1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::srem_wrapping_by_quadrants2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::srem_wrapping_by_quadrants3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::srem_wrapping_by_quadrants4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sdiv_wrapping_by_quadrants5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::mul6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sdiv_wrapping_by_quadrants6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sle6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::smod_wrapping_by_quadrants5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sub0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sub1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sub2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sub3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::slt6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sub4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::srem_wrapping_by_quadrants5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sub5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::support ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::udiv_wrapping_or_all_ones0 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::udiv_wrapping_or_all_ones1 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::udiv_wrapping_or_all_ones2 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::udiv_wrapping_or_all_ones3 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::smod_wrapping_by_quadrants6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::udiv_wrapping_or_all_ones4 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::srem_wrapping_by_quadrants6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::udiv_wrapping_or_all_ones5 ... ok
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::sub6 has been running for over 60 seconds
[INFO] [stdout] test domain::bitvector::abstr::three_valued::tests::udiv_wrapping_or_all_ones6 has been running for over 60 seconds
[ERROR] error running command: no output for 300 seconds
[INFO] running `Command { std: "docker" "inspect" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65", kill_on_drop: false }`
[INFO] [stdout] 1ba0175ef51a113ae7a7685fe7cdf064576e266370263e9efc3f848eaa93ca65
