[INFO] cloning repository https://github.com/kmeisthax/retrogram [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/kmeisthax/retrogram" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkmeisthax%2Fretrogram", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkmeisthax%2Fretrogram'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 29fc93a8436e1bb44a6b06578ebdfbea0c087d9c [INFO] testing kmeisthax/retrogram against beta-2022-04-10 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkmeisthax%2Fretrogram" "/workspace/builds/worker-4/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-4/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/kmeisthax/retrogram on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/kmeisthax/retrogram [INFO] finished tweaking git repo https://github.com/kmeisthax/retrogram [INFO] tweaked toml for git repo https://github.com/kmeisthax/retrogram written to /workspace/builds/worker-4/source/Cargo.toml [INFO] crate git repo https://github.com/kmeisthax/retrogram already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4d42f57d730c7f647e15d26a847d2c9dc2f57bd43008d55ce761b535c28defee [INFO] running `Command { std: "docker" "start" "-a" "4d42f57d730c7f647e15d26a847d2c9dc2f57bd43008d55ce761b535c28defee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4d42f57d730c7f647e15d26a847d2c9dc2f57bd43008d55ce761b535c28defee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4d42f57d730c7f647e15d26a847d2c9dc2f57bd43008d55ce761b535c28defee", kill_on_drop: false }` [INFO] [stdout] 4d42f57d730c7f647e15d26a847d2c9dc2f57bd43008d55ce761b535c28defee [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] eab13d39a76b71a36f947a5c45a11fc31ba34598ecb27670e5ffe11e5f2de862 [INFO] running `Command { std: "docker" "start" "-a" "eab13d39a76b71a36f947a5c45a11fc31ba34598ecb27670e5ffe11e5f2de862", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling libc v0.2.84 [INFO] [stderr] Compiling proc-macro2 v1.0.24 [INFO] [stderr] Compiling syn v1.0.57 [INFO] [stderr] Compiling const_fn v0.4.5 [INFO] [stderr] Compiling strsim v0.9.3 [INFO] [stderr] Compiling getrandom v0.2.2 [INFO] [stderr] Compiling version_check v0.9.2 [INFO] [stderr] Compiling serde_derive v1.0.118 [INFO] [stderr] Compiling serde v1.0.118 [INFO] [stderr] Compiling array-macro v1.0.5 [INFO] [stderr] Compiling stable_deref_trait v1.2.0 [INFO] [stderr] Compiling once_cell v1.5.2 [INFO] [stderr] Compiling xi-unicode v0.3.0 [INFO] [stderr] Compiling ryu v1.0.5 [INFO] [stderr] Compiling signal-hook v0.3.4 [INFO] [stderr] Compiling gimli v0.23.0 [INFO] [stderr] Compiling adler v0.2.3 [INFO] [stderr] Compiling serde_json v1.0.61 [INFO] [stderr] Compiling itoa v0.4.7 [INFO] [stderr] Compiling rustc-demangle v0.1.18 [INFO] [stderr] Compiling object v0.23.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.1 [INFO] [stderr] Compiling memoffset v0.6.1 [INFO] [stderr] Compiling num-bigint v0.2.6 [INFO] [stderr] Compiling miniz_oxide v0.4.3 [INFO] [stderr] Compiling num-complex v0.2.4 [INFO] [stderr] Compiling num-rational v0.2.4 [INFO] [stderr] Compiling instant v0.1.9 [INFO] [stderr] Compiling lock_api v0.4.2 [INFO] [stderr] Compiling num-complex v0.3.1 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling num-bigint v0.3.1 [INFO] [stderr] Compiling owning_ref v0.4.1 [INFO] [stderr] Compiling ahash v0.6.3 [INFO] [stderr] Compiling num-rational v0.3.2 [INFO] [stderr] Compiling quote v1.0.8 [INFO] [stderr] Compiling time v0.1.43 [INFO] [stderr] Compiling signal-hook-registry v1.3.0 [INFO] [stderr] Compiling parking_lot_core v0.8.2 [INFO] [stderr] Compiling mio v0.7.7 [INFO] [stderr] Compiling num_cpus v1.13.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling crossbeam-channel v0.5.0 [INFO] [stderr] Compiling crossbeam-queue v0.3.1 [INFO] [stderr] Compiling crossbeam-epoch v0.9.1 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling num v0.3.1 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling parking_lot v0.11.1 [INFO] [stderr] Compiling addr2line v0.14.1 [INFO] [stderr] Compiling signal-hook v0.1.17 [INFO] [stderr] Compiling crossbeam-deque v0.8.0 [INFO] [stderr] Compiling backtrace v0.3.56 [INFO] [stderr] Compiling num v0.2.1 [INFO] [stderr] Compiling crossterm v0.19.0 [INFO] [stderr] Compiling rayon-core v1.9.0 [INFO] [stderr] Compiling crossbeam v0.8.0 [INFO] [stderr] Compiling rayon v1.5.0 [INFO] [stderr] Compiling darling_core v0.10.2 [INFO] [stderr] Compiling enum-map-derive v0.4.6 [INFO] [stderr] Compiling thiserror-impl v1.0.23 [INFO] [stderr] Compiling darling_macro v0.10.2 [INFO] [stderr] Compiling enum-map v0.6.4 [INFO] [stderr] Compiling darling v0.10.2 [INFO] [stderr] Compiling thiserror v1.0.23 [INFO] [stderr] Compiling wasmer_enumset_derive v0.5.0 [INFO] [stderr] Compiling wasmer_enumset v1.0.1 [INFO] [stderr] Compiling cursive_core v0.2.2 (https://github.com/kmeisthax/cursive.git?branch=dialog-getters#17b3cee9) [INFO] [stderr] Compiling cursive-tabs v0.5.1-alpha.0 (https://github.com/deinstapel/cursive-tabs.git?branch=master#bc5c9986) [INFO] [stderr] Compiling cursive v0.16.4-alpha.0 (https://github.com/kmeisthax/cursive.git?branch=dialog-getters#17b3cee9) [INFO] [stderr] Compiling serde_plain v0.3.0 [INFO] [stderr] Compiling relative-path v1.3.2 [INFO] [stderr] Compiling retrogram v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: associated function is never used: `new` [INFO] [stdout] --> src/memory/bss.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn new(banking_ctxt: &'static str, mask: u64, size: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `exec_memtype` [INFO] [stdout] --> src/memory/region.rs:59:5 [INFO] [stdout] | [INFO] [stdout] 59 | exec_memtype: Behavior, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `emit_section` [INFO] [stdout] --> src/asm/annotator.rs:124:8 [INFO] [stdout] | [INFO] [stdout] 124 | fn emit_section( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 32.42s [INFO] running `Command { std: "docker" "inspect" "eab13d39a76b71a36f947a5c45a11fc31ba34598ecb27670e5ffe11e5f2de862", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "eab13d39a76b71a36f947a5c45a11fc31ba34598ecb27670e5ffe11e5f2de862", kill_on_drop: false }` [INFO] [stdout] eab13d39a76b71a36f947a5c45a11fc31ba34598ecb27670e5ffe11e5f2de862 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] fe1a1d7224594bddfd5087121c020f77d8881c6730d09da5081de4c6df848a15 [INFO] running `Command { std: "docker" "start" "-a" "fe1a1d7224594bddfd5087121c020f77d8881c6730d09da5081de4c6df848a15", kill_on_drop: false }` [INFO] [stderr] Compiling retrogram v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: associated function is never used: `new` [INFO] [stdout] --> src/memory/bss.rs:81:12 [INFO] [stdout] | [INFO] [stdout] 81 | pub fn new(banking_ctxt: &'static str, mask: u64, size: usize) -> Self { [INFO] [stdout] | ^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `exec_memtype` [INFO] [stdout] --> src/memory/region.rs:59:5 [INFO] [stdout] | [INFO] [stdout] 59 | exec_memtype: Behavior, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function is never used: `emit_section` [INFO] [stdout] --> src/asm/annotator.rs:124:8 [INFO] [stdout] | [INFO] [stdout] 124 | fn emit_section( [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 8.67s [INFO] [stderr] Executable unittests src/main.rs (/opt/rustwide/target/debug/deps/retrogram-6ae4a58be680028e) [INFO] running `Command { std: "docker" "inspect" "fe1a1d7224594bddfd5087121c020f77d8881c6730d09da5081de4c6df848a15", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "fe1a1d7224594bddfd5087121c020f77d8881c6730d09da5081de4c6df848a15", kill_on_drop: false }` [INFO] [stdout] fe1a1d7224594bddfd5087121c020f77d8881c6730d09da5081de4c6df848a15 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] cd18886dd9b0ae0ed45b8d5b410bf04b6c85099905fc78e54623dc41e7a77e73 [INFO] running `Command { std: "docker" "start" "-a" "cd18886dd9b0ae0ed45b8d5b410bf04b6c85099905fc78e54623dc41e7a77e73", kill_on_drop: false }` [INFO] [stderr] warning: associated function is never used: `new` [INFO] [stderr] --> src/memory/bss.rs:81:12 [INFO] [stderr] | [INFO] [stderr] 81 | pub fn new(banking_ctxt: &'static str, mask: u64, size: usize) -> Self { [INFO] [stderr] | ^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field is never read: `exec_memtype` [INFO] [stderr] --> src/memory/region.rs:59:5 [INFO] [stderr] | [INFO] [stderr] 59 | exec_memtype: Behavior, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: associated function is never used: `emit_section` [INFO] [stderr] --> src/asm/annotator.rs:124:8 [INFO] [stderr] | [INFO] [stderr] 124 | fn emit_section( [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `retrogram` (bin "retrogram" test) generated 3 warnings [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/retrogram-6ae4a58be680028e) [INFO] [stdout] [INFO] [stdout] running 73 tests [INFO] [stdout] test analysis::block::tests::block_edge ... ok [INFO] [stdout] test analysis::block::tests::block_align_to_instr ... ok [INFO] [stdout] test analysis::block::tests::block_last_instr ... ok [INFO] [stdout] test analysis::block::tests::block_next_instr ... ok [INFO] [stdout] test analysis::block::tests::block_offsets ... ok [INFO] [stdout] test analysis::block::tests::block_separate_arch_context ... ok [INFO] [stdout] test analysis::block::tests::block_underflow ... ok [INFO] [stdout] test analysis::block::tests::block_separate_plat_context ... ok [INFO] [stdout] test analysis::block::tests::block_separate_context ... ok [INFO] [stdout] test analysis::block::tests::block_within ... ok [INFO] [stdout] test asm::annotator::tests::empty ... ok [INFO] [stdout] test asm::annotator::tests::multi_diff_kind ... ok [INFO] [stdout] test asm::annotator::tests::multi_same_kind ... ok [INFO] [stdout] test asm::annotator::tests::one ... ok [INFO] [stdout] test database::tests::block_splitting ... ok [INFO] [stdout] test database::tests::symbol_replaceable_by ... ok [INFO] [stdout] test maths::tests::popcount_u16 ... ok [INFO] [stdout] test maths::tests::popcount_u128 ... ok [INFO] [stdout] test maths::tests::popcount_u32 ... ok [INFO] [stdout] test maths::tests::popcount_u24 ... ok [INFO] [stdout] test maths::tests::popcount_u64 ... ok [INFO] [stdout] test memory::tests::pointer_contextless ... ok [INFO] [stdout] test maths::tests::popcount_u8 ... ok [INFO] [stdout] test memory::tests::pointer_different_context ... ok [INFO] [stdout] test memory::tests::pointer_multiple_context ... ok [INFO] [stdout] test memory::tests::pointer_same_context ... ok [INFO] [stdout] test memory::tests::pointer_multiple_eq_context ... ok [INFO] [stdout] test memory::tests::pointer_symbolic_context ... ok [INFO] [stdout] test memory::tests::pointer_unspecified_context ... ok [INFO] [stdout] test memory::tumbler::tests::tumbler_encode ... ok [INFO] [stdout] test memory::tumbler::tests::tumbler_decode ... ok [INFO] [stdout] test reg::tests::test_concrete_add ... ok [INFO] [stdout] test arch::sm83::tests::sm83_disasm ... ok [INFO] [stdout] test reg::tests::test_concrete_bitor ... ok [INFO] [stdout] test memory::tumbler::tests::tumbler_scroll_back ... ok [INFO] [stdout] test reg::tests::test_concrete_bitand ... ok [INFO] [stdout] test reg::tests::test_concrete_bits_concrete ... ok [INFO] [stdout] test reg::tests::test_concrete_bitxor ... ok [INFO] [stdout] test reg::tests::test_concrete_cares ... ok [INFO] [stdout] test memory::tumbler::tests::tumbler_scroll_back_multiline ... ok [INFO] [stdout] test reg::tests::test_concrete_checked_shl_arithmetic ... ok [INFO] [stdout] test reg::tests::test_concrete_checked_shl ... ok [INFO] [stdout] test reg::tests::test_concrete_checked_shr ... ok [INFO] [stdout] test reg::tests::test_concrete_checked_shr_arithmetic ... ok [INFO] [stdout] test reg::tests::test_concrete_conv ... ok [INFO] [stdout] test memory::tumbler::tests::tumbler_scroll_forward ... ok [INFO] [stdout] test reg::tests::test_concrete_lowerhex ... ok [INFO] [stdout] test reg::tests::test_concrete_not ... ok [INFO] [stdout] test reg::tests::test_concrete_roundtrip ... ok [INFO] [stdout] test reg::tests::test_concrete_shl ... ok [INFO] [stdout] test reg::tests::test_concrete_shl_arithmetic ... ok [INFO] [stdout] test memory::tumbler::tests::tumbler_scroll_forward_multiline ... ok [INFO] [stdout] test reg::tests::test_concrete_shr ... ok [INFO] [stdout] test reg::tests::test_concrete_shr_arithmetic ... ok [INFO] [stdout] test reg::tests::test_concrete_signed_add ... ok [INFO] [stdout] test reg::tests::test_concrete_sub ... ok [INFO] [stdout] test reg::tests::test_concrete_tryconv ... ok [INFO] [stdout] test reg::tests::test_concrete_upperhex ... ok [INFO] [stdout] test reg::tests::test_concrete_validation ... ok [INFO] [stdout] test reg::tests::test_symbolic_bitand ... ok [INFO] [stdout] test reg::tests::test_symbolic_bitor ... ok [INFO] [stdout] test reg::tests::test_symbolic_bits_concrete ... ok [INFO] [stdout] test reg::tests::test_symbolic_bitxor ... ok [INFO] [stdout] test reg::tests::test_symbolic_bounds ... ok [INFO] [stdout] test reg::tests::test_symbolic_default ... ok [INFO] [stdout] test reg::tests::test_symbolic_iter ... ok [INFO] [stdout] test reg::tests::test_symbolic_iter_concrete ... ok [INFO] [stdout] test reg::tests::test_symbolic_iter_unsatisfiable ... ok [INFO] [stdout] test reg::tests::test_symbolic_lowerhex ... ok [INFO] [stdout] test reg::tests::test_symbolic_not ... ok [INFO] [stdout] test reg::tests::test_symbolic_upperhex ... ok [INFO] [stdout] test reg::tests::test_unsatisfiable ... ok [INFO] [stdout] test reg::tests::test_unsatisfiable_bits_concrete ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 73 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "cd18886dd9b0ae0ed45b8d5b410bf04b6c85099905fc78e54623dc41e7a77e73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cd18886dd9b0ae0ed45b8d5b410bf04b6c85099905fc78e54623dc41e7a77e73", kill_on_drop: false }` [INFO] [stdout] cd18886dd9b0ae0ed45b8d5b410bf04b6c85099905fc78e54623dc41e7a77e73