[INFO] fetching crate duvet-coverage 0.4.3...
[INFO] testing duvet-coverage-0.4.3 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate duvet-coverage 0.4.3 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate duvet-coverage 0.4.3
[INFO] finished tweaking crates.io crate duvet-coverage 0.4.3
[INFO] tweaked toml for crates.io crate duvet-coverage 0.4.3 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate duvet-coverage 0.4.3 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate duvet-coverage 0.4.3 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" "+1.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded verus_state_machines_macros v0.0.0-2026-05-24-0157
[INFO] [stderr]   Downloaded bolero v0.13.4
[INFO] [stderr]   Downloaded pretty-hex v0.4.1
[INFO] [stderr]   Downloaded bolero-generator-derive v0.13.4
[INFO] [stderr]   Downloaded bolero-engine v0.13.4
[INFO] [stderr]   Downloaded verus_builtin v0.0.0-2026-05-17-0151
[INFO] [stderr]   Downloaded toml_datetime v0.6.9
[INFO] [stderr]   Downloaded bolero-kani v0.13.0
[INFO] [stderr]   Downloaded rand_xoshiro v0.7.0
[INFO] [stderr]   Downloaded proc-macro-crate v2.0.0
[INFO] [stderr]   Downloaded bolero-generator v0.13.5
[INFO] [stderr]   Downloaded bitflags v2.9.0
[INFO] [stderr]   Downloaded getrandom v0.3.2
[INFO] [stderr]   Downloaded verus_prettyplease v0.0.0-2026-05-24-0157
[INFO] [stderr]   Downloaded toml_edit v0.20.7
[INFO] [stderr]   Downloaded cc v1.2.20
[INFO] [stderr]   Downloaded bolero-afl v0.13.0
[INFO] [stderr]   Downloaded verus_builtin_macros v0.0.0-2026-05-24-0157
[INFO] [stderr]   Downloaded bolero-libfuzzer v0.13.0
[INFO] [stderr]   Downloaded vstd v0.0.0-2026-05-24-0157
[INFO] [stderr]   Downloaded verus_syn v0.0.0-2026-05-24-0157
[INFO] [stderr]   Downloaded bolero-honggfuzz v0.13.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,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" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f
[INFO] running `Command { std: "docker" "start" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling verus_prettyplease v0.0.0-2026-05-24-0157
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling verus_syn v0.0.0-2026-05-24-0157
[INFO] [stderr]    Compiling synstructure v0.13.2
[INFO] [stderr]    Compiling verus_builtin_macros v0.0.0-2026-05-24-0157
[INFO] [stderr]    Compiling duvet-coverage v0.4.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 17.13s
[INFO] running `Command { std: "docker" "inspect" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling getrandom v0.3.2
[INFO] [stderr]    Compiling zerocopy v0.8.25
[INFO] [stderr]    Compiling toml_datetime v0.6.9
[INFO] [stderr]    Compiling pretty-hex v0.4.1
[INFO] [stderr]    Compiling indexmap v2.14.0
[INFO] [stderr]    Compiling toml_edit v0.20.7
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling rand_xoshiro v0.7.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling proc-macro-crate v2.0.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling bolero-generator-derive v0.13.4
[INFO] [stderr]    Compiling rand v0.9.5
[INFO] [stderr]    Compiling bolero-generator v0.13.5
[INFO] [stderr]    Compiling bolero-engine v0.13.4
[INFO] [stderr]    Compiling bolero v0.13.4
[INFO] [stderr]    Compiling duvet-coverage v0.4.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 15.95s
[INFO] running `Command { std: "docker" "inspect" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-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" "-w" "/opt/rustwide/workdir" "--user" "0:0" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/duvet_coverage-e61720ba7911c21f)
[INFO] [stdout] 
[INFO] [stdout] running 63 tests
[INFO] [stdout] test annotation_execution::tests::example_6_3_cross_method ... ok
[INFO] [stdout] test annotation_execution::tests::example_6_7_unknown_blocks_target ... ok
[INFO] [stdout] test classify_postpass::tests::closing_brace_with_trailing_comment_regression ... ok
[INFO] [stdout] test annotation_execution::tests::dangling_annotation_is_structural ... ok
[INFO] [stdout] test annotation_execution::tests::example_6_2_interface ... ok
[INFO] [stdout] test annotation_execution::tests::example_6_4_var_decl_no_init ... ok
[INFO] [stdout] test classify_postpass::tests::none_entries_unchanged ... ok
[INFO] [stdout] test annotation_execution::tests::example_6_5_stacked ... ok
[INFO] [stdout] test annotation_execution::tests::not_executed_statement ... ok
[INFO] [stdout] test annotation_execution::tests::example_6_6_goto ... ok
[INFO] [stdout] test classify_postpass::tests::statement_stripped_from_comment_only_line ... ok
[INFO] [stdout] test degraded::tests::hit_on_nearest_line_is_executed ... ok
[INFO] [stdout] test degraded::tests::miss_on_nearest_line_is_not_executed ... ok
[INFO] [stdout] test classify_postpass::tests::statement_kept_on_code_start_line ... ok
[INFO] [stdout] test classify_postpass::tests::scope_close_preserved_on_comment_line ... ok
[INFO] [stdout] test degraded::tests::no_opinion_on_nearest_line_is_unknown ... ok
[INFO] [stdout] test degraded::tests::stacked_annotations_same_status ... ok
[INFO] [stdout] test execution_propagation::tests::stops_at_statement ... ok
[INFO] [stdout] test execution_propagation::tests::no_propagation_with_non_linear_control ... ok
[INFO] [stdout] test degraded::tests::eof_target_is_unknown_sentinel ... ok
[INFO] [stdout] test proofs::tests::executed_target_in_nlc_parent_is_reachable ... ok
[INFO] [stdout] test proofs::tests::executed_via_propagation_is_reachable ... ok
[INFO] [stdout] test proofs::tests::test_property_2_sibling_scopes ... ok
[INFO] [stdout] test proofs::tests::test_property_3_goto_scope ... ok
[INFO] [stdout] test proofs::tests::test_property_4_monotonicity ... ok
[INFO] [stdout] test proofs::tests::executed_survives_added_coverage ... ok
[INFO] [stdout] test execution_propagation::tests::propagates_backward_through_declaration ... ok
[INFO] [stdout] test execution_propagation::tests::scope_open_included_then_stop ... ok
[INFO] [stdout] test execution_propagation::tests::stops_at_scope_close ... ok
[INFO] [stdout] test execution_propagation::tests::stops_at_unknown ... ok
[INFO] [stdout] test scopes::tests::no_events_whole_file_scope ... ok
[INFO] [stdout] test scopes::tests::opens_on_one_line_closes_on_separate_lines_nest ... ok
[INFO] [stdout] test execution_propagation::tests::try_block_propagation_into_parent_scope ... ok
[INFO] [stdout] test classify_postpass::tests::scope_open_preserved_on_annotation_line ... ok
[INFO] [stdout] test proofs::tests::test_property_5_stacking ... ok
[INFO] [stdout] test proofs::tests::test_property_6_unknown_safety ... ok
[INFO] [stdout] test scopes::tests::balanced_multiscope_is_not_flagged ... ok
[INFO] [stdout] test scopes::tests::catch_creates_sibling_scopes ... ok
[INFO] [stdout] test scopes::tests::opens_on_separate_lines_closes_on_one_line_nest ... ok
[INFO] [stdout] test scopes::tests::parse_error_empty_stream_is_not_flagged ... ok
[INFO] [stdout] test scopes::tests::sibling_methods ... ok
[INFO] [stdout] test scopes::tests::four_level_nesting ... ok
[INFO] [stdout] test scopes::tests::simple_method_in_class ... ok
[INFO] [stdout] test scopes::tests::genuine_whole_file_single_scope_is_not_flagged ... ok
[INFO] [stdout] test scopes::tests::stray_close_is_flagged_and_tree_collapses ... ok
[INFO] [stdout] test scopes::tests::compound_close_open_close_one_line_pairs_faithfully ... ok
[INFO] [stdout] test target_resolution::tests::annotation_at_eof ... ok
[INFO] [stdout] test target_resolution::tests::annotation_before_closing_brace ... ok
[INFO] [stdout] test target_resolution::tests::annotation_before_declaration ... ok
[INFO] [stdout] test scopes::tests::unclosed_open_falls_back_to_whole_file ... ok
[INFO] [stdout] test types::tests::discriminant_matches_derived_ord ... ok
[INFO] [stdout] test target_resolution::tests::annotation_before_statement ... ok
[INFO] [stdout] test scopes::tests::unclosed_open_is_flagged_and_tree_collapses ... ok
[INFO] [stdout] test target_resolution::tests::annotation_before_method_sig ... ok
[INFO] [stdout] test target_resolution::tests::skips_whitespace_and_comments ... ok
[INFO] [stdout] test target_resolution::tests::annotation_before_unknown_line ... ok
[INFO] [stdout] test scopes::tests::identical_extent_scopes_are_deduped ... ok
[INFO] [stdout] test scopes::tests::no_delimiters_is_not_flagged ... ok
[INFO] [stdout] test target_resolution::tests::stacked_annotations_same_target ... ok
[INFO] [stdout] test scopes::tests::close_then_open_at_depth_zero_underflows ... ok
[INFO] [stdout] test scopes::tests::empty_file ... ok
[INFO] [stdout] test annotation_execution::tests::example_6_1_method_signature ... ok
[INFO] [stdout] test execution_propagation::tests::collect_hit_lines_matches_hit_oracle ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 63 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.01s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests duvet_coverage
[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" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f", kill_on_drop: false }`
[INFO] [stdout] 525f182a93114c183cec66f2ca40aea477f32ca932d1ba043da93d2442e3562f
