[INFO] updating cached repository https://github.com/kmeisthax/retrogram [INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/big/crater/work/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"` [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 341f75de82d34717d1a4c14208bcff3c5db6af83 [INFO] testing kmeisthax/retrogram against beta-2019-09-28 for beta-1.39-1 [INFO] running `"git" "clone" "work/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkmeisthax%2Fretrogram" "work/builds/worker-0/source"` [INFO] [stderr] Cloning into 'work/builds/worker-0/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/kmeisthax/retrogram on toolchain beta-2019-09-28 [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "read-manifest" "--manifest-path" "Cargo.toml"` [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 work/builds/worker-0/source/Cargo.toml [INFO] crate git repo https://github.com/kmeisthax/retrogram already has a lockfile, it will not be regenerated [INFO] running `"/big/crater/work/cargo-home/bin/cargo" "+beta-2019-09-28" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2019-09-28" "build" "--frozen"` [INFO] [stdout] 73d7864da2962e91235d86893dc4b911eae7f71f5106c6ae82df4886278607b2 [INFO] running `"docker" "start" "-a" "73d7864da2962e91235d86893dc4b911eae7f71f5106c6ae82df4886278607b2"` [INFO] [stderr] Compiling syn v0.15.44 [INFO] [stderr] Compiling num-integer v0.1.41 [INFO] [stderr] Compiling num-iter v0.1.39 [INFO] [stderr] Compiling num-rational v0.2.2 [INFO] [stderr] Compiling num-complex v0.2.3 [INFO] [stderr] Compiling clap v2.33.0 [INFO] [stderr] Compiling num-bigint v0.2.2 [INFO] [stderr] Compiling num v0.2.0 [INFO] [stderr] Compiling serde_derive v1.0.98 [INFO] [stderr] Compiling serde v1.0.98 [INFO] [stderr] Compiling serde_plain v0.3.0 [INFO] [stderr] Compiling serde_json v1.0.40 [INFO] [stderr] Compiling retrogram v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused variable: `old_nflag` [INFO] [stderr] --> src/arch/sm83/trace.rs:217:9 [INFO] [stderr] | [INFO] [stderr] 217 | let old_nflag : reg::Symbolic = flags & (reg::Symbolic::new(0x40 as u8) >> 6); [INFO] [stderr] | ^^^^^^^^^ help: consider prefixing with an underscore: `_old_nflag` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:707:24 [INFO] [stderr] | [INFO] [stderr] 707 | (15, 2, 0, p, u, 1, w, 0, _, _, _) => Err(analysis::Error::NotYetImplemented), //Save Return State [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:707:27 [INFO] [stderr] | [INFO] [stderr] 707 | (15, 2, 0, p, u, 1, w, 0, _, _, _) => Err(analysis::Error::NotYetImplemented), //Save Return State [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `w` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:707:33 [INFO] [stderr] | [INFO] [stderr] 707 | (15, 2, 0, p, u, 1, w, 0, _, _, _) => Err(analysis::Error::NotYetImplemented), //Save Return State [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_w` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:708:24 [INFO] [stderr] | [INFO] [stderr] 708 | (15, 2, 0, p, u, 0, w, 1, _, _, _) => Err(analysis::Error::NotYetImplemented), //Return from Exception [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:708:27 [INFO] [stderr] | [INFO] [stderr] 708 | (15, 2, 0, p, u, 0, w, 1, _, _, _) => Err(analysis::Error::NotYetImplemented), //Return from Exception [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `w` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:708:33 [INFO] [stderr] | [INFO] [stderr] 708 | (15, 2, 0, p, u, 0, w, 1, _, _, _) => Err(analysis::Error::NotYetImplemented), //Return from Exception [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_w` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:721:29 [INFO] [stderr] | [INFO] [stderr] 721 | (_, 0, 0, 1, 0, b, 0, 0, 1, 0, 1) => Err(analysis::Error::NotYetImplemented), //Swap [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_b` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:738:29 [INFO] [stderr] | [INFO] [stderr] 738 | (_, 1, 1, 0, 1, u, 1, 0, 0, 1, 1) => Err(analysis::Error::NotYetImplemented), //Parallel halfword saturate [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:739:29 [INFO] [stderr] | [INFO] [stderr] 739 | (_, 1, 1, 0, 1, u, 1, _, _, _, 1) => Err(analysis::Error::NotYetImplemented), //Word saturate [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/arch/sm83/trace.rs:312:78 [INFO] [stderr] | [INFO] [stderr] 312 | fn trace_jump(condcode: Option, p: &memory::Pointer, mem: &Bus, mut state: State) -> sm83::Result<(State, memory::Pointer)> { [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field is never used: `exec_memtype` [INFO] [stderr] --> src/memory/region.rs:55:5 [INFO] [stderr] | [INFO] [stderr] 55 | exec_memtype: Behavior, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/memory/bss.rs:63:5 [INFO] [stderr] | [INFO] [stderr] 63 | pub fn new(context: &'static str) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum is never used: `Register` [INFO] [stderr] --> src/arch/w65c816.rs:28:1 [INFO] [stderr] | [INFO] [stderr] 28 | enum Register { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `op_fullptr_index_y` [INFO] [stderr] --> src/arch/w65c816.rs:161:1 [INFO] [stderr] | [INFO] [stderr] 161 | fn op_fullptr_index_y(p: &memory::Pointer, bus: &Bus) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `known_or_none` [INFO] [stderr] --> src/platform/sfc.rs:49:5 [INFO] [stderr] | [INFO] [stderr] 49 | fn known_or_none(self) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `trace_until_fork` [INFO] [stderr] --> src/analysis/dynamic.rs:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | / fn trace_until_fork(pc: &memory::Pointer

