[INFO] fetching crate herkos-runtime 0.2.0...
[INFO] testing herkos-runtime-0.2.0 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1
[INFO] extracting crate herkos-runtime 0.2.0 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate herkos-runtime 0.2.0
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate herkos-runtime 0.2.0
[INFO] tweaked toml for crates.io crate herkos-runtime 0.2.0 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate herkos-runtime 0.2.0 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate herkos-runtime 0.2.0 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded os_info v3.14.0
[INFO] [stderr]   Downloaded kani-verifier v0.57.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] e154ece88d13b4e3c41137d354dea21106663e5166a8a71a8885c2038fb7ef04
[INFO] running `Command { std: "docker" "start" "-a" "e154ece88d13b4e3c41137d354dea21106663e5166a8a71a8885c2038fb7ef04", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e154ece88d13b4e3c41137d354dea21106663e5166a8a71a8885c2038fb7ef04", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e154ece88d13b4e3c41137d354dea21106663e5166a8a71a8885c2038fb7ef04", kill_on_drop: false }`
[INFO] [stdout] e154ece88d13b4e3c41137d354dea21106663e5166a8a71a8885c2038fb7ef04
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dd8513da18b4387fbad2fd9d15dcd3fc5b11dca2b07dfceb84f103a935a26271
[INFO] running `Command { std: "docker" "start" "-a" "dd8513da18b4387fbad2fd9d15dcd3fc5b11dca2b07dfceb84f103a935a26271", kill_on_drop: false }`
[INFO] [stderr]    Compiling herkos-runtime v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.27s
[INFO] running `Command { std: "docker" "inspect" "dd8513da18b4387fbad2fd9d15dcd3fc5b11dca2b07dfceb84f103a935a26271", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd8513da18b4387fbad2fd9d15dcd3fc5b11dca2b07dfceb84f103a935a26271", kill_on_drop: false }`
[INFO] [stdout] dd8513da18b4387fbad2fd9d15dcd3fc5b11dca2b07dfceb84f103a935a26271
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 391726bedf663b6d357699e8ca47582b1631314ae9fa081716640af4ef1f00ac
[INFO] running `Command { std: "docker" "start" "-a" "391726bedf663b6d357699e8ca47582b1631314ae9fa081716640af4ef1f00ac", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling nix v0.30.1
[INFO] [stderr]    Compiling anyhow v1.0.101
[INFO] [stderr]    Compiling kani-verifier v0.57.0
[INFO] [stderr]    Compiling home v0.5.12
[INFO] [stderr]    Compiling os_info v3.14.0
[INFO] [stderr]    Compiling herkos-runtime v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 4.69s
[INFO] running `Command { std: "docker" "inspect" "391726bedf663b6d357699e8ca47582b1631314ae9fa081716640af4ef1f00ac", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "391726bedf663b6d357699e8ca47582b1631314ae9fa081716640af4ef1f00ac", kill_on_drop: false }`
[INFO] [stdout] 391726bedf663b6d357699e8ca47582b1631314ae9fa081716640af4ef1f00ac
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 09ed036a86c08bacf21b99018823108fa8c98ca610fc47c13ad28246e8468499
[INFO] running `Command { std: "docker" "start" "-a" "09ed036a86c08bacf21b99018823108fa8c98ca610fc47c13ad28246e8468499", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/herkos_runtime-07eb3aca8ee1260e)
[INFO] [stdout] 
[INFO] [stdout] running 121 tests
[INFO] [stdout] test memory::tests::access_beyond_active_pages_traps ... ok
[INFO] [stdout] test memory::tests::fill_out_of_bounds ... ok
[INFO] [stdout] test memory::tests::fill_writes_byte_pattern ... ok
[INFO] [stdout] test memory::tests::fill_zero_len_is_noop ... ok
[INFO] [stdout] test memory::tests::grow_then_access_new_region ... ok
[INFO] [stdout] test memory::tests::grow_success ... ok
[INFO] [stdout] test memory::tests::grow_beyond_max_fails ... ok
[INFO] [stdout] test memory::tests::grow_to_max ... ok
[INFO] [stdout] test memory::tests::fill_at_boundary ... ok
[INFO] [stdout] test memory::tests::init_data_empty_slice_is_noop ... ok
[INFO] [stdout] test memory::tests::init_data_at_boundary ... ok
[INFO] [stdout] test memory::tests::i32_is_little_endian ... ok
[INFO] [stdout] test memory::tests::grow_zero_is_noop ... ok
[INFO] [stdout] test memory::tests::init_data_partial_copies_subrange ... ok
[INFO] [stdout] test memory::tests::init_data_partial_full_segment ... ok
[INFO] [stdout] test memory::tests::grow_zeroes_new_pages ... ok
[INFO] [stdout] test memory::tests::init_data_partial_zero_len_is_noop ... ok
[INFO] [stdout] test memory::tests::init_data_writes_bytes ... ok
[INFO] [stdout] test memory::tests::init_data_out_of_bounds ... ok
[INFO] [stdout] test memory::tests::new_initializes_to_zero ... ok
[INFO] [stdout] test memory::tests::init_data_partial_src_offset_overflow ... ok
[INFO] [stdout] test memory::tests::init_data_overwrites_existing ... ok
[INFO] [stdout] test memory::tests::load_u8_out_of_bounds ... ok
[INFO] [stdout] test memory::tests::init_data_partial_dst_out_of_bounds ... ok
[INFO] [stdout] test memory::tests::size_returns_page_count ... ok
[INFO] [stdout] test memory::tests::init_data_partial_src_out_of_bounds ... ok
[INFO] [stdout] test memory::tests::store_load_i64_roundtrip ... ok
[INFO] [stdout] test memory::tests::load_i64_out_of_bounds ... ok
[INFO] [stdout] test memory::tests::store_load_u16_roundtrip ... ok
[INFO] [stdout] test memory::tests::store_i32_out_of_bounds ... ok
[INFO] [stdout] test memory::tests::unchecked_i64_roundtrip ... ok
[INFO] [stdout] test memory::tests::try_new_fails_if_initial_exceeds_max ... ok
[INFO] [stdout] test memory::tests::unchecked_i32_roundtrip ... ok
[INFO] [stdout] test memory::tests::store_load_f64_roundtrip ... ok
[INFO] [stdout] test memory::tests::store_load_i32_roundtrip ... ok
[INFO] [stdout] test module::tests::library_module_borrows_caller_memory ... ok
[INFO] [stdout] test memory::tests::store_load_f32_roundtrip ... ok
[INFO] [stdout] test memory::tests::load_i32_offset_overflow ... ok
[INFO] [stdout] test ops::tests::i32_div_s_basic ... ok
[INFO] [stdout] test module::tests::library_module_no_globals ... ok
[INFO] [stdout] test memory::tests::load_i32_out_of_bounds ... ok
[INFO] [stdout] test module::tests::module_new_owns_memory ... ok
[INFO] [stdout] test ops::tests::i32_div_s_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i32_div_u_large ... ok
[INFO] [stdout] test ops::tests::i32_div_u_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i32_rem_s_min_over_neg_one ... ok
[INFO] [stdout] test module::tests::module_memory_is_isolated ... ok
[INFO] [stdout] test ops::tests::i32_rem_s_negative ... ok
[INFO] [stdout] test module::tests::module_with_table ... ok
[INFO] [stdout] test ops::tests::i32_div_s_min_over_neg_one ... ok
[INFO] [stdout] test ops::tests::i32_rem_s_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_positive ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_nan ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_underflow ... ok
[INFO] [stdout] test ops::tests::i32_rem_u_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_neg_inf ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_negative ... ok
[INFO] [stdout] test ops::tests::i32_div_s_negative ... ok
[INFO] [stdout] test ops::tests::i32_div_u_basic ... ok
[INFO] [stdout] test ops::tests::i32_rem_s_basic ... ok
[INFO] [stdout] test ops::tests::i32_rem_u_basic ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_pos_inf ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_overflow ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_s_zero ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_u_nan ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_u_neg_half_ok ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_u_neg_one_err ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_u_overflow ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_u_positive ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f32_u_zero ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_s_max ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_s_min ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_s_nan ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_s_overflow ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_s_underflow ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_u_max ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_u_nan ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_u_neg_half_ok ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_u_neg_one_err ... ok
[INFO] [stdout] test ops::tests::i32_trunc_f64_u_overflow ... ok
[INFO] [stdout] test ops::tests::i64_div_s_basic ... ok
[INFO] [stdout] test ops::tests::i64_div_s_min_over_neg_one ... ok
[INFO] [stdout] test ops::tests::i64_div_s_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i64_div_u_basic ... ok
[INFO] [stdout] test ops::tests::i64_div_u_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i64_rem_s_basic ... ok
[INFO] [stdout] test ops::tests::i64_rem_s_min_over_neg_one ... ok
[INFO] [stdout] test ops::tests::i64_rem_s_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i64_rem_u_basic ... ok
[INFO] [stdout] test ops::tests::i64_rem_u_zero_divisor ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f32_s_nan ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f32_s_ok ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f32_s_overflow ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f32_s_pos_inf ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f32_u_nan ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f32_u_neg_one_err ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f32_u_ok ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f64_s_nan ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f64_s_ok ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f64_s_overflow ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f64_u_nan ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f64_u_neg_one_err ... ok
[INFO] [stdout] test ops::tests::i64_trunc_f64_u_ok ... ok
[INFO] [stdout] test table::tests::get_out_of_bounds ... ok
[INFO] [stdout] test table::tests::grow_beyond_max_fails ... ok
[INFO] [stdout] test table::tests::grow_success ... ok
[INFO] [stdout] test memory::tests::store_load_u8_roundtrip ... ok
[INFO] [stdout] test table::tests::init_elements_empty_is_noop ... ok
[INFO] [stdout] test table::tests::grow_with_init ... ok
[INFO] [stdout] test table::tests::init_elements_out_of_bounds ... ok
[INFO] [stdout] test table::tests::init_elements_writes_entries ... ok
[INFO] [stdout] test table::tests::new_table_is_empty ... ok
[INFO] [stdout] test table::tests::set_and_get ... ok
[INFO] [stdout] test table::tests::set_none_clears_entry ... ok
[INFO] [stdout] test table::tests::set_out_of_bounds ... ok
[INFO] [stdout] test table::tests::try_new_fails_if_initial_exceeds_max ... ok
[INFO] [stdout] test tests::wasm_result_err ... ok
[INFO] [stdout] test tests::wasm_trap_is_copy ... ok
[INFO] [stdout] test tests::wasm_result_ok ... ok
[INFO] [stdout] test table::tests::init_elements_at_base_offset ... ok
[INFO] [stdout] test table::tests::init_elements_exactly_fills_table ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 121 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/generated_modules.rs (/opt/rustwide/target/debug/deps/generated_modules-b201f21b3e469ebf)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test counter::test_counter ... ok
[INFO] [stdout] test indirect_call::test_indirect_add ... ok
[INFO] [stdout] test indirect_call::test_indirect_mul ... ok
[INFO] [stdout] test indirect_call::test_indirect_out_of_bounds ... ok
[INFO] [stdout] test inter_module::test_inter_module_call ... ok
[INFO] [stdout] test inter_module::test_modules_are_isolated ... ok
[INFO] [stderr]    Doc-tests herkos_runtime
[INFO] [stdout] test memory_sum::test_sum_array ... ok
[INFO] [stdout] test memory_sum::test_sum_array_out_of_bounds ... ok
[INFO] [stdout] test library_memset::test_memset ... ok
[INFO] [stdout] test pure_add::test_add ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[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" "09ed036a86c08bacf21b99018823108fa8c98ca610fc47c13ad28246e8468499", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "09ed036a86c08bacf21b99018823108fa8c98ca610fc47c13ad28246e8468499", kill_on_drop: false }`
[INFO] [stdout] 09ed036a86c08bacf21b99018823108fa8c98ca610fc47c13ad28246e8468499