[INFO] fetching crate decy-core 2.0.0...
[INFO] testing decy-core-2.0.0 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate decy-core 2.0.0 into /workspace/builds/worker-6-tc2/source
[INFO] started tweaking crates.io crate decy-core 2.0.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate decy-core 2.0.0
[INFO] tweaked toml for crates.io crate decy-core 2.0.0 written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate decy-core 2.0.0 on toolchain beta-2026-01-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate decy-core 2.0.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" "+beta-2026-01-20" "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-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] ab7a368206eb998b41ce98f16179bbef8f00cfba779ffa222f5de48b75df0548
[INFO] running `Command { std: "docker" "start" "-a" "ab7a368206eb998b41ce98f16179bbef8f00cfba779ffa222f5de48b75df0548", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ab7a368206eb998b41ce98f16179bbef8f00cfba779ffa222f5de48b75df0548", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ab7a368206eb998b41ce98f16179bbef8f00cfba779ffa222f5de48b75df0548", kill_on_drop: false }`
[INFO] [stdout] ab7a368206eb998b41ce98f16179bbef8f00cfba779ffa222f5de48b75df0548
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "RUSTDOCFLAGS=--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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c4c48a71f983812ba0c0479762abcfc234a1714abbb0b94578f538060f30edcb
[INFO] running `Command { std: "docker" "start" "-a" "c4c48a71f983812ba0c0479762abcfc234a1714abbb0b94578f538060f30edcb", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling libc v0.2.177
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling tracing-core v0.1.35
[INFO] [stderr]    Compiling indexmap v2.12.1
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling decy-stdlib v2.0.0
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tracing v0.1.43
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling decy-parser v2.0.0
[INFO] [stderr]    Compiling decy-hir v2.0.0
[INFO] [stderr]    Compiling decy-analyzer v2.0.0
[INFO] [stderr]    Compiling decy-ownership v2.0.0
[INFO] [stderr]    Compiling decy-verify v2.0.0
[INFO] [stderr]    Compiling decy-codegen v2.0.0
[INFO] [stderr]    Compiling decy-core v2.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.72s
[INFO] running `Command { std: "docker" "inspect" "c4c48a71f983812ba0c0479762abcfc234a1714abbb0b94578f538060f30edcb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c4c48a71f983812ba0c0479762abcfc234a1714abbb0b94578f538060f30edcb", kill_on_drop: false }`
[INFO] [stdout] c4c48a71f983812ba0c0479762abcfc234a1714abbb0b94578f538060f30edcb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "RUSTDOCFLAGS=--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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4dd015d19f9bfc2fdc717285cd5b460696ebde195e777a5c821382e3bcbcdba5
[INFO] running `Command { std: "docker" "start" "-a" "4dd015d19f9bfc2fdc717285cd5b460696ebde195e777a5c821382e3bcbcdba5", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling zerocopy-derive v0.8.31
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling clap_lex v0.7.6
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling clap_builder v4.5.53
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling decy-parser v2.0.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling decy-hir v2.0.0
[INFO] [stderr]    Compiling decy-analyzer v2.0.0
[INFO] [stderr]    Compiling decy-ownership v2.0.0
[INFO] [stderr]    Compiling decy-verify v2.0.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling clap v4.5.53
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling decy-codegen v2.0.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling decy-core v2.0.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 44.72s
[INFO] running `Command { std: "docker" "inspect" "4dd015d19f9bfc2fdc717285cd5b460696ebde195e777a5c821382e3bcbcdba5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4dd015d19f9bfc2fdc717285cd5b460696ebde195e777a5c821382e3bcbcdba5", kill_on_drop: false }`
[INFO] [stdout] 4dd015d19f9bfc2fdc717285cd5b460696ebde195e777a5c821382e3bcbcdba5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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" "RUSTDOCFLAGS=--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:98afbf2d16093dec2546ff8915fddc74e65664aa03fc460b3712b1c2c54a33e4" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2026-01-20" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 92ef8a411265b1426afe3cd7a2a50d62f09bb42bbfa4b1909586f3e40568cc53
[INFO] running `Command { std: "docker" "start" "-a" "92ef8a411265b1426afe3cd7a2a50d62f09bb42bbfa4b1909586f3e40568cc53", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.25s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/decy_core-d8446d8082f0e10a)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test metrics::tests::test_extract_error_code_partial ... ok
[INFO] [stdout] test metrics::tests::test_extract_error_code_standard ... ok
[INFO] [stdout] test metrics::tests::test_extract_error_code_unknown ... ok
[INFO] [stdout] test metrics::tests::test_extract_error_code_with_brackets ... ok
[INFO] [stdout] test tests::test_transpile_void_function ... ok
[INFO] [stdout] test tests::test_transpile_empty_input ... ok
[INFO] [stdout] test tests::test_transpile_integration_pipeline ... ok
[INFO] [stdout] test tests::test_transpile_with_box_transform_simple ... ok
[INFO] [stdout] test tests::test_transpile_simple_function ... ok
[INFO] [stdout] test tests::test_transpile_with_parameters ... ok
[INFO] [stdout] test tests::test_transpile_with_lifetime_annotations ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/array_param_ref_tests.rs (/opt/rustwide/target/debug/deps/array_param_ref_tests-923784bf4fbb2e16)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_fixed_array_param_has_reference ... ok
[INFO] [stderr]      Running tests/array_parameter_test.rs (/opt/rustwide/target/debug/deps/array_parameter_test-bce637cbab38e3c9)
[INFO] [stdout] test test_char_array_param_has_reference ... ok
[INFO] [stdout] test test_array_param_has_reference ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 8 tests
[INFO] [stdout] test test_non_array_pointer_becomes_reference ... ok
[INFO] [stdout] test test_transform_multiple_array_parameters ... ok
[INFO] [stdout] test test_transform_char_array_parameter ... ok
[INFO] [stdout] test test_transform_array_parameter_to_slice ... ok
[INFO] [stdout] test test_transform_length_usage_in_body ... ok
[INFO] [stdout] test test_transform_array_parameter_with_return ... ok
[INFO] [stdout] test test_transform_mutable_array_parameter ... ok
[INFO] [stdout] test test_array_parameter_transformation_unsafe_count ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.21s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/basic_transpilation_test.rs (/opt/rustwide/target/debug/deps/basic_transpilation_test-097e835aac341585)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_integration_summary ... ok
[INFO] [stdout] test test_if_statement ... ok
[INFO] [stdout] test test_for_loop ... ok
[INFO] [stdout] test test_simple_arithmetic ... ok
[INFO] [stdout] test test_decy190_function_declaration_and_definition_no_duplicate ... ok
[INFO] [stdout] test test_multiple_functions ... ok
[INFO] [stdout] test test_printf_transformation ... ok
[INFO] [stdout] test test_simple_main_function ... ok
[INFO] [stdout] test test_simple_variable_declaration ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.19s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/buffer_overflow_property_tests.rs (/opt/rustwide/target/debug/deps/buffer_overflow_property_tests-639ec98727af4248)
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test prop_loop_bounds_checked_transpiles ... ok
[INFO] [stdout] test prop_nested_arrays_transpile ... ok
[INFO] [stdout] test prop_buffer_copy_transpiles ... ok
[INFO] [stdout] test prop_partial_buffer_copy_transpiles ... ok
[INFO] [stdout] test prop_generated_code_balanced ... ok
[INFO] [stdout] test prop_fixed_array_access_transpiles ... ok
[INFO] [stdout] test prop_struct_with_array_transpiles ... ok
[INFO] [stdout] test prop_string_buffer_transpiles ... ok
[INFO] [stdout] test prop_2d_array_access_transpiles ... ok
[INFO] [stdout] test prop_array_index_validation_transpiles ... ok
[INFO] [stdout] test prop_unsafe_density_below_target ... ok
[INFO] [stdout] test prop_variable_size_array_transpiles ... ok
[INFO] [stdout] test prop_transpilation_deterministic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 45.12s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/buffer_overflow_safety_integration_test.rs (/opt/rustwide/target/debug/deps/buffer_overflow_safety_integration_test-20c8260bfc108def)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test test_partial_buffer_copy ... ok
[INFO] [stdout] test test_function_array_parameter ... ok
[INFO] [stdout] test test_transpiled_code_compiles ... ok
[INFO] [stdout] test test_string_initialization ... ok
[INFO] [stdout] test test_unsafe_block_count_target ... ok
[INFO] [stdout] test test_struct_with_array ... ok
[INFO] [stdout] test test_string_buffer_safe_size ... ok
[INFO] [stdout] test test_array_index_validation ... ok
[INFO] [stdout] test test_nested_array_access ... ok
[INFO] [stdout] test test_variable_size_array ... ok
[INFO] [stdout] test test_2d_array_access ... ok
[INFO] [stdout] test test_string_length_check ... ok
[INFO] [stdout] test test_fixed_array_access ... ok
[INFO] [stdout] test test_loop_bounds_checked ... ok
[INFO] [stdout] test test_off_by_one_prevention ... ok
[INFO] [stdout] test test_manual_buffer_copy ... ok
[INFO] [stdout] test test_buffer_overflow_safety_documentation ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.32s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/classifier_pipeline_test.rs (/opt/rustwide/target/debug/deps/classifier_pipeline_test-f435d84182a262c7)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test test_classifier_no_unsafe_for_simple_refs ... ok
[INFO] [stdout] test test_classifier_mutable_borrow ... ok
[INFO] [stdout] test test_classifier_multiple_parameters ... ok
[INFO] [stdout] test test_classifier_preserves_function_semantics ... ok
[INFO] [stdout] test test_classifier_array_to_slice ... ok
[INFO] [stdout] test test_classifier_immutable_borrow ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/compile_metrics_test.rs (/opt/rustwide/target/debug/deps/compile_metrics_test-e1b13a9f18b7fd38)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test test_compile_metrics_record_failure ... ok
[INFO] [stdout] test test_compile_metrics_mixed_results ... ok
[INFO] [stdout] test test_compile_metrics_reset ... ok
[INFO] [stdout] test test_metrics_to_markdown ... ok
[INFO] [stdout] test test_metrics_to_json ... ok
[INFO] [stdout] test test_compile_metrics_record_success ... ok
[INFO] [stdout] test test_compile_metrics_meets_target ... ok
[INFO] [stdout] test test_compile_metrics_error_tracking ... ok
[INFO] [stdout] test test_compile_metrics_new ... ok
[INFO] [stdout] test test_transpile_with_verification ... ok
[INFO] [stdout] test test_transpilation_result_with_metrics ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dependency_tracking_test.rs (/opt/rustwide/target/debug/deps/dependency_tracking_test-ff7ceae64ffe736f)
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test test_dependency_graph_add_dependency ... ok
[INFO] [stdout] test test_dependency_graph_add_file ... ok
[INFO] [stdout] test test_dependency_graph_empty ... ok
[INFO] [stdout] test test_build_dependency_graph_from_files ... ok
[INFO] [stdout] test test_build_order_integration ... ok
[INFO] [stdout] test test_detect_circular_dependency ... ok
[INFO] [stdout] test test_detect_self_dependency ... ok
[INFO] [stdout] test test_parse_include_directive ... ok
[INFO] [stdout] test test_topological_sort_complex ... ok
[INFO] [stdout] test test_header_guard_detection ... ok
[INFO] [stderr]      Running tests/double_free_property_tests.rs (/opt/rustwide/target/debug/deps/double_free_property_tests-d2526da1c958cea8)
[INFO] [stdout] test test_topological_sort_simple ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test prop_transpilation_deterministic ... FAILED
[INFO] [stdout] test prop_generated_code_balanced ... ok
[INFO] [stdout] test prop_unsafe_density_below_target ... ok
[INFO] [stdout] test prop_array_of_pointers_transpiles ... ok
[INFO] [stdout] test prop_error_path_free_transpiles ... ok
[INFO] [stdout] test prop_multi_free_protection_transpiles ... ok
[INFO] [stdout] test prop_function_ownership_transpiles ... ok
[INFO] [stdout] test prop_conditional_free_transpiles ... ok
[INFO] [stdout] test prop_null_after_free_transpiles ... ok
[INFO] [stdout] test prop_simple_malloc_free_transpiles ... ok
[INFO] [stdout] test prop_struct_member_transpiles ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- prop_transpilation_deterministic stdout ----
[INFO] [stdout] proptest: FileFailurePersistence::SourceParallel set, but failed to find lib.rs or main.rs
[INFO] [stdout] 
[INFO] [stdout] thread 'prop_transpilation_deterministic' (7394) panicked at tests/double_free_property_tests.rs:417:1:
[INFO] [stdout] Test failed: assertion failed: `(left == right)` 
[INFO] [stdout]   left: `"pub type size_t = usize;\npub type ssize_t = isize;\npub type ptrdiff_t = isize;\nfn labs(mut j: i32) -> i32 {\n    return 0;\n}\nfn malloc(mut size: u32) -> *mut () {\n    return std::ptr::null_mut();\n}\nfn getenv(mut name: &str) -> *mut u8 {\n    return std::ptr::null_mut();\n}\nfn realloc(ptr: *mut (), mut size: u32) -> *mut () {\n    return std::ptr::null_mut();\n}\nfn strtol(mut nptr: &str, endptr: &mut *mut u8, mut base: i32) -> i32 {\n    return 0;\n}\nfn system(mut command: &str) -> i32 {\n    return 0;\n}\nfn rand() -> i32 {\n    return 0;\n}\nfn atof(mut nptr: &str) -> f64 {\n    return 0.0;\n}\nfn strtod(mut nptr: &str, endptr: &mut *mut u8) -> f64 {\n    return 0.0;\n}\nfn abs(mut j: i32) -> i32 {\n    return 0;\n}\nfn atol(mut nptr: &str) -> i32 {\n    return 0;\n}\nfn main() {\n    let mut ptr: Vec<i32> = Vec::<i32>::with_capacity((std::mem::size_of::<i32>() as i32) as usize);\n    if true /* Vec never null */ {\n    *ptr = 0;\n    drop(ptr);\n}\n    std::process::exit(0);\n}\nfn srand(mut seed: u32) {\n}\nfn exit(mut status: i32) {\n}\nfn atoi(mut nptr: &str) -> i32 {\n    return 0;\n}\nfn free(ptr: *mut ()) {\n}\nfn calloc(mut nmemb: u32, mut size: u32) -> *mut () {\n    return std::ptr::null_mut();\n}\nfn abort() {\n}\n"`, 
[INFO] [stdout]  right: `"pub type size_t = usize;\npub type ssize_t = isize;\npub type ptrdiff_t = isize;\nfn rand() -> i32 {\n    return 0;\n}\nfn getenv(mut name: &str) -> *mut u8 {\n    return std::ptr::null_mut();\n}\nfn atoi(mut nptr: &str) -> i32 {\n    return 0;\n}\nfn abort() {\n}\nfn realloc(ptr: *mut (), mut size: u32) -> *mut () {\n    return std::ptr::null_mut();\n}\nfn labs(mut j: i32) -> i32 {\n    return 0;\n}\nfn atof(mut nptr: &str) -> f64 {\n    return 0.0;\n}\nfn free(ptr: *mut ()) {\n}\nfn strtod(mut nptr: &str, endptr: &mut *mut u8) -> f64 {\n    return 0.0;\n}\nfn system(mut command: &str) -> i32 {\n    return 0;\n}\nfn strtol(mut nptr: &str, endptr: &mut *mut u8, mut base: i32) -> i32 {\n    return 0;\n}\nfn abs(mut j: i32) -> i32 {\n    return 0;\n}\nfn main() {\n    let mut ptr: Vec<i32> = Vec::<i32>::with_capacity((std::mem::size_of::<i32>() as i32) as usize);\n    if true /* Vec never null */ {\n    *ptr = 0;\n    drop(ptr);\n}\n    std::process::exit(0);\n}\nfn calloc(mut nmemb: u32, mut size: u32) -> *mut () {\n    return std::ptr::null_mut();\n}\nfn atol(mut nptr: &str) -> i32 {\n    return 0;\n}\nfn malloc(mut size: u32) -> *mut () {\n    return std::ptr::null_mut();\n}\nfn srand(mut seed: u32) {\n}\nfn exit(mut status: i32) {\n}\n"`: Transpilation should be deterministic at tests/double_free_property_tests.rs:443.
[INFO] [stdout] minimal failing input: value = 0
[INFO] [stdout] 	successes: 0
[INFO] [stdout] 	local rejects: 0
[INFO] [stdout] 	global rejects: 0
[INFO] [stdout] 
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x56202d22ef92 - std::backtrace_rs::backtrace::libunwind::trace::hf0bd46b30bc61685
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x56202d22ef92 - std::backtrace_rs::backtrace::trace_unsynchronized::h1d1fbb72ad89d7b7
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x56202d22ef92 - std::sys::backtrace::_print_fmt::he38b6f68ca847f47
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x56202d22ef92 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hb7e843cde1bc81a3
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x56202d24093a - core::fmt::rt::Argument::fmt::hc1dd77ac64f2688c
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x56202d24093a - core::fmt::write::h952c506e2dbe9cff
[INFO] [stdout]    6:     0x56202d1fbeb6 - std::io::default_write_fmt::hd23bd8145c03a23a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x56202d1fbeb6 - std::io::Write::write_fmt::hdd3314a2bd8a34bd
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x56202d20d7c9 - std::sys::backtrace::BacktraceLock::print::h1079b82381c2c252
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x56202d20d7c9 - std::panicking::default_hook::{{closure}}::h85cb76b8462c00f2
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x56202d20d661 - std::panicking::default_hook::h0134d220cc034c02
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x56202d031a5e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hb2e68dca3970e3ca
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x56202d031a5e - test::test_main_with_exit_callback::{{closure}}::ha7ec2063a2565ec3
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x56202d20da42 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::haebee478d0f56cf4
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x56202d20da42 - std::panicking::panic_with_hook::h8119b6db1fef734f
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x56202d20d888 - std::panicking::panic_handler::{{closure}}::h24f5360b91482c0e
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:698:13
[INFO] [stdout]   16:     0x56202d207f39 - std::sys::backtrace::__rust_end_short_backtrace::h4e60c5cbd1bd0108
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x56202d1ef87d - __rustc[e4c6931bd8050421]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x56202d2482ec - core::panicking::panic_fmt::hb1614a3ff6840071
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x56202d00405f - double_free_property_tests::prop_transpilation_deterministic::h3a5cbb0d7a2aeb74
[INFO] [stdout]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.9.0/src/sugar.rs:163:17
[INFO] [stdout]   20:     0x56202d0040e7 - double_free_property_tests::prop_transpilation_deterministic::{{closure}}::h414495e395285028
[INFO] [stdout]                                at /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/proptest-1.9.0/src/sugar.rs:159:28
[INFO] [stdout]   21:     0x56202cffcda6 - core::ops::function::FnOnce::call_once::h9b28600ae063222e
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x56202d03185b - core::ops::function::FnOnce::call_once::hefaf63600cd43d2a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x56202d03185b - test::__rust_begin_short_backtrace::he30322a73a0e9ea6
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:663:18
[INFO] [stdout]   24:     0x56202d04522a - test::run_test_in_process::{{closure}}::hdea3ab8d0243ef36
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:686:74
[INFO] [stdout]   25:     0x56202d04522a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h66d192f42498ffce
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   26:     0x56202d04522a - std::panicking::catch_unwind::do_call::h822e18e8d3a6bb65
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:581:40
[INFO] [stdout]   27:     0x56202d04522a - std::panicking::catch_unwind::h54b1de7ceab578bf
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:544:19
[INFO] [stdout]   28:     0x56202d04522a - std::panic::catch_unwind::h60c29b7a9d0246b1
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panic.rs:359:14
[INFO] [stdout]   29:     0x56202d04522a - test::run_test_in_process::h6099b5f871379b13
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:686:27
[INFO] [stdout]   30:     0x56202d04522a - test::run_test::{{closure}}::h926ce0a38281a4c8
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:607:43
[INFO] [stdout]   31:     0x56202d01f684 - test::run_test::{{closure}}::h508de21a9afc7140
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/test/src/lib.rs:637:41
[INFO] [stdout]   32:     0x56202d01f684 - std::sys::backtrace::__rust_begin_short_backtrace::h6e2f5c39ca00735a
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   33:     0x56202d022f42 - std::thread::lifecycle::spawn_unchecked::{{closure}}::{{closure}}::h133e44f0e5802c14
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   34:     0x56202d022f42 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4718c1285283955c
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   35:     0x56202d022f42 - std::panicking::catch_unwind::do_call::h0bba3937b4892238
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:581:40
[INFO] [stdout]   36:     0x56202d022f42 - std::panicking::catch_unwind::h5b31cab5fb8c5d7f
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panicking.rs:544:19
[INFO] [stdout]   37:     0x56202d022f42 - std::panic::catch_unwind::hb2fa05d52ed0124e
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/panic.rs:359:14
[INFO] [stdout]   38:     0x56202d022f42 - std::thread::lifecycle::spawn_unchecked::{{closure}}::hf401cf5ff501bd29
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   39:     0x56202d022f42 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h160022e94ce3b0bb
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   40:     0x56202d202fff - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hf234e0d1d1d272ba
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   41:     0x56202d202fff - std::sys::thread::unix::Thread::new::thread_start::h106a295241840d3b
[INFO] [stdout]                                at /rustc/9b1f8ff42d110b0ca138116745be921df5dc97e7/library/std/src/sys/thread/unix.rs:127:17
[INFO] [stdout]   42:     0x7546d0c04aa4 - <unknown>
[INFO] [stdout]   43:     0x7546d0c91a64 - clone
[INFO] [stdout]   44:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     prop_transpilation_deterministic
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 10 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 28.82s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test double_free_property_tests`
[INFO] running `Command { std: "docker" "inspect" "92ef8a411265b1426afe3cd7a2a50d62f09bb42bbfa4b1909586f3e40568cc53", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "92ef8a411265b1426afe3cd7a2a50d62f09bb42bbfa4b1909586f3e40568cc53", kill_on_drop: false }`
[INFO] [stdout] 92ef8a411265b1426afe3cd7a2a50d62f09bb42bbfa4b1909586f3e40568cc53
