[INFO] cloning repository https://github.com/uni-due-syssec/efcf-evm2cpp
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/uni-due-syssec/efcf-evm2cpp" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Funi-due-syssec%2Fefcf-evm2cpp", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Funi-due-syssec%2Fefcf-evm2cpp'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4a2cab954412cbb800a7b672850b8c3c6a22aceb
[INFO] testing uni-due-syssec/efcf-evm2cpp against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-7
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Funi-due-syssec%2Fefcf-evm2cpp" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/uni-due-syssec/efcf-evm2cpp
[INFO] finished tweaking git repo https://github.com/uni-due-syssec/efcf-evm2cpp
[INFO] tweaked toml for git repo https://github.com/uni-due-syssec/efcf-evm2cpp written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/uni-due-syssec/efcf-evm2cpp on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/uni-due-syssec/efcf-evm2cpp already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded impl-rlp v0.3.0
[INFO] [stderr]   Downloaded quote v1.0.16
[INFO] [stderr]   Downloaded ethereum-types v0.13.1
[INFO] [stderr]   Downloaded primitive-types v0.11.1
[INFO] [stderr]   Downloaded ethbloom v0.12.1
[INFO] [stderr]   Downloaded impl-serde v0.3.2
[INFO] [stderr]   Downloaded ethereum-hexutil v0.2.3
[INFO] [stderr]   Downloaded impl-codec v0.6.0
[INFO] [stderr]   Downloaded fixed-hash v0.7.0
[INFO] [stderr]   Downloaded rustc-hex v2.1.0
[INFO] [stderr]   Downloaded rlp v0.5.1
[INFO] [stderr]   Downloaded getrandom v0.2.5
[INFO] [stderr]   Downloaded anyhow v1.0.56
[INFO] [stderr]   Downloaded parity-scale-codec v3.1.2
[INFO] [stderr]   Downloaded indexmap v1.8.0
[INFO] [stderr]   Downloaded serde_derive v1.0.136
[INFO] [stderr]   Downloaded os_str_bytes v6.0.0
[INFO] [stderr]   Downloaded impl-trait-for-tuples v0.2.2
[INFO] [stderr]   Downloaded clap v3.1.6
[INFO] [stderr]   Downloaded parity-scale-codec-derive v3.1.2
[INFO] [stderr]   Downloaded syn v1.0.89
[INFO] [stderr]   Downloaded uint v0.9.3
[INFO] [stderr]   Downloaded wyz v0.5.0
[INFO] [stderr]   Downloaded byte-slice-cast v1.2.1
[INFO] [stderr]   Downloaded bitvec v1.0.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b264c0183a2702841b3aa799bccf195432fc828f0594ad12f89c0d2b8cd3887c
[INFO] running `Command { std: "docker" "start" "-a" "b264c0183a2702841b3aa799bccf195432fc828f0594ad12f89c0d2b8cd3887c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b264c0183a2702841b3aa799bccf195432fc828f0594ad12f89c0d2b8cd3887c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b264c0183a2702841b3aa799bccf195432fc828f0594ad12f89c0d2b8cd3887c", kill_on_drop: false }`
[INFO] [stdout] b264c0183a2702841b3aa799bccf195432fc828f0594ad12f89c0d2b8cd3887c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f97014032ef3963bbdab61aec03daea7574247148d7a82f31c562ffaa74c7bda
[INFO] running `Command { std: "docker" "start" "-a" "f97014032ef3963bbdab61aec03daea7574247148d7a82f31c562ffaa74c7bda", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.89
[INFO] [stderr]    Compiling serde_derive v1.0.136
[INFO] [stderr]    Compiling serde v1.0.136
[INFO] [stderr]    Compiling libc v0.2.121
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling crunchy v0.2.2
[INFO] [stderr]    Compiling ppv-lite86 v0.2.16
[INFO] [stderr]    Compiling quote v1.0.16
[INFO] [stderr]    Compiling rustc-hex v2.1.0
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling wyz v0.5.0
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling bytes v1.1.0
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling memchr v2.4.1
[INFO] [stderr]    Compiling arrayvec v0.7.2
[INFO] [stderr]    Compiling byte-slice-cast v1.2.1
[INFO] [stderr]    Compiling indexmap v1.8.0
[INFO] [stderr]    Compiling rlp v0.5.1
[INFO] [stderr]    Compiling getrandom v0.2.5
[INFO] [stderr]    Compiling hex v0.4.3
[INFO] [stderr]    Compiling bitvec v1.0.0
[INFO] [stderr]    Compiling rand_core v0.6.3
[INFO] [stderr]    Compiling impl-rlp v0.3.0
[INFO] [stderr]    Compiling uint v0.9.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling hashbrown v0.11.2
[INFO] [stderr]    Compiling anyhow v1.0.56
[INFO] [stderr]    Compiling serde_json v1.0.79
[INFO] [stderr]    Compiling os_str_bytes v6.0.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling itoa v1.0.1
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling textwrap v0.15.0
[INFO] [stderr]    Compiling ryu v1.0.9
[INFO] [stderr]    Compiling ethereum-hexutil v0.2.3
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling clap v3.1.6
[INFO] [stderr]    Compiling fixed-hash v0.7.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.30
[INFO] [stderr]    Compiling impl-trait-for-tuples v0.2.2
[INFO] [stderr]    Compiling thiserror v1.0.30
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling impl-serde v0.3.2
[INFO] [stderr]    Compiling ethbloom v0.12.1
[INFO] [stderr]    Compiling proc-macro-crate v1.1.3
[INFO] [stderr]    Compiling parity-scale-codec-derive v3.1.2
[INFO] [stderr]    Compiling parity-scale-codec v3.1.2
[INFO] [stderr]    Compiling impl-codec v0.6.0
[INFO] [stderr]    Compiling primitive-types v0.11.1
[INFO] [stderr]    Compiling ethereum-types v0.13.1
[INFO] [stderr]    Compiling evm2cpp v0.4.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `address` is never read
[INFO] [stdout]    --> src/analysis.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 130 | pub struct IInstruction {
[INFO] [stdout]     |            ------------ field in this struct
[INFO] [stdout] 131 |     /// the PC/address of the instruction
[INFO] [stdout] 132 |     pub address: usize,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IInstruction` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `bytecode` is never read
[INFO] [stdout]    --> src/analysis.rs:843:9
[INFO] [stdout]     |
[INFO] [stdout] 842 | pub struct Program {
[INFO] [stdout]     |            ------- field in this struct
[INFO] [stdout] 843 |     pub bytecode: Vec<u8>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Program` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `emit_explicit_invalid_inst_at` is never used
[INFO] [stdout]    --> src/codegen.rs:129:4
[INFO] [stdout]     |
[INFO] [stdout] 129 | fn emit_explicit_invalid_inst_at(pc: usize, idx: usize) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_source_map_file` is never used
[INFO] [stdout]   --> src/sourcemap.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 52 | pub fn parse_source_map_file(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 44.23s
[INFO] running `Command { std: "docker" "inspect" "f97014032ef3963bbdab61aec03daea7574247148d7a82f31c562ffaa74c7bda", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f97014032ef3963bbdab61aec03daea7574247148d7a82f31c562ffaa74c7bda", kill_on_drop: false }`
[INFO] [stdout] f97014032ef3963bbdab61aec03daea7574247148d7a82f31c562ffaa74c7bda
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3ca53158b1a68a970ac13d166aa5fca1d1a84b66a7d611d5f8bb0bae886b7590
[INFO] running `Command { std: "docker" "start" "-a" "3ca53158b1a68a970ac13d166aa5fca1d1a84b66a7d611d5f8bb0bae886b7590", kill_on_drop: false }`
[INFO] [stderr]    Compiling evm2cpp v0.4.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: field `address` is never read
[INFO] [stdout]    --> src/analysis.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 130 | pub struct IInstruction {
[INFO] [stdout]     |            ------------ field in this struct
[INFO] [stdout] 131 |     /// the PC/address of the instruction
[INFO] [stdout] 132 |     pub address: usize,
[INFO] [stdout]     |         ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `IInstruction` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `bytecode` is never read
[INFO] [stdout]    --> src/analysis.rs:843:9
[INFO] [stdout]     |
[INFO] [stdout] 842 | pub struct Program {
[INFO] [stdout]     |            ------- field in this struct
[INFO] [stdout] 843 |     pub bytecode: Vec<u8>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Program` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `emit_explicit_invalid_inst_at` is never used
[INFO] [stdout]    --> src/codegen.rs:129:4
[INFO] [stdout]     |
[INFO] [stdout] 129 | fn emit_explicit_invalid_inst_at(pc: usize, idx: usize) -> String {
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `parse_source_map_file` is never used
[INFO] [stdout]   --> src/sourcemap.rs:52:8
[INFO] [stdout]    |
[INFO] [stdout] 52 | pub fn parse_source_map_file(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.00s
[INFO] running `Command { std: "docker" "inspect" "3ca53158b1a68a970ac13d166aa5fca1d1a84b66a7d611d5f8bb0bae886b7590", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3ca53158b1a68a970ac13d166aa5fca1d1a84b66a7d611d5f8bb0bae886b7590", kill_on_drop: false }`
[INFO] [stdout] 3ca53158b1a68a970ac13d166aa5fca1d1a84b66a7d611d5f8bb0bae886b7590
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 86634620af42d828a056b4d961ba98b8be129cb17f9405a0ec5258cd882d0ed7
[INFO] running `Command { std: "docker" "start" "-a" "86634620af42d828a056b4d961ba98b8be129cb17f9405a0ec5258cd882d0ed7", kill_on_drop: false }`
[INFO] [stderr] warning: field `address` is never read
[INFO] [stderr]    --> src/analysis.rs:132:9
[INFO] [stderr]     |
[INFO] [stderr] 130 | pub struct IInstruction {
[INFO] [stderr]     |            ------------ field in this struct
[INFO] [stderr] 131 |     /// the PC/address of the instruction
[INFO] [stderr] 132 |     pub address: usize,
[INFO] [stderr]     |         ^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `IInstruction` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: field `bytecode` is never read
[INFO] [stderr]    --> src/analysis.rs:843:9
[INFO] [stderr]     |
[INFO] [stderr] 842 | pub struct Program {
[INFO] [stderr]     |            ------- field in this struct
[INFO] [stderr] 843 |     pub bytecode: Vec<u8>,
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `Program` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: function `emit_explicit_invalid_inst_at` is never used
[INFO] [stderr]    --> src/codegen.rs:129:4
[INFO] [stderr]     |
[INFO] [stderr] 129 | fn emit_explicit_invalid_inst_at(pc: usize, idx: usize) -> String {
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `parse_source_map_file` is never used
[INFO] [stderr]   --> src/sourcemap.rs:52:8
[INFO] [stderr]    |
[INFO] [stderr] 52 | pub fn parse_source_map_file(
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `evm2cpp` (bin "evm2cpp" test) generated 4 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/evm2cpp-71ac8453eb2d53ac)
[INFO] [stdout] 
[INFO] [stdout] running 22 tests
[INFO] [stdout] test analysis::tests::add_constant_prop ... ok
[INFO] [stdout] test analysis::tests::bb_args_add ... ok
[INFO] [stdout] test analysis::tests::add_no_constant_prop ... ok
[INFO] [stdout] test analysis::tests::bb_args_pop_add_with_const ... ok
[INFO] [stdout] test analysis::tests::bb_args_pop_add ... ok
[INFO] [stdout] test analysis::tests::bb_args_ret ... ok
[INFO] [stdout] test analysis::tests::push_constant_prop ... ok
[INFO] [stdout] test analysis::tests::bb_pop_unknown ... ok
[INFO] [stdout] test analysis::tests::u256_const_equalities ... ok
[INFO] [stdout] test analysis::tests::dup_constant_prop ... ok
[INFO] [stdout] test analysis::tests::build_program ... ok
[INFO] [stdout] test combinedjson::tests::test_deserialize_missing_fields ... ok
[INFO] [stdout] test instructions::tests::test_get_dup_position ... ok
[INFO] [stdout] test combinedjson::tests::test_contract_deserialize ... ok
[INFO] [stdout] test analysis::tests::no_constant_prop_possible ... ok
[INFO] [stdout] test combinedjson::tests::test_deserialize ... ok
[INFO] [stdout] test analysis::tests::mstore_constant_prop ... ok
[INFO] [stdout] test combinedjson::tests::test_contract_deserialize_altnames ... ok
[INFO] [stdout] test instructions::tests::test_get_log_topics ... ok
[INFO] [stdout] test instructions::tests::test_get_push_bytes ... ok
[INFO] [stdout] test instructions::tests::test_get_swap_position ... ok
[INFO] [stdout] test instructions::tests::test_is_push ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "86634620af42d828a056b4d961ba98b8be129cb17f9405a0ec5258cd882d0ed7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "86634620af42d828a056b4d961ba98b8be129cb17f9405a0ec5258cd882d0ed7", kill_on_drop: false }`
[INFO] [stdout] 86634620af42d828a056b4d961ba98b8be129cb17f9405a0ec5258cd882d0ed7