[INFO] cloning repository https://github.com/Wilfred/bfc
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/Wilfred/bfc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWilfred%2Fbfc", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWilfred%2Fbfc'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 734baf00353e433aa4442d6e4e869f817deea8cc
[INFO] testing Wilfred/bfc against beta-2021-08-22 for beta-1.55-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FWilfred%2Fbfc" "/workspace/builds/worker-12/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-12/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/Wilfred/bfc on toolchain beta-2021-08-22
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-22" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/Wilfred/bfc
[INFO] finished tweaking git repo https://github.com/Wilfred/bfc
[INFO] tweaked toml for git repo https://github.com/Wilfred/bfc written to /workspace/builds/worker-12/source/Cargo.toml
[INFO] crate git repo https://github.com/Wilfred/bfc already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 2a2220df054d72fd4f1613213d96480846630e117a8ef5c3f99fa0aee838ec77
[INFO] running `Command { std: "docker" "start" "-a" "2a2220df054d72fd4f1613213d96480846630e117a8ef5c3f99fa0aee838ec77", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2a2220df054d72fd4f1613213d96480846630e117a8ef5c3f99fa0aee838ec77", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2a2220df054d72fd4f1613213d96480846630e117a8ef5c3f99fa0aee838ec77", kill_on_drop: false }`
[INFO] [stdout] 2a2220df054d72fd4f1613213d96480846630e117a8ef5c3f99fa0aee838ec77
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-22" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 209b384bcd4862794a0913819f808c2491563adbdb483d846d2383d5fdcc1fce
[INFO] running `Command { std: "docker" "start" "-a" "209b384bcd4862794a0913819f808c2491563adbdb483d846d2383d5fdcc1fce", kill_on_drop: false }`
[INFO] [stderr]    Compiling regex-syntax v0.6.20
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling getrandom v0.1.15
[INFO] [stderr]    Compiling aho-corasick v0.7.14
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stderr]    Compiling rand_core v0.5.1
[INFO] [stderr]    Compiling rand_chacha v0.2.2
[INFO] [stderr]    Compiling rand v0.7.3
[INFO] [stderr]    Compiling tempfile v3.1.0
[INFO] [stderr]    Compiling regex v1.4.1
[INFO] [stderr]    Compiling llvm-sys v100.2.0
[INFO] [stderr]    Compiling bfc v1.10.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 40.31s
[INFO] running `Command { std: "docker" "inspect" "209b384bcd4862794a0913819f808c2491563adbdb483d846d2383d5fdcc1fce", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "209b384bcd4862794a0913819f808c2491563adbdb483d846d2383d5fdcc1fce", kill_on_drop: false }`
[INFO] [stdout] 209b384bcd4862794a0913819f808c2491563adbdb483d846d2383d5fdcc1fce
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-22" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] dafcf1818482b7907af2a7e2355a8145f06301e1941b49a404d91d2d6e5503ec
[INFO] running `Command { std: "docker" "start" "-a" "dafcf1818482b7907af2a7e2355a8145f06301e1941b49a404d91d2d6e5503ec", kill_on_drop: false }`
[INFO] [stderr]    Compiling env_logger v0.7.1
[INFO] [stderr]    Compiling quickcheck v0.9.2
[INFO] [stderr]    Compiling bfc v1.10.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 12.10s
[INFO] running `Command { std: "docker" "inspect" "dafcf1818482b7907af2a7e2355a8145f06301e1941b49a404d91d2d6e5503ec", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dafcf1818482b7907af2a7e2355a8145f06301e1941b49a404d91d2d6e5503ec", kill_on_drop: false }`
[INFO] [stdout] dafcf1818482b7907af2a7e2355a8145f06301e1941b49a404d91d2d6e5503ec
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-12/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-08-22" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 75a7a94181795228c5a1938502ac2ac48b7b97b0577d70321ae10332708a0b84
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "75a7a94181795228c5a1938502ac2ac48b7b97b0577d70321ae10332708a0b84", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.08s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/bfc-a5a103ee6fa5479f)
[INFO] [stdout] running 158 tests
[INFO] [stdout] test bfir::parse_empty_loop ... ok
[INFO] [stdout] test bfir::parse_pointer_increment ... ok
[INFO] [stdout] test bfir::parse_increment ... ok
[INFO] [stdout] test bfir::parse_comment ... ok
[INFO] [stdout] test bfir::parse_pointer_decrement ... ok
[INFO] [stdout] test bfir::parse_decrement ... ok
[INFO] [stdout] test bfir::parse_complex_loop ... ok
[INFO] [stdout] test bfir::parse_read ... ok
[INFO] [stdout] test bfir::parse_unbalanced_loop ... ok
[INFO] [stdout] test bfir::test_combine_order ... ok
[INFO] [stdout] test bfir::parse_write ... ok
[INFO] [stdout] test bfir::test_combine_pos_not_consecutive ... ok
[INFO] [stdout] test bfir::test_combine_pos ... ok
[INFO] [stdout] test bfir::test_combine_pos_overlap ... ok
[INFO] [stdout] test bounds::multiply_move_backwards_bounds ... ok
[INFO] [stdout] test bounds::set_offset_bounds ... ok
[INFO] [stdout] test bounds::multiply_move_bounds ... ok
[INFO] [stdout] test bounds::unbounded_movement ... ok
[INFO] [stdout] test executable_name_b ... ok
[INFO] [stdout] test bounds::excessive_bounds_truncated ... ok
[INFO] [stdout] test bounds::increment_offset_bounds ... ok
[INFO] [stdout] test bounds::loop_with_no_net_movement ... ok
[INFO] [stdout] test bounds::multiple_ptr_increment_bounds ... ok
[INFO] [stdout] test bounds::one_cell_bounds ... ok
[INFO] [stdout] test bounds::ptr_increment_bounds ... ok
[INFO] [stdout] test bounds::ptr_increment_sequence_bounds ... ok
[INFO] [stdout] test execution::increment_wraps ... ok
[INFO] [stdout] test execution::limit_to_steps_specified ... ok
[INFO] [stdout] test execution::loop_executed ... ok
[INFO] [stdout] test execution::loop_up_to_step_limit ... ok
[INFO] [stdout] test execution::increment_executed ... ok
[INFO] [stdout] test execution::loop_with_read_body ... ok
[INFO] [stdout] test execution::multiply_move_offset_too_low ... ok
[INFO] [stdout] test execution::multiply_move_wrapping ... ok
[INFO] [stdout] test execution::multiply_move_when_current_cell_is_zero ... ok
[INFO] [stdout] test execution::partially_execute_complete_toplevel_loop ... ok
[INFO] [stdout] test execution::multiply_move_executed ... ok
[INFO] [stdout] test bounds::multiply_move_bounds_are_relative ... ok
[INFO] [stdout] test execution::execute_read_with_dummy_value_nested_loop ... ok
[INFO] [stdout] test executable_name_relative_path ... ok
[INFO] [stdout] test execution::set_executed ... ok
[INFO] [stdout] test execution::execute_read_with_dummy_value ... ok
[INFO] [stdout] test execution::decrement_executed ... ok
[INFO] [stdout] test execution::write_executed ... ok
[INFO] [stdout] test llvm_tests::compile_increment ... ok
[INFO] [stdout] test llvm_tests::compile_increment_with_offset ... ok
[INFO] [stdout] test llvm_tests::compile_loop ... ok
[INFO] [stdout] test llvm_tests::compile_multiply_move ... ok
[INFO] [stdout] test llvm_tests::compile_ptr_increment ... ok
[INFO] [stdout] test llvm_tests::compile_read ... ok
[INFO] [stdout] test llvm_tests::compile_set_with_offset ... ok
[INFO] [stdout] test llvm_tests::compile_start_instr_midway ... ok
[INFO] [stdout] test llvm_tests::compile_static_outputs ... ok
[INFO] [stdout] test llvm_tests::compile_write ... ok
[INFO] [stdout] test llvm_tests::respect_initial_cell_ptr ... ok
[INFO] [stdout] test llvm_tests::set_initial_cell_values ... ok
[INFO] [stdout] test executable_name_bf ... ok
[INFO] [stdout] test execution::partially_execute_up_to_runtime_value ... ok
[INFO] [stdout] test execution::partially_execute_up_to_step_limit ... ok
[INFO] [stdout] test execution::ptr_increment_executed ... ok
[INFO] [stdout] test execution::ptr_out_of_range ... ok
[INFO] [stdout] test peephole_tests::combine_increment_sum_to_zero ... ok
[INFO] [stdout] test peephole_tests::combine_increments_after_sort ... ok
[INFO] [stdout] test peephole_tests::combine_increments_flat ... ok
[INFO] [stdout] test peephole_tests::combine_increments_remove_redundant ... ok
[INFO] [stdout] test peephole_tests::combine_increments_non_adjacent_instrs ... ok
[INFO] [stdout] test peephole_tests::combine_set_and_increment_non_adjacent_instrs ... ok
[INFO] [stdout] test peephole_tests::dont_combine_before_read_different_offset ... ok
[INFO] [stdout] test peephole_tests::dont_simplify_multiple_decrement_loop ... ok
[INFO] [stdout] test peephole_tests::next_mutate_consider_pointer_increment ... ok
[INFO] [stdout] test peephole_tests::next_mutate_increment ... ok
[INFO] [stdout] test peephole_tests::next_mutate_loop ... ok
[INFO] [stdout] test peephole_tests::no_combine_before_read_after_multiply ... ok
[INFO] [stdout] test peephole_tests::no_combine_before_read_after_write ... ok
[INFO] [stdout] test peephole_tests::not_redundant_set_when_nonzero ... ok
[INFO] [stdout] test peephole_tests::pathological_optimisation_opportunity ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_consider_pointer_increment ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_ignore_write ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_ignores_offset_at_index ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_increment ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_increment_matching_offset ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_loop ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_multiply_ignore_offset ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_multiply_offset_doesnt_match ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_multiply_offset_matches ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_no_predecessors ... ok
[INFO] [stdout] test peephole_tests::prev_mutate_set ... ok
[INFO] [stdout] test peephole_tests::combine_increments_unrelated ... ok
[INFO] [stdout] test peephole_tests::combine_set_sum_to_zero ... ok
[INFO] [stdout] test llvm_tests::compile_empty_program ... ok
[INFO] [stdout] test peephole_tests::quickcheck_combine_set_and_increment_different_offsets ... ok
[INFO] [stdout] test peephole_tests::combine_increments_nested ... ok
[INFO] [stdout] test peephole_tests::quickcheck_combine_increment_and_set_different_offsets ... ok
[INFO] [stdout] test execution::cant_evaluate_inputs ... ok
[INFO] [stdout] test execution::set_wraps ... ok
[INFO] [stdout] test execution::up_to_infinite_loop_executed ... ok
[INFO] [stdout] test bfir::parse_simple_loop ... ok
[INFO] [stdout] test execution::up_to_nonempty_infinite_loop ... ok
[INFO] [stdout] test peephole_tests::quickcheck_combine_set_and_set ... ok
[INFO] [stdout] test peephole_tests::quickcheck_sort_by_offset_pointer_increments ... ok
[INFO] [stdout] test peephole_tests::quickcheck_combine_set_and_set_different_offsets ... ok
[INFO] [stdout] test peephole_tests::quickcheck_should_combine_set_and_increment ... ok
[INFO] [stdout] test peephole_tests::quickcheck_sort_by_offset_set ... ok
[INFO] [stdout] test peephole_tests::combine_before_read_not_consecutive ... ok
[INFO] [stdout] test peephole_tests::remove_dead_loops_after_set ... ok
[INFO] [stdout] test peephole_tests::remove_dead_loops_nested ... ok
[INFO] [stdout] test peephole_tests::quickcheck_combine_increments_remove_zero_any_offset ... ok
[INFO] [stdout] test execution::arithmetic_error_nested_loops ... ok
[INFO] [stdout] test peephole_tests::remove_dead_loops_not_adjacent ... ok
[INFO] [stdout] test peephole_tests::should_annotate_known_zero_cleaned_up ... ok
[INFO] [stdout] test peephole_tests::should_combine_before_read ... ok
[INFO] [stdout] test peephole_tests::remove_repeated_loops ... ok
[INFO] [stdout] test peephole_tests::quickcheck_should_combine_increment_and_set ... ok
[INFO] [stdout] test peephole_tests::should_annotate_known_zero ... ok
[INFO] [stdout] test peephole_tests::should_annotate_known_zero_nested ... ok
[INFO] [stdout] test peephole_tests::should_combine_ptr_increments ... ok
[INFO] [stdout] test peephole_tests::should_extract_multiply_negative_number ... ok
[INFO] [stdout] test peephole_tests::should_combine_set_and_set_nested ... ok
[INFO] [stdout] test peephole_tests::should_extract_multiply_multiple_cells ... ok
[INFO] [stdout] test peephole_tests::should_combine_before_read_nested ... ok
[INFO] [stdout] test execution::multiply_move_offset_too_high ... ok
[INFO] [stdout] test peephole_tests::should_not_extract_multiply_from_clear_loop ... ok
[INFO] [stdout] test peephole_tests::should_extract_multiply_simple ... ok
[INFO] [stdout] test peephole_tests::should_extract_multiply_nested ... ok
[INFO] [stdout] test peephole_tests::should_not_extract_multiply_net_movement ... ok
[INFO] [stdout] test peephole_tests::should_not_extract_multiply_without_decrement ... ok
[INFO] [stdout] test peephole_tests::should_not_extract_multiply_with_inner_loop ... ok
[INFO] [stdout] test peephole_tests::should_not_extract_multiply_with_read ... ok
[INFO] [stdout] test peephole_tests::should_preserve_set_0_in_loop ... ok
[INFO] [stdout] test peephole_tests::should_remove_pure_code ... ok
[INFO] [stdout] test peephole_tests::should_remove_redundant_set ... ok
[INFO] [stdout] test peephole_tests::sort_by_offset_increment_nested ... ok
[INFO] [stdout] test peephole_tests::simplify_zeroing_loop ... ok
[INFO] [stdout] test peephole_tests::sort_by_offset_read ... ok
[INFO] [stdout] test peephole_tests::sort_by_offset_remove_redundant ... ok
[INFO] [stdout] test peephole_tests::simplify_nested_zeroing_loop ... ok
[INFO] [stdout] test peephole_tests::should_not_extract_multiply_with_write ... ok
[INFO] [stdout] test peephole_tests::sort_by_offset_increment ... ok
[INFO] [stdout] test peephole_tests::should_remove_redundant_set_multiply ... ok
[INFO] [stdout] test bounds::quickcheck_highest_cell_index_in_bounds ... ok
[INFO] [stdout] test peephole_tests::quickcheck_should_annotate_known_zero_at_start ... ok
[INFO] [stdout] test peephole_tests::annotate_known_zero_idempotent ... ok
[INFO] [stdout] test execution::quickcheck_cell_ptr_in_bounds ... ok
[INFO] [stdout] test peephole_tests::quickcheck_optimize_should_decrease_size ... ok
[INFO] [stdout] test peephole_tests::quickcheck_optimize_should_be_idempotent ... ok
[INFO] [stdout] test soundness_tests::remove_pure_code_is_sound ... ok
[INFO] [stdout] test soundness_tests::remove_redundant_sets_is_sound ... ok
[INFO] [stdout] test peephole_tests::quickcheck_should_remove_dead_pure_code ... ok
[INFO] [stdout] test soundness_tests::combine_set_and_increments_is_sound ... ok
[INFO] [stdout] test soundness_tests::annotate_known_zero_is_sound ... ok
[INFO] [stdout] test soundness_tests::sort_by_offset_is_sound ... ok
[INFO] [stdout] test soundness_tests::extract_multiply_is_sound ... ok
[INFO] [stdout] test soundness_tests::combine_increments_is_sound ... ok
[INFO] [stdout] test soundness_tests::simplify_loops_is_sound ... ok
[INFO] [stdout] test soundness_tests::combine_ptr_increments_is_sound ... ok
[INFO] [stdout] test soundness_tests::combine_before_read_is_sound ... ok
[INFO] [stdout] test soundness_tests::remove_dead_loops_is_sound ... ok
[INFO] [stdout] test soundness_tests::test_overall_optimize_is_sound ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 158 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 13.68s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "75a7a94181795228c5a1938502ac2ac48b7b97b0577d70321ae10332708a0b84", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "75a7a94181795228c5a1938502ac2ac48b7b97b0577d70321ae10332708a0b84", kill_on_drop: false }`
[INFO] [stdout] 75a7a94181795228c5a1938502ac2ac48b7b97b0577d70321ae10332708a0b84