, [INFO] [stderr] 12 | | mut trace: analysis::Trace

, [INFO] [stderr] 13 | | bus: &memory::Memory, pre_state: ®::State, [INFO] [stderr] 14 | | prereq: &dyn analysis::PrerequisiteAnalysis, [INFO] [stderr] ... | [INFO] [stderr] 40 | | Ok((new_pc, trace, new_state)) [INFO] [stderr] 41 | | } [INFO] [stderr] | |_^ [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 28.85s [INFO] running `"docker" "inspect" "73d7864da2962e91235d86893dc4b911eae7f71f5106c6ae82df4886278607b2"` [INFO] running `"docker" "rm" "-f" "73d7864da2962e91235d86893dc4b911eae7f71f5106c6ae82df4886278607b2"` [INFO] [stdout] 73d7864da2962e91235d86893dc4b911eae7f71f5106c6ae82df4886278607b2 [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2019-09-28" "test" "--frozen" "--no-run"` [INFO] [stdout] e3d3fa91cd6b3b1e295b77149404b2fb7d81ebfbea5318137bcde7995157d2e4 [INFO] running `"docker" "start" "-a" "e3d3fa91cd6b3b1e295b77149404b2fb7d81ebfbea5318137bcde7995157d2e4"` [INFO] [stderr] Compiling retrogram v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] warning: unused variable: `old_nflag` [INFO] [stderr] --> src/arch/sm83/trace.rs:217:9 [INFO] [stderr] | [INFO] [stderr] 217 | let old_nflag : reg::Symbolic = flags & (reg::Symbolic::new(0x40 as u8) >> 6); [INFO] [stderr] | ^^^^^^^^^ help: consider prefixing with an underscore: `_old_nflag` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:707:24 [INFO] [stderr] | [INFO] [stderr] 707 | (15, 2, 0, p, u, 1, w, 0, _, _, _) => Err(analysis::Error::NotYetImplemented), //Save Return State [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:707:27 [INFO] [stderr] | [INFO] [stderr] 707 | (15, 2, 0, p, u, 1, w, 0, _, _, _) => Err(analysis::Error::NotYetImplemented), //Save Return State [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `w` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:707:33 [INFO] [stderr] | [INFO] [stderr] 707 | (15, 2, 0, p, u, 1, w, 0, _, _, _) => Err(analysis::Error::NotYetImplemented), //Save Return State [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_w` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `p` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:708:24 [INFO] [stderr] | [INFO] [stderr] 708 | (15, 2, 0, p, u, 0, w, 1, _, _, _) => Err(analysis::Error::NotYetImplemented), //Return from Exception [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_p` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:708:27 [INFO] [stderr] | [INFO] [stderr] 708 | (15, 2, 0, p, u, 0, w, 1, _, _, _) => Err(analysis::Error::NotYetImplemented), //Return from Exception [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `w` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:708:33 [INFO] [stderr] | [INFO] [stderr] 708 | (15, 2, 0, p, u, 0, w, 1, _, _, _) => Err(analysis::Error::NotYetImplemented), //Return from Exception [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_w` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `b` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:721:29 [INFO] [stderr] | [INFO] [stderr] 721 | (_, 0, 0, 1, 0, b, 0, 0, 1, 0, 1) => Err(analysis::Error::NotYetImplemented), //Swap [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_b` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:738:29 [INFO] [stderr] | [INFO] [stderr] 738 | (_, 1, 1, 0, 1, u, 1, 0, 0, 1, 1) => Err(analysis::Error::NotYetImplemented), //Parallel halfword saturate [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u` [INFO] [stderr] --> src/arch/aarch32/arm/dis.rs:739:29 [INFO] [stderr] | [INFO] [stderr] 739 | (_, 1, 1, 0, 1, u, 1, _, _, _, 1) => Err(analysis::Error::NotYetImplemented), //Word saturate [INFO] [stderr] | ^ help: consider prefixing with an underscore: `_u` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> src/arch/sm83/trace.rs:312:78 [INFO] [stderr] | [INFO] [stderr] 312 | fn trace_jump(condcode: Option, p: &memory::Pointer, mem: &Bus, mut state: State) -> sm83::Result<(State, memory::Pointer)> { [INFO] [stderr] | ----^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: field is never used: `exec_memtype` [INFO] [stderr] --> src/memory/region.rs:55:5 [INFO] [stderr] | [INFO] [stderr] 55 | exec_memtype: Behavior, [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: method is never used: `new` [INFO] [stderr] --> src/memory/bss.rs:63:5 [INFO] [stderr] | [INFO] [stderr] 63 | pub fn new(context: &'static str) -> Self { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: enum is never used: `Register` [INFO] [stderr] --> src/arch/w65c816.rs:28:1 [INFO] [stderr] | [INFO] [stderr] 28 | enum Register { [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `op_fullptr_index_y` [INFO] [stderr] --> src/arch/w65c816.rs:161:1 [INFO] [stderr] | [INFO] [stderr] 161 | fn op_fullptr_index_y(p: &memory::Pointer, bus: &Bus) -> Vec { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: method is never used: `known_or_none` [INFO] [stderr] --> src/platform/sfc.rs:49:5 [INFO] [stderr] | [INFO] [stderr] 49 | fn known_or_none(self) -> Option { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `trace_until_fork` [INFO] [stderr] --> src/analysis/dynamic.rs:11:1 [INFO] [stderr] | [INFO] [stderr] 11 | / fn trace_until_fork(pc: &memory::Pointer

, [INFO] [stderr] 12 | | mut trace: analysis::Trace

, [INFO] [stderr] 13 | | bus: &memory::Memory, pre_state: ®::State, [INFO] [stderr] 14 | | prereq: &dyn analysis::PrerequisiteAnalysis, [INFO] [stderr] ... | [INFO] [stderr] 40 | | Ok((new_pc, trace, new_state)) [INFO] [stderr] 41 | | } [INFO] [stderr] | |_^ [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.41s [INFO] running `"docker" "inspect" "e3d3fa91cd6b3b1e295b77149404b2fb7d81ebfbea5318137bcde7995157d2e4"` [INFO] running `"docker" "rm" "-f" "e3d3fa91cd6b3b1e295b77149404b2fb7d81ebfbea5318137bcde7995157d2e4"` [INFO] [stdout] e3d3fa91cd6b3b1e295b77149404b2fb7d81ebfbea5318137bcde7995157d2e4 [INFO] running `"docker" "create" "-v" "/big/crater/work/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/big/crater/work/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/big/crater/work/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/big/crater/work/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "MAP_USER_ID=1000" "-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" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2019-09-28" "test" "--frozen"` [INFO] [stdout] fad8c74d317c6a0d66f57f49f1a7fc39377cea988f38d0d26ea141f8f5af7307 [INFO] running `"docker" "start" "-a" "fad8c74d317c6a0d66f57f49f1a7fc39377cea988f38d0d26ea141f8f5af7307"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/retrogram-c4e3b8594f4f3f25 [INFO] [stdout] [INFO] [stdout] running 46 tests [INFO] [stdout] test analysis::block::tests::block_edge ... ok [INFO] [stdout] test analysis::block::tests::block_separate_arch_context ... ok [INFO] [stdout] test analysis::block::tests::block_separate_context ... ok [INFO] [stdout] test analysis::block::tests::block_separate_plat_context ... ok [INFO] [stdout] test analysis::block::tests::block_underflow ... ok [INFO] [stdout] test analysis::block::tests::block_within ... ok [INFO] [stdout] test database::tests::block_splitting ... ok [INFO] [stdout] test maths::tests::popcount_u128 ... ok [INFO] [stdout] test maths::tests::popcount_u16 ... ok [INFO] [stdout] test maths::tests::popcount_u24 ... ok [INFO] [stdout] test maths::tests::popcount_u32 ... ok [INFO] [stdout] test maths::tests::popcount_u64 ... ok [INFO] [stdout] test maths::tests::popcount_u8 ... ok [INFO] [stdout] test memory::tests::pointer_contextless ... 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_unspecified_context ... ok [INFO] [stdout] test memory::tests::pointer_symbolic_context ... ok [INFO] [stdout] test reg::tests::test_concrete_add ... ok [INFO] [stdout] test reg::tests::test_concrete_bitor ... ok [INFO] [stdout] test reg::tests::test_concrete_bitxor ... ok [INFO] [stdout] test reg::tests::test_concrete_bitand ... ok [INFO] [stdout] test reg::tests::test_concrete_cares ... ok [INFO] [stdout] test reg::tests::test_concrete_conv ... 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 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_tryconv ... ok [INFO] [stdout] test reg::tests::test_concrete_validation ... ok [INFO] [stdout] test reg::tests::test_concrete_sub ... 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_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_not ... ok [INFO] [stdout] test reg::tests::test_unsatisfiable ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 46 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `"docker" "inspect" "fad8c74d317c6a0d66f57f49f1a7fc39377cea988f38d0d26ea141f8f5af7307"` [INFO] running `"docker" "rm" "-f" "fad8c74d317c6a0d66f57f49f1a7fc39377cea988f38d0d26ea141f8f5af7307"` [INFO] [stdout] fad8c74d317c6a0d66f57f49f1a7fc39377cea988f38d0d26ea141f8f5af7307