[INFO] fetching crate libpetri-verification 1.5.0...
[INFO] testing libpetri-verification-1.5.0 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-1
[INFO] extracting crate libpetri-verification 1.5.0 into /workspace/builds/worker-6-tc2/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-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate libpetri-verification 1.5.0 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] d7a3820af7bc6987c435b2b49dee573420e2b5392b335e931f64813d623df637
[INFO] running `Command { std: "docker" "start" "-a" "d7a3820af7bc6987c435b2b49dee573420e2b5392b335e931f64813d623df637", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "d7a3820af7bc6987c435b2b49dee573420e2b5392b335e931f64813d623df637", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d7a3820af7bc6987c435b2b49dee573420e2b5392b335e931f64813d623df637", kill_on_drop: false }`
[INFO] [stdout] d7a3820af7bc6987c435b2b49dee573420e2b5392b335e931f64813d623df637
[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=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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 78def0b3776cfbe1c11c5ffbb8ab44c56b114011bfc230417500b28b69d8ef23
[INFO] running `Command { std: "docker" "start" "-a" "78def0b3776cfbe1c11c5ffbb8ab44c56b114011bfc230417500b28b69d8ef23", 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.39s
[INFO] running `Command { std: "docker" "inspect" "78def0b3776cfbe1c11c5ffbb8ab44c56b114011bfc230417500b28b69d8ef23", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "78def0b3776cfbe1c11c5ffbb8ab44c56b114011bfc230417500b28b69d8ef23", kill_on_drop: false }`
[INFO] [stdout] 78def0b3776cfbe1c11c5ffbb8ab44c56b114011bfc230417500b28b69d8ef23
[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=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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 0e600f6531fc7b1f0bf130a904aeec64abee97a32664e99175a2f1f9cfbdc7cc
[INFO] running `Command { std: "docker" "start" "-a" "0e600f6531fc7b1f0bf130a904aeec64abee97a32664e99175a2f1f9cfbdc7cc", 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.56s
[INFO] running `Command { std: "docker" "inspect" "0e600f6531fc7b1f0bf130a904aeec64abee97a32664e99175a2f1f9cfbdc7cc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e600f6531fc7b1f0bf130a904aeec64abee97a32664e99175a2f1f9cfbdc7cc", kill_on_drop: false }`
[INFO] [stdout] 0e600f6531fc7b1f0bf130a904aeec64abee97a32664e99175a2f1f9cfbdc7cc
[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=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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 72957683d51279a4b75ee193dd7614e915498e63715ee84e93f6f84a5ac049d7
[INFO] running `Command { std: "docker" "start" "-a" "72957683d51279a4b75ee193dd7614e915498e63715ee84e93f6f84a5ac049d7", 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::goal_liveness_violation_dead_end ... ok
[INFO] [stdout] test analyzer::tests::xor_branch_analysis ... ok
[INFO] [stdout] test analyzer::tests::goal_liveness_circular_net ... ok
[INFO] [stdout] test analyzer::tests::no_xor_report ... ok
[INFO] [stdout] test analyzer::tests::xor_report_generation ... ok
[INFO] [stdout] test dbm::tests::dbm_bounds ... ok
[INFO] [stdout] test analyzer::tests::ignore_env_treats_as_regular ... ok
[INFO] [stdout] test counterexample::tests::empty_trace ... ok
[INFO] [stdout] test dbm::tests::dbm_can_fire ... ok
[INFO] [stdout] test dbm::tests::dbm_canonical_string ... ok
[INFO] [stdout] test analyzer::tests::l4_violation_dead_end ... ok
[INFO] [stdout] test analyzer::tests::bounded_env_limits_tokens ... ok
[INFO] [stdout] test dbm::tests::dbm_canonicalize ... ok
[INFO] [stdout] test dbm::tests::dbm_empty ... ok
[INFO] [stdout] test dbm::tests::dbm_empty_dbm ... ok
[INFO] [stdout] test dbm::tests::dbm_empty_equality ... ok
[INFO] [stdout] test analyzer::tests::l4_liveness_circular_net ... ok
[INFO] [stdout] test dbm::tests::dbm_equality_with_different_names ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_persistent_bounds_adjusted ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_replaces_fired_clock ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_with_newly_enabled ... ok
[INFO] [stdout] test dbm::tests::dbm_infeasible_constraints_produce_empty ... ok
[INFO] [stdout] test dbm::tests::dbm_equality ... ok
[INFO] [stdout] test dbm::tests::dbm_create_with_bounds ... ok
[INFO] [stdout] test dbm::tests::dbm_fire_transition ... ok
[INFO] [stdout] test dbm::tests::dbm_let_time_pass ... ok
[INFO] [stdout] test marking_state::tests::equality ... ok
[INFO] [stdout] test marking_state::tests::inequality_different_count ... ok
[INFO] [stdout] test marking_state::tests::marking_state_basics ... ok
[INFO] [stdout] test marking_state::tests::zero_count_filtered ... 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 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_multiple_clocks_inter_constraints ... ok
[INFO] [stdout] test p_invariant::tests::is_covered ... ok
[INFO] [stdout] test p_invariant::tests::no_output_transition_no_invariant ... ok
[INFO] [stdout] test dbm::tests::dbm_new ... ok
[INFO] [stdout] test environment::tests::mode_constructors ... ok
[INFO] [stdout] test incidence_matrix::tests::simple_chain_matrix ... ok
[INFO] [stdout] test marking_state::tests::add_tokens_accumulates ... ok
[INFO] [stdout] test marking_state::tests::empty_marking ... ok
[INFO] [stdout] test analyzer::tests::comprehensive_report ... ok
[INFO] [stdout] test incidence_matrix::tests::transposed_dimensions ... ok
[INFO] [stdout] test scc::tests::empty_graph ... ok
[INFO] [stdout] test dbm::tests::dbm_inequality ... ok
[INFO] [stdout] test marking_state::tests::canonical_key_deterministic ... ok
[INFO] [stdout] test p_invariant::tests::simple_chain_invariant ... ok
[INFO] [stdout] test scc::tests::all_terminal_when_isolated ... ok
[INFO] [stdout] test property::tests::property_descriptions ... ok
[INFO] [stdout] test scc::tests::linear_chain ... ok
[INFO] [stdout] test scc::tests::multiple_sccs ... ok
[INFO] [stdout] test scc::tests::simple_cycle ... ok
[INFO] [stdout] test scc::tests::single_node ... ok
[INFO] [stdout] test analyzer::tests::builder_requires_goal_places - should panic ... ok
[INFO] [stdout] test scc::tests::terminal_sccs ... ok
[INFO] [stdout] test state_class::tests::state_class_canonical_key ... ok
[INFO] [stdout] test state_class::tests::state_class_basic ... ok
[INFO] [stdout] test state_class_graph::tests::branch_edges_for_xor ... ok
[INFO] [stdout] test state_class::tests::state_class_equality ... ok
[INFO] [stdout] test state_class_graph::tests::build_env_always_available ... ok
[INFO] [stdout] test state_class_graph::tests::build_env_always_available_cycles ... ok
[INFO] [stdout] test state_class_graph::tests::build_inhibitor_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_no_enabled_transitions ... ok
[INFO] [stdout] test state_class_graph::tests::build_cycle ... ok
[INFO] [stdout] test state_class_graph::tests::build_simple_chain ... 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_xor_net ... ok
[INFO] [stdout] test state_class_graph::tests::build_with_timing_constraints ... ok
[INFO] [stdout] test state_class_graph::tests::enabled_transitions_returns_names ... ok
[INFO] [stdout] test state_class_graph::tests::edge_count_matches_edges ... ok
[INFO] [stdout] test state_class_graph::tests::predecessors_and_successors ... ok
[INFO] [stdout] test state_class_graph::tests::build_concurrent_transitions ... 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] 
[INFO] [stdout] test result: ok. 79 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.18s
[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" "72957683d51279a4b75ee193dd7614e915498e63715ee84e93f6f84a5ac049d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "72957683d51279a4b75ee193dd7614e915498e63715ee84e93f6f84a5ac049d7", kill_on_drop: false }`
[INFO] [stdout] 72957683d51279a4b75ee193dd7614e915498e63715ee84e93f6f84a5ac049d7