[INFO] fetching crate theoinf 0.4.0...
[INFO] testing theoinf-0.4.0 against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739-1
[INFO] extracting crate theoinf 0.4.0 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate theoinf 0.4.0
[INFO] finished tweaking crates.io crate theoinf 0.4.0
[INFO] tweaked toml for crates.io crate theoinf 0.4.0 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate theoinf 0.4.0 on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate theoinf 0.4.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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "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] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded winnow v0.7.14
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 11aa66414bcc534c80ab09e783d1ef94a0151ae2adc6161a98718693e252074a
[INFO] running `Command { std: "docker" "start" "-a" "11aa66414bcc534c80ab09e783d1ef94a0151ae2adc6161a98718693e252074a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "11aa66414bcc534c80ab09e783d1ef94a0151ae2adc6161a98718693e252074a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "11aa66414bcc534c80ab09e783d1ef94a0151ae2adc6161a98718693e252074a", kill_on_drop: false }`
[INFO] [stdout] 11aa66414bcc534c80ab09e783d1ef94a0151ae2adc6161a98718693e252074a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 26c751179835d42465ffe9f203847187ed64f862ff10b0f229b1218602ccc68f
[INFO] running `Command { std: "docker" "start" "-a" "26c751179835d42465ffe9f203847187ed64f862ff10b0f229b1218602ccc68f", kill_on_drop: false }`
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling theoinf v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.70s
[INFO] running `Command { std: "docker" "inspect" "26c751179835d42465ffe9f203847187ed64f862ff10b0f229b1218602ccc68f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "26c751179835d42465ffe9f203847187ed64f862ff10b0f229b1218602ccc68f", kill_on_drop: false }`
[INFO] [stdout] 26c751179835d42465ffe9f203847187ed64f862ff10b0f229b1218602ccc68f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b9d40d6987b04fbd3bd73a97e9a9c597200adc5d6e5fe50e403a60c93e9227d7
[INFO] running `Command { std: "docker" "start" "-a" "b9d40d6987b04fbd3bd73a97e9a9c597200adc5d6e5fe50e403a60c93e9227d7", kill_on_drop: false }`
[INFO] [stderr]    Compiling theoinf v0.4.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.93s
[INFO] running `Command { std: "docker" "inspect" "b9d40d6987b04fbd3bd73a97e9a9c597200adc5d6e5fe50e403a60c93e9227d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b9d40d6987b04fbd3bd73a97e9a9c597200adc5d6e5fe50e403a60c93e9227d7", kill_on_drop: false }`
[INFO] [stdout] b9d40d6987b04fbd3bd73a97e9a9c597200adc5d6e5fe50e403a60c93e9227d7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 2385fa418982057c22a78b073def804e1f233d041904aed4bd83bdbc6b5fa0ad
[INFO] running `Command { std: "docker" "start" "-a" "2385fa418982057c22a78b073def804e1f233d041904aed4bd83bdbc6b5fa0ad", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/theoinf-71a89096cb73e0fe)
[INFO] [stdout] 
[INFO] [stdout] running 111 tests
[INFO] [stdout] test dfa::tests::a_possible_transition_works ... ok
[INFO] [stdout] test dfa::tests::delta_symbols_must_be_known ... ok
[INFO] [stdout] test dfa::tests::parse_delta_works ... ok
[INFO] [stdout] test dfa::tests::parse_dfa_definition_with_missing_but_duplicated_parts_should_fail ... ok
[INFO] [stdout] test dfa::tests::accepts_works ... ok
[INFO] [stdout] test dfa::tests::parse_empty_sigma_should_fail ... ok
[INFO] [stdout] test dfa::tests::parse_empty_final_states_works ... ok
[INFO] [stdout] test dfa::tests::final_states_must_be_known ... ok
[INFO] [stdout] test dfa::tests::parse_empty_states_should_fail ... ok
[INFO] [stdout] test dfa::tests::parse_sigma_works ... ok
[INFO] [stdout] test dfa::tests::parse_states_works ... ok
[INFO] [stdout] test dfa::tests::parse_dfa_definition_works ... ok
[INFO] [stdout] test dfa::tests::runningdfa_transitions_works ... ok
[INFO] [stdout] test dfa::tests::start_state_must_be_known ... ok
[INFO] [stdout] test propositional_logic::tests::all_assignments_works ... ok
[INFO] [stdout] test propositional_logic::tests::and_works ... ok
[INFO] [stdout] test propositional_logic::tests::assignment_works ... ok
[INFO] [stdout] test propositional_logic::tests::cnf_works ... ok
[INFO] [stdout] test dfa::tests::parse_final_states_works ... ok
[INFO] [stdout] test propositional_logic::tests::dnf_works_for_contradiction ... ok
[INFO] [stdout] test propositional_logic::tests::cnf_works_for_tautology ... ok
[INFO] [stdout] test propositional_logic::tests::material_implication_works ... ok
[INFO] [stdout] test propositional_logic::tests::collect_vars_works ... ok
[INFO] [stdout] test propositional_logic::tests::not_works ... ok
[INFO] [stdout] test propositional_logic::tests::min_terms_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_bool_literal_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_not_works ... ok
[INFO] [stdout] test propositional_logic::tests::or_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_dangling_var_should_fail ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_var_in_parens_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_var_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_an_and_works ... ok
[INFO] [stdout] test propositional_logic::tests::max_terms_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_an_or_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_empty_input_errors ... ok
[INFO] [stdout] test propositional_logic::tests::precedence_works ... ok
[INFO] [stdout] test propositional_logic::tests::run_works ... ok
[INFO] [stdout] test propositional_logic::tests::running_empty_input_errors ... ok
[INFO] [stdout] test propositional_logic::tests::truth_table_works ... ok
[INFO] [stdout] test set_theory::tests::dedup_works ... ok
[INFO] [stdout] test set_theory::tests::enforcing_uni_works ... ok
[INFO] [stdout] test set_theory::tests::eval_of_a_diff_works ... ok
[INFO] [stdout] test set_theory::tests::eval_of_an_intersection_with_an_empty_set_works ... ok
[INFO] [stdout] test set_theory::tests::eval_of_an_intersection_works ... ok
[INFO] [stdout] test set_theory::tests::eval_of_an_union_with_an_empty_set_works ... ok
[INFO] [stdout] test set_theory::tests::evaluating_an_ident_works ... ok
[INFO] [stdout] test set_theory::tests::eval_of_an_union_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_cardinality_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_cartesian_product_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_sizes_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_complement_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_unequal_sets_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_bools_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_strictsubset_works ... ok
[INFO] [stdout] test dfa::tests::parsing_non_deterministic_delta_should_fail ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_subset_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_complement_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_dangling_invalid_expr_should_fail ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_declaration_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_singleton_set_literal_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_two_element_set_literal_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_three_element_set_literal_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_union_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_an_empty_set_literal_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_an_identifier_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_empty_input_errors ... ok
[INFO] [stdout] test set_theory::tests::parsing_an_intersection_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_double_nested_empty_works ... ok
[INFO] [stdout] test set_theory::tests::run_return_first_eval_error ... ok
[INFO] [stdout] test set_theory::tests::precedence_works ... ok
[INFO] [stdout] test set_theory::tests::set_literal_from_empty_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_nested_empty_works ... ok
[INFO] [stdout] test set_theory::tests::run_with_assignments_works ... ok
[INFO] [stdout] test type3grammar::tests::invalid_postfix_should_fail ... ok
[INFO] [stdout] test set_theory::tests::run_returns_first_parsing_error ... ok
[INFO] [stdout] test set_theory::tests::running_empty_input_errors ... ok
[INFO] [stdout] test set_theory::tests::run_with_operations_on_idents_works ... ok
[INFO] [stdout] test type3grammar::tests::parse_empty_sigma_should_fail ... ok
[INFO] [stdout] test type3grammar::tests::parse_empty_v_definition_should_fail ... ok
[INFO] [stdout] test set_theory::tests::uni_must_be_the_first_declaration ... ok
[INFO] [stdout] test type3grammar::tests::parse_production_definition_works_for_left_regular ... ok
[INFO] [stdout] test type3grammar::tests::parse_production_definition_works_for_right_regular ... ok
[INFO] [stdout] test type3grammar::tests::parse_left_regular_t3grammar_works ... ok
[INFO] [stdout] test type3grammar::tests::parse_start_state_works ... ok
[INFO] [stdout] test type3grammar::tests::invalid_prefix_should_fail ... ok
[INFO] [stdout] test type3grammar::tests::parse_t3grammar_definition_works ... ok
[INFO] [stdout] test type3grammar::tests::parse_t3grammar_definition_with_missing_but_duplicated_parts_should_fail ... ok
[INFO] [stdout] test type3grammar::tests::no_productions_are_found_for_impossible_word ... ok
[INFO] [stdout] test type3grammar::tests::parse_t3grammar_with_left_right_mixed_should_fail ... ok
[INFO] [stdout] test type3grammar::tests::parse_v_definition_works ... ok
[INFO] [stdout] test type3grammar::tests::production_nonterms_must_be_known ... ok
[INFO] [stdout] test type3grammar::tests::production_rhs_works_for_right_regular ... ok
[INFO] [stdout] test type3grammar::tests::production_rule_works_for_left_regular ... ok
[INFO] [stdout] test type3grammar::tests::production_work_for_epsilon ... ok
[INFO] [stdout] test type3grammar::tests::production_rhs_works_for_left_regular ... ok
[INFO] [stdout] test type3grammar::tests::productions_are_found_for_2_terminals_left_reg ... ok
[INFO] [stdout] test type3grammar::tests::production_symbols_must_be_known ... ok
[INFO] [stdout] test type3grammar::tests::productions_are_found_for_2_terminals ... ok
[INFO] [stdout] test type3grammar::tests::productions_are_found_for_n_terminals ... ok
[INFO] [stdout] test type3grammar::tests::productions_are_found_for_n_terminals_left_reg ... ok
[INFO] [stdout] test type3grammar::tests::start_must_be_known ... ok
[INFO] [stdout] test type3grammar::tests::parse_sigma_works ... ok
[INFO] [stdout] test type3grammar::tests::productions_are_found_for_single_terminal ... ok
[INFO] [stdout] test type3grammar::tests::production_work_for_epsilon_left_reg ... ok
[INFO] [stdout] test dfa::tests::delta_states_must_be_known ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_size_literals_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_equal_sets_works ... ok
[INFO] [stdout] test dfa::tests::parse_start_state_works ... ok
[INFO] [stdout] test propositional_logic::tests::dnf_works ... ok
[INFO] [stdout] test set_theory::tests::parentheses_works ... ok
[INFO] [stdout] test set_theory::tests::set_literal_from_empty_string_should_panic - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 111 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests theoinf
[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" "2385fa418982057c22a78b073def804e1f233d041904aed4bd83bdbc6b5fa0ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2385fa418982057c22a78b073def804e1f233d041904aed4bd83bdbc6b5fa0ad", kill_on_drop: false }`
[INFO] [stdout] 2385fa418982057c22a78b073def804e1f233d041904aed4bd83bdbc6b5fa0ad
