[INFO] fetching crate libpetri-verification 1.5.0...
[INFO] testing libpetri-verification-1.5.0 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-1
[INFO] extracting crate libpetri-verification 1.5.0 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate libpetri-verification 1.5.0
[INFO] finished tweaking crates.io crate libpetri-verification 1.5.0
[INFO] tweaked toml for crates.io crate libpetri-verification 1.5.0 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate libpetri-verification 1.5.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 libpetri-verification 1.5.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]     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-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 02954c018198d35eb34f5779f240e11b30c6c2ee2477f01ac23847cce848ed89
[INFO] running `Command { std: "docker" "start" "-a" "02954c018198d35eb34f5779f240e11b30c6c2ee2477f01ac23847cce848ed89", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "02954c018198d35eb34f5779f240e11b30c6c2ee2477f01ac23847cce848ed89", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "02954c018198d35eb34f5779f240e11b30c6c2ee2477f01ac23847cce848ed89", kill_on_drop: false }`
[INFO] [stdout] 02954c018198d35eb34f5779f240e11b30c6c2ee2477f01ac23847cce848ed89
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] fc72f16f3ed214ea6818efc7790c115664cdeae13fe9c29f66fbdc28cb9041a0
[INFO] running `Command { std: "docker" "start" "-a" "fc72f16f3ed214ea6818efc7790c115664cdeae13fe9c29f66fbdc28cb9041a0", kill_on_drop: false }`
[INFO] [stderr]    Compiling libpetri-core v1.5.0
[INFO] [stderr]    Compiling libpetri-export v1.5.0
[INFO] [stderr]    Compiling libpetri-docgen v1.5.0
[INFO] [stderr]    Compiling libpetri-verification v1.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.86s
[INFO] running `Command { std: "docker" "inspect" "fc72f16f3ed214ea6818efc7790c115664cdeae13fe9c29f66fbdc28cb9041a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fc72f16f3ed214ea6818efc7790c115664cdeae13fe9c29f66fbdc28cb9041a0", kill_on_drop: false }`
[INFO] [stdout] fc72f16f3ed214ea6818efc7790c115664cdeae13fe9c29f66fbdc28cb9041a0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 43617dd8138a113a5a15aa977954d0168f45f61275a1cab9f991388c4d704609
[INFO] running `Command { std: "docker" "start" "-a" "43617dd8138a113a5a15aa977954d0168f45f61275a1cab9f991388c4d704609", kill_on_drop: false }`
[INFO] [stderr]    Compiling libpetri-verification v1.5.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.60s
[INFO] running `Command { std: "docker" "inspect" "43617dd8138a113a5a15aa977954d0168f45f61275a1cab9f991388c4d704609", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "43617dd8138a113a5a15aa977954d0168f45f61275a1cab9f991388c4d704609", kill_on_drop: false }`
[INFO] [stdout] 43617dd8138a113a5a15aa977954d0168f45f61275a1cab9f991388c4d704609
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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] 692073fa1feb313c6af998e99cc97b7323f45a27dc04c7a94f8658353354600d
[INFO] running `Command { std: "docker" "start" "-a" "692073fa1feb313c6af998e99cc97b7323f45a27dc04c7a94f8658353354600d", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/libpetri_verification-a14a8ec41447edb6)
[INFO] [stdout] 
[INFO] [stdout] running 79 tests
[INFO] [stdout] test analyzer::tests::always_available_env_enables_transitions ... ok
[INFO] [stdout] test analyzer::tests::bounded_env_limits_tokens ... ok
[INFO] [stdout] test analyzer::tests::comprehensive_report ... ok
[INFO] [stdout] test analyzer::tests::goal_liveness_circular_net ... ok
[INFO] [stdout] test analyzer::tests::goal_liveness_violation_dead_end ... ok
[INFO] [stdout] test analyzer::tests::l4_violation_dead_end ... ok
[INFO] [stdout] test analyzer::tests::no_xor_report ... ok
[INFO] [stdout] test analyzer::tests::ignore_env_treats_as_regular ... ok
[INFO] [stdout] test analyzer::tests::xor_branch_analysis ... ok
[INFO] [stdout] test analyzer::tests::xor_report_generation ... ok
[INFO] [stdout] test analyzer::tests::l4_liveness_circular_net ... ok
[INFO] [stdout] test counterexample::tests::empty_trace ... ok
[INFO] [stdout] test dbm::tests::dbm_bounds ... ok
[INFO] [stdout] test dbm::tests::dbm_can_fire ... ok
[INFO] [stdout] test dbm::tests::dbm_canonicalize ... ok
[INFO] [stdout] test dbm::tests::dbm_create_with_bounds ... ok
[INFO] [stdout] test dbm::tests::dbm_canonical_string ... ok
[INFO] [stdout] test dbm::tests::dbm_empty_dbm ... ok
[INFO] [stdout] test dbm::tests::dbm_empty_equality ... ok
[INFO] [stdout] test dbm::tests::dbm_equality ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_persistent_bounds_adjusted ... ok
[INFO] [stdout] test dbm::tests::dbm_empty ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_transition ... ok
[INFO] [stdout] test dbm::tests::dbm_infeasible_constraints_produce_empty ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_replaces_fired_clock ... ok
[INFO] [stdout] test dbm::tests::dbm_let_time_pass_preserves_upper ... ok
[INFO] [stdout] test dbm::tests::dbm_lower_bound_out_of_range ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_with_newly_enabled ... ok
[INFO] [stdout] test marking_state::tests::canonical_key_deterministic ... ok
[INFO] [stdout] test marking_state::tests::empty_marking ... ok
[INFO] [stdout] test dbm::tests::dbm_multiple_clocks_inter_constraints ... ok
[INFO] [stdout] test dbm::tests::dbm_let_time_pass ... ok
[INFO] [stdout] test dbm::tests::dbm_equality_with_different_names ... ok
[INFO] [stdout] test dbm::tests::dbm_inequality ... ok
[INFO] [stdout] test dbm::tests::dbm_new ... ok
[INFO] [stdout] test incidence_matrix::tests::transposed_dimensions ... ok
[INFO] [stdout] test marking_state::tests::add_tokens_accumulates ... ok
[INFO] [stdout] test environment::tests::mode_constructors ... ok
[INFO] [stdout] test marking_state::tests::equality ... ok
[INFO] [stdout] test marking_state::tests::inequality_different_count ... ok
[INFO] [stdout] test incidence_matrix::tests::simple_chain_matrix ... ok
[INFO] [stdout] test marking_state::tests::marking_state_basics ... ok
[INFO] [stdout] test net_flattener::tests::flatten_simple ... ok
[INFO] [stdout] test net_flattener::tests::flatten_xor_expands ... ok
[INFO] [stdout] test p_invariant::tests::cycle_invariant ... ok
[INFO] [stdout] test property::tests::property_descriptions ... ok
[INFO] [stdout] test p_invariant::tests::is_covered ... ok
[INFO] [stdout] test p_invariant::tests::simple_chain_invariant ... ok
[INFO] [stdout] test scc::tests::empty_graph ... ok
[INFO] [stdout] test scc::tests::linear_chain ... ok
[INFO] [stdout] test p_invariant::tests::no_output_transition_no_invariant ... ok
[INFO] [stdout] test scc::tests::multiple_sccs ... ok
[INFO] [stdout] test scc::tests::simple_cycle ... ok
[INFO] [stdout] test scc::tests::all_terminal_when_isolated ... ok
[INFO] [stdout] test scc::tests::single_node ... ok
[INFO] [stdout] test scc::tests::terminal_sccs ... ok
[INFO] [stdout] test state_class::tests::state_class_basic ... ok
[INFO] [stdout] test state_class::tests::state_class_canonical_key ... ok
[INFO] [stdout] test marking_state::tests::zero_count_filtered ... ok
[INFO] [stdout] test state_class::tests::state_class_equality ... ok
[INFO] [stdout] test state_class_graph::tests::branch_edges_for_xor ... ok
[INFO] [stdout] test state_class_graph::tests::build_cycle ... ok
[INFO] [stdout] test state_class_graph::tests::build_env_always_available ... ok
[INFO] [stdout] test state_class_graph::tests::build_no_enabled_transitions ... ok
[INFO] [stdout] test state_class_graph::tests::build_concurrent_transitions ... ok
[INFO] [stdout] test state_class_graph::tests::build_fork_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_truncated ... ok
[INFO] [stdout] test state_class_graph::tests::build_simple_chain ... ok
[INFO] [stdout] test state_class_graph::tests::build_xor_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_with_timing_constraints ... ok
[INFO] [stdout] test state_class_graph::tests::build_inhibitor_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_env_always_available_cycles ... ok
[INFO] [stdout] test state_class_graph::tests::enabled_transitions_returns_names ... ok
[INFO] [stdout] test state_class_graph::tests::predecessors_and_successors ... ok
[INFO] [stdout] test structural_check::tests::cycle_no_deadlock ... ok
[INFO] [stdout] test structural_check::tests::potential_deadlock_detected ... ok
[INFO] [stdout] test structural_check::tests::simple_chain_potential_deadlock ... ok
[INFO] [stdout] test state_class_graph::tests::edge_count_matches_edges ... ok
[INFO] [stdout] test analyzer::tests::builder_requires_goal_places - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 79 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests libpetri_verification
[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" "692073fa1feb313c6af998e99cc97b7323f45a27dc04c7a94f8658353354600d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "692073fa1feb313c6af998e99cc97b7323f45a27dc04c7a94f8658353354600d", kill_on_drop: false }`
[INFO] [stdout] 692073fa1feb313c6af998e99cc97b7323f45a27dc04c7a94f8658353354600d