[INFO] cloning repository https://github.com/itiiss/TPDA_Reachability
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/itiiss/TPDA_Reachability" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fitiiss%2FTPDA_Reachability", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fitiiss%2FTPDA_Reachability'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 78d95cbc39f7262ee4fb70b0448968de2644f281
[INFO] testing itiiss/TPDA_Reachability against 1.99.0-beta.1+cargoflags=--release for beta-release-1.99-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fitiiss%2FTPDA_Reachability" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/itiiss/TPDA_Reachability
[INFO] finished tweaking git repo https://github.com/itiiss/TPDA_Reachability
[INFO] tweaked toml for git repo https://github.com/itiiss/TPDA_Reachability written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/itiiss/TPDA_Reachability on toolchain 1.99.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/itiiss/TPDA_Reachability 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.1" "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/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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:8683fc1fc2eb5c9ac98e0d076ab094b2ffac7f99da555d2b6a2e27f346de2ec7" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe
[INFO] running `Command { std: "docker" "start" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe", 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" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe", 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" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling clap_derive v4.6.1
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling location_reachability v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 9.11s
[INFO] running `Command { std: "docker" "inspect" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe", 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" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling location_reachability v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 4.86s
[INFO] running `Command { std: "docker" "inspect" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe", 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" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.04s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/deps/location_reachability-e18b90fe9185fb01)
[INFO] [stdout] 
[INFO] [stdout] running 80 tests
[INFO] [stdout] test automaton::tests::intersection_is_empty_when_no_entries_overlap ... ok
[INFO] [stdout] test automaton::tests::intersection_accepts_only_common_set_behavior ... ok
[INFO] [stdout] test automaton::tests::is_not_empty_when_a_final_state_is_reachable ... ok
[INFO] [stdout] test automaton::tests::path_for_word_returns_empty_path_for_empty_word ... ok
[INFO] [stdout] test automaton::tests::path_for_word_returns_none_when_path_is_missing ... ok
[INFO] [stdout] test automaton::tests::path_for_word_returns_simple_transition_path ... ok
[INFO] [stdout] test automaton::tests::path_for_word_supports_branching ... ok
[INFO] [stdout] test automaton::tests::reachable_states_follows_branching_transitions ... ok
[INFO] [stdout] test automaton::tests::reachable_states_handles_cycles ... ok
[INFO] [stdout] test automaton::tests::reachable_states_includes_isolated_start ... ok
[INFO] [stdout] test automaton::tests::trim_unreachable_leaves_original_automaton_unchanged ... ok
[INFO] [stdout] test automaton::tests::trim_unreachable_preserves_acceptance_from_reachable_start ... ok
[INFO] [stdout] test automaton::tests::union_combines_transitions_and_final_states ... ok
[INFO] [stdout] test automaton::tests::union_accepts_configurations_accepted_by_either_input ... ok
[INFO] [stdout] test model::tests::applies_pop_rule ... ok
[INFO] [stdout] test model::tests::applies_push_rule ... ok
[INFO] [stdout] test model::tests::applies_rewrite_rule ... ok
[INFO] [stdout] test automaton::tests::union_deduplicates_shared_entries ... ok
[INFO] [stdout] test normal_form::tests::preserves_empty_replacement_rule ... ok
[INFO] [stdout] test normal_form::tests::normalizes_long_replacement_to_rules_of_length_at_most_two ... ok
[INFO] [stdout] test normal_form::tests::preserves_single_symbol_replacement_rule ... ok
[INFO] [stdout] test model::tests::returns_successors_with_matching_rule_ids ... ok
[INFO] [stdout] test automaton::tests::is_not_empty_when_a_final_state_exists ... ok
[INFO] [stdout] test automaton::tests::is_empty_when_there_are_no_final_states ... ok
[INFO] [stdout] test normal_form::tests::normalized_pds_preserves_bounded_post_reachability ... ok
[INFO] [stdout] test automaton::tests::trim_unreachable_removes_unreachable_transitions_and_final_states ... ok
[INFO] [stdout] test normal_form::tests::preserves_guard_and_resets_only_on_first_generated_rule ... ok
[INFO] [stdout] test normal_form::tests::preserves_two_symbol_replacement_rule ... ok
[INFO] [stdout] test model::tests::clock_domain_types_are_constructible_and_comparable ... ok
[INFO] [stdout] test parser::tests::parsed_input_includes_clock_domain_metadata ... ok
[INFO] [stdout] test parser::tests::malformed_guard_returns_error ... ok
[INFO] [stdout] test parser::tests::parses_clock_declarations ... ok
[INFO] [stdout] test parser::tests::parses_location_and_stack_symbol_declarations ... ok
[INFO] [stdout] test parser::tests::parses_guard_only_rule ... ok
[INFO] [stdout] test parser::tests::parses_reset_only_rule ... ok
[INFO] [stdout] test parser::tests::parses_guard_plus_reset_rule ... ok
[INFO] [stdout] test reachability::post::tests::bounded_post_reachability_ignores_guard_and_resets ... ok
[INFO] [stdout] test parser::tests::parses_small_example ... ok
[INFO] [stdout] test reachability::post::tests::max_stack_depth_prevents_oversized_successor ... ok
[INFO] [stdout] test reachability::post::tests::max_steps_prevents_reaching_target ... ok
[INFO] [stdout] test model::tests::returns_successors_for_applicable_rules ... ok
[INFO] [stdout] test reachability::post::tests::reaches_target_within_bounds ... ok
[INFO] [stdout] test parser::tests::untimed_rule_has_no_guard_or_resets ... ok
[INFO] [stdout] test reachability::post::tests::returns_unreachable_when_target_cannot_be_reached ... ok
[INFO] [stdout] test reachability::post::tests::witness_path_starts_at_initial_and_ends_at_target ... ok
[INFO] [stdout] test reachability::post::tests::witness_rule_ids_ignore_guard_and_resets ... ok
[INFO] [stdout] test reachability::post::tests::witness_steps_include_rule_ids_used_to_reach_successors ... ok
[INFO] [stdout] test reachability::prestar::tests::accepts_one_step_predecessor_after_saturation ... ok
[INFO] [stdout] test reachability::prestar::tests::accepts_multi_step_predecessor_after_saturation ... ok
[INFO] [stdout] test reachability::prestar::tests::enqueues_only_new_transitions ... ok
[INFO] [stdout] test reachability::prestar::tests::pre_star_matches_bounded_post_on_small_examples ... ok
[INFO] [stdout] test reachability::prestar::tests::pre_star_acceptance_ignores_guard_and_resets ... ok
[INFO] [stdout] test reachability::prestar::tests::pre_star_records_multi_step_provenance ... ok
[INFO] [stdout] test reachability::prestar::tests::pre_star_provenance_ignores_guard_and_resets ... ok
[INFO] [stdout] test reachability::prestar::tests::indexes_rules_by_to_location ... ok
[INFO] [stdout] test reachability::prestar::tests::pre_star_with_provenance_matches_plain_saturation ... ok
[INFO] [stdout] test reachability::prestar::tests::pre_star_records_one_step_provenance ... ok
[INFO] [stdout] test automaton::tests::intersection_keeps_only_common_transitions_and_final_states ... ok
[INFO] [stdout] test reachability::prestar::tests::worklist_ignores_guard_and_resets ... ok
[INFO] [stdout] test reachability::prestar::tests::worklist_matches_naive_for_one_step_predecessor ... ok
[INFO] [stdout] test reachability::prestar::tests::seeds_worklist_from_existing_transitions ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_initial_location ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_rule_destination_location ... ok
[INFO] [stdout] test reachability::prestar::tests::worklist_matches_naive_for_multi_step_predecessor ... ok
[INFO] [stdout] test reachability::prestar::tests::worklist_matches_naive_for_epsilon_replacement ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_target_location ... ok
[INFO] [stdout] test validation::tests::accepts_epsilon_replacement_without_extra_stack_symbol ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_rule_source_location ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_rule_stack_top ... ok
[INFO] [stdout] test validation::tests::valid_locations_pass_validation ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_guard_clock ... ok
[INFO] [stdout] test validation::tests::accepts_declared_guard_and_reset_clocks ... ok
[INFO] [stdout] test validation::tests::validation_error_displays_message ... ok
[INFO] [stdout] test zone::tests::placeholder_operations_preserve_zone ... ok
[INFO] [stdout] test zone::tests::universe_is_non_empty ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_initial_stack_symbol ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_replacement_symbol ... ok
[INFO] [stdout] test validation::tests::rejects_undeclared_reset_clock ... ok
[INFO] [stdout] test reachability::prestar::tests::worklist_matches_naive_for_replacement_word_longer_than_one ... ok
[INFO] [stdout] test normal_form::tests::preserves_guard_and_resets_on_short_rule ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 80 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/release/deps/location_reachability-df6913403692b391)
[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] [stderr]      Running tests/cli.rs (/opt/rustwide/target/release/deps/cli-7c39aef9c8694c46)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test check_pre_accepts_timed_placeholder_input ... ok
[INFO] [stdout] test check_post_reports_reachable_for_simple_example ... ok
[INFO] [stdout] test check_post_reports_reachable_for_long_replacement_example ... ok
[INFO] [stdout] test timed_placeholder_input_passes_cli_validation ... ok
[INFO] [stdout] test invalid_input_path_exits_with_failure ... ok
[INFO] [stdout] test undeclared_reset_clock_exits_with_failure ... ok
[INFO] [stdout] test check_pre_reports_reachable_for_simple_example ... ok
[INFO] [stdout] test undeclared_guard_clock_exits_with_failure ... ok
[INFO] [stdout] test undeclared_location_exits_with_failure ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/demo_examples.rs (/opt/rustwide/target/release/deps/demo_examples-91164f41a4a09c28)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test linear_reachable_demo_is_reachable ... ok
[INFO] [stdout] test recursive_nested_error_demo_reaches_error ... ok
[INFO] [stdout] test unreachable_target_demo_is_unreachable ... ok
[INFO] [stdout] test recursive_nested_safe_demo_is_reachable ... ok
[INFO] [stdout] test timed_syntax_demo_is_reachable_under_untimed_semantics ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests location_reachability
[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" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe", kill_on_drop: false }`
[INFO] [stdout] e6bd2ae2c01cd82829dfe19d55222212d70d1bc99cb76bc07dee15ec62e3befe
