[INFO] fetching crate theoinf 0.3.0...
[INFO] testing theoinf-0.3.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate theoinf 0.3.0 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate theoinf 0.3.0
[INFO] finished tweaking crates.io crate theoinf 0.3.0
[INFO] tweaked toml for crates.io crate theoinf 0.3.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate theoinf 0.3.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate theoinf 0.3.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" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 04389fe9cfba762554671b8bdc0adb5afdd5c464534ade70ddd129db49860c88
[INFO] running `Command { std: "docker" "start" "-a" "04389fe9cfba762554671b8bdc0adb5afdd5c464534ade70ddd129db49860c88", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "04389fe9cfba762554671b8bdc0adb5afdd5c464534ade70ddd129db49860c88", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "04389fe9cfba762554671b8bdc0adb5afdd5c464534ade70ddd129db49860c88", kill_on_drop: false }`
[INFO] [stdout] 04389fe9cfba762554671b8bdc0adb5afdd5c464534ade70ddd129db49860c88
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 863e016ab46a1174f9074b6c013afe2567b56def7853e23f5f5406196d2ca8e1
[INFO] running `Command { std: "docker" "start" "-a" "863e016ab46a1174f9074b6c013afe2567b56def7853e23f5f5406196d2ca8e1", kill_on_drop: false }`
[INFO] [stderr]    Compiling winnow v0.7.14
[INFO] [stderr]    Compiling theoinf v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.93s
[INFO] running `Command { std: "docker" "inspect" "863e016ab46a1174f9074b6c013afe2567b56def7853e23f5f5406196d2ca8e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "863e016ab46a1174f9074b6c013afe2567b56def7853e23f5f5406196d2ca8e1", kill_on_drop: false }`
[INFO] [stdout] 863e016ab46a1174f9074b6c013afe2567b56def7853e23f5f5406196d2ca8e1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4686a9f3089a443852f61387ca3c6b8ea368059c511d510e02a3d7dc346e40bb
[INFO] running `Command { std: "docker" "start" "-a" "4686a9f3089a443852f61387ca3c6b8ea368059c511d510e02a3d7dc346e40bb", kill_on_drop: false }`
[INFO] [stderr]    Compiling theoinf v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.50s
[INFO] running `Command { std: "docker" "inspect" "4686a9f3089a443852f61387ca3c6b8ea368059c511d510e02a3d7dc346e40bb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4686a9f3089a443852f61387ca3c6b8ea368059c511d510e02a3d7dc346e40bb", kill_on_drop: false }`
[INFO] [stdout] 4686a9f3089a443852f61387ca3c6b8ea368059c511d510e02a3d7dc346e40bb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 315108b39c9bd0277c85a003b2e882ecce94eb45e2b476c00baf3c0fe43c8287
[INFO] running `Command { std: "docker" "start" "-a" "315108b39c9bd0277c85a003b2e882ecce94eb45e2b476c00baf3c0fe43c8287", 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/theoinf-aeaf917d657724b9)
[INFO] [stdout] 
[INFO] [stdout] running 84 tests
[INFO] [stdout] test dfa::tests::a_possible_transition_works ... ok
[INFO] [stdout] test dfa::tests::accepts_works ... ok
[INFO] [stdout] test dfa::tests::delta_states_must_be_known ... ok
[INFO] [stdout] test dfa::tests::final_states_must_be_known ... 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_empty_final_states_works ... ok
[INFO] [stdout] test dfa::tests::parse_dfa_definition_with_missing_but_duplicated_parts_should_fail ... ok
[INFO] [stdout] test dfa::tests::parse_dfa_definition_works ... ok
[INFO] [stdout] test dfa::tests::parse_empty_sigma_should_fail ... ok
[INFO] [stdout] test dfa::tests::parse_final_states_works ... ok
[INFO] [stdout] test dfa::tests::parse_sigma_works ... ok
[INFO] [stdout] test dfa::tests::parse_empty_states_should_fail ... ok
[INFO] [stdout] test dfa::tests::parse_start_state_works ... ok
[INFO] [stdout] test dfa::tests::parse_states_works ... ok
[INFO] [stdout] test dfa::tests::parsing_non_deterministic_delta_should_fail ... 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 propositional_logic::tests::collect_vars_works ... ok
[INFO] [stdout] test propositional_logic::tests::cnf_works_for_tautology ... ok
[INFO] [stdout] test propositional_logic::tests::dnf_works ... ok
[INFO] [stdout] test propositional_logic::tests::material_implication_works ... ok
[INFO] [stdout] test propositional_logic::tests::dnf_works_for_contradiction ... ok
[INFO] [stdout] test propositional_logic::tests::max_terms_works ... ok
[INFO] [stdout] test propositional_logic::tests::min_terms_works ... ok
[INFO] [stdout] test propositional_logic::tests::not_works ... ok
[INFO] [stdout] test propositional_logic::tests::or_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_bool_literal_works ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_dangling_var_should_fail ... ok
[INFO] [stdout] test propositional_logic::tests::parsing_a_not_works ... 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::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::eval_of_an_union_works ... ok
[INFO] [stdout] test set_theory::tests::evaluating_an_ident_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_complement_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_bools_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_equal_sets_works ... 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_sizes_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_equals_with_unequal_sets_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_strictsubset_works ... ok
[INFO] [stdout] test set_theory::tests::evaluation_of_subset_works ... ok
[INFO] [stdout] test set_theory::tests::parentheses_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_complement_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_a_dangling_var_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_three_element_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_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_an_intersection_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_double_nested_empty_works ... ok
[INFO] [stdout] test set_theory::tests::parsing_empty_input_errors ... ok
[INFO] [stdout] test set_theory::tests::parsing_nested_empty_works ... ok
[INFO] [stdout] test set_theory::tests::precedence_works ... ok
[INFO] [stdout] test set_theory::tests::run_returns_first_parsing_error ... ok
[INFO] [stdout] test set_theory::tests::run_return_first_eval_error ... ok
[INFO] [stdout] test set_theory::tests::run_with_assignments_works ... ok
[INFO] [stdout] test set_theory::tests::run_with_operations_on_idents_works ... ok
[INFO] [stdout] test set_theory::tests::running_empty_input_errors ... ok
[INFO] [stdout] test set_theory::tests::uni_must_be_the_first_declaration ... ok
[INFO] [stdout] test set_theory::tests::set_literal_from_empty_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. 84 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.08s
[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" "315108b39c9bd0277c85a003b2e882ecce94eb45e2b476c00baf3c0fe43c8287", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "315108b39c9bd0277c85a003b2e882ecce94eb45e2b476c00baf3c0fe43c8287", kill_on_drop: false }`
[INFO] [stdout] 315108b39c9bd0277c85a003b2e882ecce94eb45e2b476c00baf3c0fe43c8287
