[INFO] fetching crate depyler-verify 3.22.0...
[INFO] testing depyler-verify-3.22.0 against beta-2026-01-20 for beta-1.94-1
[INFO] extracting crate depyler-verify 3.22.0 into /workspace/builds/worker-4-tc2/source
[INFO] started tweaking crates.io crate depyler-verify 3.22.0
[INFO] finished tweaking crates.io crate depyler-verify 3.22.0
[INFO] tweaked toml for crates.io crate depyler-verify 3.22.0 written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate depyler-verify 3.22.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 depyler-verify 3.22.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-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 3178e3767bc1d1ec990354afb67e75a82665b6f18fb489eb09b525b28816dce3
[INFO] running `Command { std: "docker" "start" "-a" "3178e3767bc1d1ec990354afb67e75a82665b6f18fb489eb09b525b28816dce3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3178e3767bc1d1ec990354afb67e75a82665b6f18fb489eb09b525b28816dce3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3178e3767bc1d1ec990354afb67e75a82665b6f18fb489eb09b525b28816dce3", kill_on_drop: false }`
[INFO] [stdout] 3178e3767bc1d1ec990354afb67e75a82665b6f18fb489eb09b525b28816dce3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] d69edcce65dc02f8c432d391f2916bd72e08524f276c19f706ed25c131f73b39
[INFO] running `Command { std: "docker" "start" "-a" "d69edcce65dc02f8c432d391f2916bd72e08524f276c19f706ed25c131f73b39", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.105
[INFO] [stderr]    Compiling libc v0.2.179
[INFO] [stderr]    Compiling unicode-ident v1.0.22
[INFO] [stderr]    Compiling zerocopy v0.8.31
[INFO] [stderr]    Compiling siphasher v1.0.1
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling quote v1.0.43
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling unic-char-range v0.9.0
[INFO] [stderr]    Compiling unic-common v0.9.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rustpython-parser-vendored v0.4.0
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling hashbrown v0.15.5
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling unic-char-property v0.9.0
[INFO] [stderr]    Compiling unic-ucd-version v0.9.0
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling toml_write v0.1.2
[INFO] [stderr]    Compiling bitflags v2.9.4
[INFO] [stderr]    Compiling phf v0.11.3
[INFO] [stderr]    Compiling serde_json v1.0.143
[INFO] [stderr]    Compiling getopts v0.2.24
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling unic-emoji-char v0.9.0
[INFO] [stderr]    Compiling unic-ucd-ident v0.9.0
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling colored v2.2.0
[INFO] [stderr]    Compiling syn v2.0.113
[INFO] [stderr]    Compiling indexmap v2.11.1
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling quickcheck v1.0.3
[INFO] [stderr]    Compiling phf_generator v0.11.3
[INFO] [stderr]    Compiling phf_codegen v0.11.3
[INFO] [stderr]    Compiling unicode_names2_generator v1.3.0
[INFO] [stderr]    Compiling rustpython-parser v0.4.0
[INFO] [stderr]    Compiling unicode_names2 v1.3.0
[INFO] [stderr]    Compiling serde_derive v1.0.219
[INFO] [stderr]    Compiling is-macro v0.3.7
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling tracing-attributes v0.1.31
[INFO] [stderr]    Compiling rustpython-parser-core v0.4.0
[INFO] [stderr]    Compiling rustpython-ast v0.4.0
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling tracing v0.1.44
[INFO] [stderr]    Compiling serde_spanned v0.6.9
[INFO] [stderr]    Compiling toml_datetime v0.6.11
[INFO] [stderr]    Compiling depyler-annotations v3.22.0
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling toml_edit v0.22.27
[INFO] [stderr]    Compiling toml v0.8.23
[INFO] [stderr]    Compiling depyler-core v3.22.0
[INFO] [stderr]    Compiling depyler-verify v3.22.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 20s
[INFO] running `Command { std: "docker" "inspect" "d69edcce65dc02f8c432d391f2916bd72e08524f276c19f706ed25c131f73b39", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d69edcce65dc02f8c432d391f2916bd72e08524f276c19f706ed25c131f73b39", kill_on_drop: false }`
[INFO] [stdout] d69edcce65dc02f8c432d391f2916bd72e08524f276c19f706ed25c131f73b39
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] b03700363d04ac41cd9054720e261c5356574de7efee99e050a40c1cde4ab3ea
[INFO] running `Command { std: "docker" "start" "-a" "b03700363d04ac41cd9054720e261c5356574de7efee99e050a40c1cde4ab3ea", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.179
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling console v0.15.11
[INFO] [stderr]    Compiling similar v2.7.0
[INFO] [stderr]    Compiling quickcheck_macros v1.1.0
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling insta v1.46.0
[INFO] [stderr]    Compiling quickcheck v1.0.3
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling phf_generator v0.11.3
[INFO] [stderr]    Compiling phf_codegen v0.11.3
[INFO] [stderr]    Compiling unicode_names2_generator v1.3.0
[INFO] [stderr]    Compiling rustpython-parser v0.4.0
[INFO] [stderr]    Compiling unicode_names2 v1.3.0
[INFO] [stderr]    Compiling depyler-core v3.22.0
[INFO] [stderr]    Compiling depyler-verify v3.22.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 57.19s
[INFO] running `Command { std: "docker" "inspect" "b03700363d04ac41cd9054720e261c5356574de7efee99e050a40c1cde4ab3ea", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b03700363d04ac41cd9054720e261c5356574de7efee99e050a40c1cde4ab3ea", kill_on_drop: false }`
[INFO] [stdout] b03700363d04ac41cd9054720e261c5356574de7efee99e050a40c1cde4ab3ea
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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] 90e8d17547eca2b0633baaef42f9dcdecd238349e0ac8188a2b569318404f0eb
[INFO] running `Command { std: "docker" "start" "-a" "90e8d17547eca2b0633baaef42f9dcdecd238349e0ac8188a2b569318404f0eb", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.18s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/depyler_verify-a2441293e8fd92e9)
[INFO] [stdout] 
[INFO] [stdout] running 308 tests
[INFO] [stdout] test contract_verification::tests::test_contract_inheritance ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_refinement_clone ... ok
[INFO] [stdout] test contract_verification::tests::test_compare_op_parsing ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_inheritance_lsp_missing_base ... ok
[INFO] [stdout] test contract_verification::tests::test_compare_op_serialization ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_refinement ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_violation ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_refinement_creation ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_violation_clone ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_checker_add ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_checker_add_func_scope_invariant ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_checker_new ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_violation_serialization ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_creation ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_scope ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_checker_add_rule ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_generate_runtime_assertions ... ok
[INFO] [stdout] test contract_verification::tests::test_postcondition_parser ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_scope_clone ... ok
[INFO] [stdout] test contract_verification::tests::test_parse_value_float_negative ... ok
[INFO] [stdout] test contract_verification::tests::test_parse_value_negative ... ok
[INFO] [stdout] test contract_verification::tests::test_postcondition_generate_checks ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_suggest_fix_compare ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_rule_clone ... ok
[INFO] [stdout] test contract_verification::tests::test_postcondition_side_effect_tracking ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_suggest_fix_in_bounds ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_suggest_fix_default ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_suggest_fix_not_null ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_compare_variations ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_has_type ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_implies ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_in_bounds ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_in_operator ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_rule ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_checker_generate_checks ... ok
[INFO] [stdout] test contract_verification::tests::test_precondition_parser ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_custom ... ok
[INFO] [stdout] test contract_verification::tests::test_postcondition_parse_result_predicate ... ok
[INFO] [stdout] test contract_verification::tests::test_contract_inheritance_get_nonexistent ... ok
[INFO] [stdout] test contract_verification::tests::test_postcondition_side_effects ... ok
[INFO] [stdout] test contract_verification::tests::test_postcondition_verifier_new ... ok
[INFO] [stdout] test contract_verification::tests::test_invariant_clone ... ok
[INFO] [stdout] test contract_verification::tests::test_side_effect_debug ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_not_in ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_logical_operators ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_quantifiers ... ok
[INFO] [stdout] test contract_verification::tests::test_var_state ... ok
[INFO] [stdout] test contract_verification::tests::test_value_parsing ... ok
[INFO] [stdout] test contract_verification::tests::test_value_serialization ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_serialization ... ok
[INFO] [stdout] test contract_verification::tests::test_verification_result_serialization ... ok
[INFO] [stdout] test contract_verification::tests::test_verification_result ... ok
[INFO] [stdout] test contract_verification::tests::test_predicate_to_assertion ... ok
[INFO] [stdout] test contracts::tests::test_check_contract_violations_with_index ... ok
[INFO] [stdout] test contracts::tests::test_check_contract_violations_with_nested_expressions ... ok
[INFO] [stdout] test contracts::tests::test_check_expr_contracts_call ... ok
[INFO] [stdout] test contract_verification::tests::test_side_effect_clone ... ok
[INFO] [stdout] test contracts::tests::test_check_stmt_contracts_while ... ok
[INFO] [stdout] test contracts::tests::test_check_stmt_contracts_for ... ok
[INFO] [stdout] test contracts::tests::test_condition_creation ... ok
[INFO] [stdout] test contracts::tests::test_check_contract_violations_with_control_flow ... ok
[INFO] [stdout] test contracts::tests::test_contract_clone ... ok
[INFO] [stdout] test contract_verification::tests::test_value_formatting ... ok
[INFO] [stdout] test contracts::tests::test_condition_clone ... ok
[INFO] [stdout] test contracts::tests::test_check_expr_contracts_attribute ... ok
[INFO] [stdout] test contracts::tests::test_contract_serialization ... ok
[INFO] [stdout] test contracts::tests::test_contract_with_function_annotations ... ok
[INFO] [stdout] test contracts::tests::test_contract_creation ... ok
[INFO] [stdout] test contract_verification::tests::test_violation_kinds ... ok
[INFO] [stdout] test contract_verification::tests::test_smt_solver_type ... ok
[INFO] [stdout] test contracts::tests::test_extract_contracts_with_list_param ... ok
[INFO] [stdout] test contracts::tests::test_extract_contracts_with_all_properties ... ok
[INFO] [stdout] test contracts::tests::test_extract_contracts_with_int_param ... ok
[INFO] [stdout] test contracts::tests::test_extract_contracts_with_optional_return ... ok
[INFO] [stdout] test contract_verification::tests::test_var_state_clone ... ok
[INFO] [stdout] test contracts::tests::test_extract_contracts_with_panic_free_property ... ok
[INFO] [stdout] test contracts::tests::test_extract_contracts_with_termination_property ... ok
[INFO] [stdout] test contracts::tests::test_extract_docstring_contracts ... ok
[INFO] [stdout] test contract_verification::tests::test_simple_predicate_parsing ... ok
[INFO] [stdout] test contracts::tests::test_generate_advanced_contract_checks ... ok
[INFO] [stdout] test contracts::tests::test_check_contract_violations_no_violations ... ok
[INFO] [stdout] test contracts::tests::test_extract_contracts_with_list_return ... ok
[INFO] [stdout] test contracts::tests::test_check_if_contracts_with_else ... ok
[INFO] [stdout] test contracts::tests::test_generate_contract_checks ... ok
[INFO] [stdout] test contracts::tests::test_generate_contract_checks_empty ... ok
[INFO] [stdout] test contracts::tests::test_generate_function_with_contract_checks ... ok
[INFO] [stdout] test contracts::tests::test_generate_function_with_contracts ... ok
[INFO] [stdout] test contracts::tests::test_generate_function_with_empty_contract ... ok
[INFO] [stdout] test contracts::tests::test_generate_function_without_runtime_checks ... ok
[INFO] [stdout] test contracts::tests::test_parse_docstring_empty ... ok
[INFO] [stdout] test contracts::tests::test_parse_docstring_empty_annotation ... ok
[INFO] [stdout] test contracts::tests::test_parse_docstring_no_annotations ... ok
[INFO] [stdout] test contracts::tests::test_postcondition_check_no_result ... ok
[INFO] [stdout] test contracts::tests::test_postcondition_check_result ... ok
[INFO] [stdout] test contracts::tests::test_precondition_check_self_replacement ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_array ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_custom_types ... ok
[INFO] [stdout] test contracts::tests::test_precondition_check_not_none ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_dict ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_generic ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_list ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_set ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_optional ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_tuple ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_simple_types ... ok
[INFO] [stdout] test contracts::tests::test_verify_contracts ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_union ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_attribute_access ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_all_violation_kinds ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_binary_expr ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_assign_to_index ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_call_with_var_arg ... ok
[INFO] [stdout] test contracts::tests::test_type_to_rust_string_function ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_break_stmt ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_call_len_no_escape ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_expr_pass_stmt ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_function_with_param ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_if_statement ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_continue_stmt ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_literal_expr ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_return_none ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_while_loop ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_while_with_borrows ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_method_call ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyzer_default ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_mutating_call ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_mutating_method ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_simple_function ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_index_expr ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_if_no_else ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_call_print_no_escape ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_for_with_index_target ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_analyze_for_loop_tuple_target ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_borrow_kind_clone ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_borrow_kind_equality ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_borrow_kind_debug ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_borrow_set_clone ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_dangling_reference_detection ... ignored, Lifetime analysis not fully implemented yet
[INFO] [stdout] test lifetime_analysis::tests::test_conflicting_borrows ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_is_mutating_method ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_borrow_shared ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_analyzer_new ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_clone ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_constraint_clone ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_constraint_debug ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_equality ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_violation_clone ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_debug ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_violation_fields ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_modifies_collection_detection ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_modifies_collection_clear ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_modifies_collection_insert ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_nested_scopes ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_violation_kind_debug ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_violation_kind_equality ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_modifies_collection_pop ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_lifetime_violation_debug ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_modifies_collection_remove ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_violation_kind_clone ... ok
[INFO] [stdout] test lifetime_shim::tests::test_borrow_state_can_borrow_shared ... ok
[INFO] [stdout] test lifetime_shim::tests::test_is_mutating_method ... ok
[INFO] [stdout] test lifetime_shim::tests::test_borrows_conflict ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_borrow_set_debug ... ok
[INFO] [stdout] test lifetime_shim::tests::test_loop_borrow_analysis_add_mutation ... ok
[INFO] [stdout] test lifetime_shim::tests::test_loop_borrow_analysis_add_borrow ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_iterator_invalidation ... ok
[INFO] [stdout] test lifetime_shim::tests::test_borrow_state_add_shared ... ok
[INFO] [stdout] test lifetime_shim::tests::test_borrow_state_can_borrow_mutable ... ok
[INFO] [stdout] test lifetime_shim::tests::test_borrow_state_release_shared ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_borrow_mutable ... ok
[INFO] [stdout] test lifetime_analysis::tests::test_multiple_params ... ok
[INFO] [stdout] test lifetime_shim::tests::test_loop_borrow_analysis_default ... ok
[INFO] [stdout] test lifetime_shim::tests::test_loop_borrow_analysis_new ... ok
[INFO] [stdout] test lifetime_shim::tests::test_move_tracker_copy_types ... ok
[INFO] [stdout] test lifetime_shim::tests::test_move_tracker_mark_moved ... ok
[INFO] [stdout] test lifetime_shim::tests::test_borrow_state_release_from_unborrowed ... ok
[INFO] [stdout] test contracts::tests::test_generate_function_with_old_values ... ok
[INFO] [stdout] test lifetime_shim::tests::test_check_reference_escape ... ok
[INFO] [stdout] test lifetime_shim::tests::test_loop_borrow_analysis_no_invalidations ... ok
[INFO] [stdout] test lifetime_shim::tests::test_scope_tracker_enter_exit ... ok
[INFO] [stdout] test lifetime_shim::tests::test_loop_borrow_analysis_check_invalidations ... ok
[INFO] [stdout] test lifetime_shim::tests::test_move_tracker_new ... ok
[INFO] [stdout] test lifetime_shim::tests::test_move_tracker_copy_types_no_move ... ok
[INFO] [stdout] test lifetime_shim::tests::test_move_tracker_reassign ... ok
[INFO] [stdout] test lifetime_shim::tests::test_violation_type_is_critical ... ok
[INFO] [stdout] test lifetime_shim::tests::test_violation_type_suggestion ... ok
[INFO] [stdout] test memory_safety::tests::test_analyze_for ... ok
[INFO] [stdout] test memory_safety::tests::test_all_violation_types ... ok
[INFO] [stdout] test lifetime_shim::tests::test_move_tracker_register_copy_type ... ok
[INFO] [stdout] test lifetime_shim::tests::test_scope_tracker_exit_removes_vars ... ok
[INFO] [stdout] test memory_safety::tests::test_analyze_for_tuple_target ... ok
[INFO] [stdout] test memory_safety::tests::test_analyze_if ... ok
[INFO] [stdout] test lifetime_shim::tests::test_scope_tracker_register_variable ... ok
[INFO] [stdout] test lifetime_shim::tests::test_scope_tracker_variable_depth ... ok
[INFO] [stdout] test lifetime_shim::tests::test_violation_type_description ... ok
[INFO] [stdout] test memory_safety::tests::test_analyzer_default ... ok
[INFO] [stdout] test memory_safety::tests::test_analyzer_new ... ok
[INFO] [stdout] test lifetime_shim::tests::test_violation_type_severity ... ok
[INFO] [stdout] test memory_safety::tests::test_analyze_function_with_thread_safety ... ok
[INFO] [stdout] test memory_safety::tests::test_analyze_while ... ok
[INFO] [stdout] test memory_safety::tests::test_check_binary_moves ... ok
[INFO] [stdout] test memory_safety::tests::test_check_expr_moves_attribute ... ok
[INFO] [stdout] test memory_safety::tests::test_check_expr_moves_call ... ok
[INFO] [stdout] test memory_safety::tests::test_check_data_races_empty ... ok
[INFO] [stdout] test memory_safety::tests::test_check_expr_moves_unary ... ok
[INFO] [stdout] test memory_safety::tests::test_check_index_moves ... ok
[INFO] [stdout] test memory_safety::tests::test_check_expr_null_safety_non_null ... ok
[INFO] [stdout] test memory_safety::tests::test_check_null_safety_empty ... ok
[INFO] [stdout] test memory_safety::tests::test_check_null_safety_with_return ... ok
[INFO] [stdout] test memory_safety::tests::test_check_stmt_null_safety_assign ... ok
[INFO] [stdout] test memory_safety::tests::test_check_stmt_null_safety_expr ... ok
[INFO] [stdout] test lifetime_shim::tests::test_scope_tracker_new ... ok
[INFO] [stdout] test memory_safety::tests::test_check_call_moves ... ok
[INFO] [stdout] test memory_safety::tests::test_cleanup_scope ... ok
[INFO] [stdout] test memory_safety::tests::test_check_var_move_not_moved ... ok
[INFO] [stdout] test memory_safety::tests::test_handle_expr_moves_attribute ... ok
[INFO] [stdout] test memory_safety::tests::test_handle_expr_moves_borrowed ... ok
[INFO] [stdout] test memory_safety::tests::test_handle_expr_moves_tuple ... ok
[INFO] [stdout] test memory_safety::tests::test_infer_type ... ok
[INFO] [stdout] test memory_safety::tests::test_is_copy_type ... ok
[INFO] [stdout] test memory_safety::tests::test_could_be_null ... ok
[INFO] [stdout] test memory_safety::tests::test_handle_expr_moves_list ... ok
[INFO] [stdout] test memory_safety::tests::test_is_shared_mutable ... ok
[INFO] [stdout] test memory_safety::tests::test_is_unsafe_index ... ok
[INFO] [stdout] test memory_safety::tests::test_memory_safety_violation_debug ... ok
[INFO] [stdout] test memory_safety::tests::test_safe_assignment ... ok
[INFO] [stdout] test memory_safety::tests::test_use_after_move ... ok
[INFO] [stdout] test memory_shim::tests::test_allocation_tracker_allocate ... ok
[INFO] [stdout] test memory_shim::tests::test_allocation_tracker_free_not_allocated ... ok
[INFO] [stdout] test memory_safety::tests::test_violations_to_test_cases ... ok
[INFO] [stdout] test memory_shim::tests::test_allocation_tracker_new ... ok
[INFO] [stdout] test memory_shim::tests::test_allocation_tracker_free ... ok
[INFO] [stdout] test memory_shim::tests::test_bounds_checker_default ... ok
[INFO] [stdout] test memory_shim::tests::test_bounds_checker_new ... ok
[INFO] [stdout] test memory_shim::tests::test_allocation_tracker_reallocate ... ok
[INFO] [stdout] test memory_shim::tests::test_bounds_checker_underflow ... ok
[INFO] [stdout] test memory_shim::tests::test_data_race_detector_clear ... ok
[INFO] [stdout] test memory_shim::tests::test_allocation_tracker_stack_frame ... ok
[INFO] [stdout] test memory_safety::tests::test_null_pointer_check ... ok
[INFO] [stdout] test memory_shim::tests::test_bounds_checker_overflow ... ok
[INFO] [stdout] test memory_safety::tests::test_register_variable_removes_moved ... ok
[INFO] [stdout] test memory_shim::tests::test_bounds_checker_register_array ... ok
[INFO] [stdout] test memory_shim::tests::test_data_race_detector_new ... ok
[INFO] [stdout] test memory_shim::tests::test_data_race_detector_no_race_reads ... ok
[INFO] [stdout] test memory_shim::tests::test_allocation_tracker_use_after_free ... ok
[INFO] [stdout] test memory_shim::tests::test_data_race_detector_race_read_write ... ok
[INFO] [stdout] test memory_safety::tests::test_memory_safe_function ... ok
[INFO] [stdout] test memory_shim::tests::test_bounds_checker_valid_index ... ok
[INFO] [stdout] test memory_shim::tests::test_data_race_detector_race_write_write ... ok
[INFO] [stdout] test memory_shim::tests::test_initialization_tracker_check_access_init ... ok
[INFO] [stdout] test memory_shim::tests::test_initialization_tracker_check_access_uninit ... ok
[INFO] [stdout] test memory_shim::tests::test_initialization_tracker_new ... ok
[INFO] [stdout] test memory_shim::tests::test_initialization_tracker_field ... ok
[INFO] [stdout] test memory_shim::tests::test_is_safe_pointer_op ... ok
[INFO] [stdout] test memory_shim::tests::test_initialization_tracker_initialize ... ok
[INFO] [stdout] test memory_shim::tests::test_memory_violation_severity ... ok
[INFO] [stdout] test memory_shim::tests::test_memory_violation_is_exploitable ... ok
[INFO] [stdout] test memory_shim::tests::test_memory_violation_description ... ok
[INFO] [stdout] test memory_shim::tests::test_null_checker_dereference_unsafe ... ok
[INFO] [stdout] test memory_shim::tests::test_null_checker_mark_checked ... ok
[INFO] [stdout] test memory_shim::tests::test_null_checker_dereference_safe ... ok
[INFO] [stdout] test memory_shim::tests::test_null_checker_new ... ok
[INFO] [stdout] test memory_shim::tests::test_null_checker_mark_nullable ... ok
[INFO] [stdout] test memory_shim::tests::test_is_copy_type ... ok
[INFO] [stdout] test memory_shim::tests::test_null_checker_unmark_checked ... ok
[INFO] [stdout] test memory_shim::tests::test_memory_violation_cwe_id ... ok
[INFO] [stdout] test properties::tests::test_generate_bounds_property_test ... ok
[INFO] [stdout] test properties::tests::test_generate_numeric_property_test ... ok
[INFO] [stdout] test properties::tests::test_generate_quickcheck_tests_basic ... ok
[INFO] [stdout] test properties::tests::test_generate_quickcheck_complex_function ... ok
[INFO] [stdout] test properties::tests::test_generate_termination_test ... ok
[INFO] [stdout] test properties::tests::test_has_numeric_types ... ok
[INFO] [stdout] test properties::tests::test_type_to_rust_string ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_float ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_int ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_none ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_bool ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_optional_some ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_list ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_dict ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_unknown ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_string ... ok
[INFO] [stdout] test properties::tests::test_generate_quickcheck_tests_no_properties ... ok
[INFO] [stdout] test properties::tests::test_has_container_params ... ok
[INFO] [stdout] test quickcheck::tests::test_dict_with_int_keys ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_empty_array ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_empty_string ... ok
[INFO] [stdout] test properties::tests::test_generate_quickcheck_tests_with_containers ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_float ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_integer ... ok
[INFO] [stdout] test properties::tests::test_generate_quickcheck_tests_with_termination ... ok
[INFO] [stdout] test quickcheck::tests::test_arbitrary_for_type_tuple ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_negative_integer ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_array ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_single_element_array ... ok
[INFO] [stdout] test quickcheck::tests::test_nested_type_generation ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_string ... ok
[INFO] [stdout] test tests::test_memory_safety_verification ... ok
[INFO] [stdout] test tests::test_property_verifier_creation ... ok
[INFO] [stdout] test tests::test_property_status_serialization ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_unsupported_types ... ok
[INFO] [stdout] test tests::test_verification_result_creation ... ok
[INFO] [stdout] test tests::test_verify_pure_function ... ok
[INFO] [stdout] test tests::test_type_preservation_verification ... ok
[INFO] [stdout] test quickcheck::tests::test_shrink_value_zero ... ok
[INFO] [stdout] test tests::test_with_iterations ... ok
[INFO] [stdout] test quickcheck::tests::test_typed_value_creation ... ok
[INFO] [stdout] test tests::test_verify_thread_safe_function ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 307 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests depyler_verify
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test src/lib.rs - examples (line 414) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.67s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "90e8d17547eca2b0633baaef42f9dcdecd238349e0ac8188a2b569318404f0eb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "90e8d17547eca2b0633baaef42f9dcdecd238349e0ac8188a2b569318404f0eb", kill_on_drop: false }`
[INFO] [stdout] 90e8d17547eca2b0633baaef42f9dcdecd238349e0ac8188a2b569318404f0eb
