[INFO] fetching crate mck 0.6.0...
[INFO] testing mck-0.6.0 against try#d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6 for pr-146237
[INFO] extracting crate mck 0.6.0 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate mck 0.6.0
[INFO] finished tweaking crates.io crate mck 0.6.0
[INFO] tweaked toml for crates.io crate mck 0.6.0 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate mck 0.6.0 on toolchain d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 22 packages to latest compatible versions
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 75f92a78f978127dfe6889262b5cd0f5cdcdc24d1839063a59181f35ff36b700
[INFO] running `Command { std: "docker" "start" "-a" "75f92a78f978127dfe6889262b5cd0f5cdcdc24d1839063a59181f35ff36b700", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "75f92a78f978127dfe6889262b5cd0f5cdcdc24d1839063a59181f35ff36b700", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "75f92a78f978127dfe6889262b5cd0f5cdcdc24d1839063a59181f35ff36b700", kill_on_drop: false }`
[INFO] [stdout] 75f92a78f978127dfe6889262b5cd0f5cdcdc24d1839063a59181f35ff36b700
[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=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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 64d3191573442f2962b5b54d7974d1eef42536065f448f136d227249ebcef5e0
[INFO] running `Command { std: "docker" "start" "-a" "64d3191573442f2962b5b54d7974d1eef42536065f448f136d227249ebcef5e0", kill_on_drop: false }`
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling serde_derive v1.0.219
[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 num-rational v0.4.2
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling machine-check-common v0.6.0
[INFO] [stderr]    Compiling serde_json v1.0.143
[INFO] [stderr]    Compiling mck v0.6.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks
[INFO] [stdout]   --> src/array/refin.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     #[must_use]
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = help: `#[must_use]` can be applied to data types, functions, unions, required trait methods, provided trait methods, inherent methods, foreign functions, and traits
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 15.39s
[INFO] running `Command { std: "docker" "inspect" "64d3191573442f2962b5b54d7974d1eef42536065f448f136d227249ebcef5e0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "64d3191573442f2962b5b54d7974d1eef42536065f448f136d227249ebcef5e0", kill_on_drop: false }`
[INFO] [stdout] 64d3191573442f2962b5b54d7974d1eef42536065f448f136d227249ebcef5e0
[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=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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d189dc1de11fac8ae6e48ef0dd5c9da246605cc6fb0a2a08874365cefa11979e
[INFO] running `Command { std: "docker" "start" "-a" "d189dc1de11fac8ae6e48ef0dd5c9da246605cc6fb0a2a08874365cefa11979e", kill_on_drop: false }`
[INFO] [stderr]    Compiling mck v0.6.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks
[INFO] [stdout]   --> src/array/refin.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     #[must_use]
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = help: `#[must_use]` can be applied to data types, functions, unions, required trait methods, provided trait methods, inherent methods, foreign functions, and traits
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks
[INFO] [stdout]   --> src/array/refin.rs:54:5
[INFO] [stdout]    |
[INFO] [stdout] 54 |     #[must_use]
[INFO] [stdout]    |     ^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stdout]    = help: `#[must_use]` can be applied to data types, functions, unions, required trait methods, provided trait methods, inherent methods, foreign functions, and traits
[INFO] [stdout]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 8.19s
[INFO] running `Command { std: "docker" "inspect" "d189dc1de11fac8ae6e48ef0dd5c9da246605cc6fb0a2a08874365cefa11979e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d189dc1de11fac8ae6e48ef0dd5c9da246605cc6fb0a2a08874365cefa11979e", kill_on_drop: false }`
[INFO] [stdout] d189dc1de11fac8ae6e48ef0dd5c9da246605cc6fb0a2a08874365cefa11979e
[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=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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+d79d87d4c0f7f0d0785ad6e493cf8cf718ed89a6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] a2ca0b56bf7c6d5623007457abbe72998355aec9a1af6241901578c28434f8cc
[INFO] running `Command { std: "docker" "start" "-a" "a2ca0b56bf7c6d5623007457abbe72998355aec9a1af6241901578c28434f8cc", kill_on_drop: false }`
[INFO] [stderr] warning: `#[must_use]` attribute cannot be used on trait methods in impl blocks
[INFO] [stderr]   --> src/array/refin.rs:54:5
[INFO] [stderr]    |
[INFO] [stderr] 54 |     #[must_use]
[INFO] [stderr]    |     ^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
[INFO] [stderr]    = help: `#[must_use]` can be applied to data types, functions, unions, required trait methods, provided trait methods, inherent methods, foreign functions, and traits
[INFO] [stderr]    = note: `#[warn(unused_attributes)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `mck` (lib) generated 1 warning (run `cargo fix --lib -p mck` to apply 1 suggestion)
[INFO] [stderr] warning: `mck` (lib test) generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mck-cf0473317a6b3490)
[INFO] [stdout] 
[INFO] [stdout] running 644 tests
[INFO] [stdout] test array::light::tests::map_inplace_indexed ... ok
[INFO] [stdout] test array::light::tests::map_write ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::add0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_neg0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_neg1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_neg2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::add1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_neg3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_shr0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_shr1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_shr2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::add2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_and0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_and1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_and2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_neg4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_and3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_not0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_not1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_not2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_not3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_shr3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_not4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_neg5 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_or0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_or1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_or2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::add3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_not5 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_xor0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_xor1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_xor2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_or3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_xor3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::eq0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::eq1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::eq2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::eq3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_not6 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shl0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shl1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shl2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shl3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_neg6 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shr0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shr1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shr2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shr3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::add4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_shr4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_and4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_or4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_xor4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::eq4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shl4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shr4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::eq4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::mul0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::mul1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::mul2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::mul3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::mul4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_or4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sdiv0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sdiv1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sdiv2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sdiv3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_xor4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext00 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext01 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext02 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext03 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext04 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext05 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext06 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext10 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext11 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext12 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext13 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext14 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext15 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext16 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext20 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext21 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext22 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext23 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext24 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext25 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext26 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext30 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext31 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext32 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext33 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext34 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext35 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext36 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext40 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext41 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext42 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext43 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext44 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext45 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext46 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext50 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext51 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext52 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext53 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext54 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext55 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext56 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::add4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext60 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::arith_shr4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::bit_and4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext61 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext62 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext63 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sle0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sle1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sle2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sle3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sdiv4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext64 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::slt0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::slt1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::slt2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::slt3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shr4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::srem0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::srem1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::srem2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::srem3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext66 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sub0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sub1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sub2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sub3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sext65 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::udiv0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::udiv1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::udiv2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::udiv3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sle4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::slt4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::srem4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::logic_shl4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext00 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext01 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext02 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext03 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext04 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext05 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext06 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext10 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext11 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext12 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext13 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext14 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext15 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext16 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext20 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext21 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext22 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext23 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext24 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext25 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext26 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext30 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext31 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext32 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext33 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext34 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext35 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext36 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext40 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext41 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext42 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext43 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext44 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext45 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext46 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext50 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sub4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext51 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext52 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext53 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext54 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext55 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext56 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::udiv4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext60 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext61 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext62 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext63 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext64 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext65 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::mul4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ule0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ule1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ule2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ule3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::uext66 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ult0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ult1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ult2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ult3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::slt4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::urem0 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::urem1 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::urem2 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::urem3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sle4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add5 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sub4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg7 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_neg8 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr5 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ule4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ult4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::urem4 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ult4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and3 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::ule4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not7 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_not8 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::three_valued::tests::add6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::arith_shr6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bitvec_too_large - should panic ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::eq0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::eq1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::eq2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::eq3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::eq4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::three_valued::tests::eq5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::udiv4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::invalid_new - should panic ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::invalid_zeros_ones - should panic ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shl0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shl1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shl2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shl3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shl4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_and6 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::sdiv4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shr0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shr1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shr2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shr3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shl5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shr4 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::srem4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::mul0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::mul1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::mul2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::mul3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::mul4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shr5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_or6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::mul5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext00 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext01 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext02 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext03 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext04 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext05 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext06 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext10 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext11 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext12 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext13 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext14 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext15 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext16 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext20 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext21 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext22 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext23 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext24 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext25 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext26 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext30 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext31 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext32 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext33 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext34 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext35 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext36 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext40 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext41 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext42 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext43 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext44 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext45 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext46 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext50 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext51 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext52 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext53 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext54 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext55 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext56 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext60 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext61 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext62 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext63 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext64 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext65 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sext66 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sle0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sle1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sle2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sle3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sle4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sle5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::bit_xor6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::slt0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::slt1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::slt2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::slt3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::slt4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::slt5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::eq6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem5 ... ok
[INFO] [stdout] test bitvector::abstr::dual_interval::tests::urem4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sub0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sub1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sub2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sub3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sub4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sub5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shl6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::support ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::logic_shr6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::mul6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext00 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext01 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext02 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext03 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext04 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext05 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext06 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext10 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext11 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext12 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext13 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext14 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext15 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext16 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext20 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext21 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext22 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext23 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext24 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext25 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext26 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext30 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext31 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext32 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext33 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext34 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext35 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext36 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext40 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext41 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext42 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext43 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext44 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext45 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext46 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext50 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext51 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext52 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext53 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext54 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext55 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext56 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext60 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext61 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext62 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext63 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext64 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext65 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::uext66 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ule0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ule1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ule2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ule3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ule4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ule5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ult0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ult1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ult2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ult3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ult4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ult5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sle6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::urem0 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::urem1 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::urem2 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::urem3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::urem4 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::urem5 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::slt6 ... ok
[INFO] [stdout] test bitvector::concr::tests::arith ... ok
[INFO] [stdout] test bitvector::concr::tests::bitwise ... ok
[INFO] [stdout] test bitvector::concr::tests::cmp ... ok
[INFO] [stdout] test bitvector::concr::tests::eq ... ok
[INFO] [stdout] test bitvector::concr::tests::ext ... ok
[INFO] [stdout] test bitvector::concr::tests::shift ... ok
[INFO] [stdout] test bitvector::concr::tests::support ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::add0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::add1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::add2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::add3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_neg0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_neg1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_neg2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_neg3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_neg4 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_neg5 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_neg6 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_shr0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_shr1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_shr2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::arith_shr3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_and0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_and1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_and2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_and3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_not0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_not1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_not2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_not3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_not4 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_not5 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_not6 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_or0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_or1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_or2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_or3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_xor0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_xor1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_xor2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::bit_xor3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::eq0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::eq1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::eq2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::eq3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shl0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shl1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shl2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shl3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shr0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shr1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shr2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::logic_shr3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::meta ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::mul0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::mul1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::mul2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::mul3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::refine ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sdiv0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sdiv1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sdiv2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sdiv3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext00 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext01 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext02 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext03 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext04 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext05 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext06 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext10 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext11 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext12 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext13 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext14 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext15 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext16 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext20 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext21 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext22 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext23 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext24 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext25 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext26 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext30 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext31 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext32 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext33 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext34 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext35 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext36 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext40 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext41 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext42 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext43 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext44 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext45 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext46 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext50 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext51 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext52 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext53 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext54 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext55 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext56 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext60 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext61 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext62 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext63 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext64 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext65 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::refin::three_valued::tests::sext66 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sle0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sle1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sle2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sle3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::slt0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::slt1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::slt2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::slt3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::srem0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::srem1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::srem2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::srem3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sub0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sub1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sub2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::sub3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::support ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::udiv0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::udiv1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::udiv2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::udiv3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext00 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext01 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext02 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext03 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext04 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext05 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext06 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext10 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext11 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext12 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext13 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext14 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext15 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext16 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext20 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext21 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext22 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext23 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext24 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext25 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext26 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext30 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext31 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext32 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext33 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext34 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext35 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext36 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext40 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext41 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext42 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext43 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext44 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext45 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext46 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext50 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext51 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext52 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext53 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext54 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext55 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext56 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext60 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext61 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext62 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext63 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext64 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext65 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::uext66 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ule0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ule1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ule2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ule3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ult0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ult1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ult2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::ult3 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::urem0 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::urem1 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::urem2 ... ok
[INFO] [stdout] test bitvector::refin::three_valued::tests::urem3 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sub6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ult6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::ule6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::sdiv6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::three_valued::tests::srem6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv6 has been running for over 60 seconds
[INFO] [stdout] test bitvector::abstr::three_valued::tests::udiv6 ... ok
[INFO] [stdout] test bitvector::abstr::three_valued::tests::urem6 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 644 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 865.46s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests mck
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "a2ca0b56bf7c6d5623007457abbe72998355aec9a1af6241901578c28434f8cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a2ca0b56bf7c6d5623007457abbe72998355aec9a1af6241901578c28434f8cc", kill_on_drop: false }`
[INFO] [stdout] a2ca0b56bf7c6d5623007457abbe72998355aec9a1af6241901578c28434f8cc