[INFO] fetching crate rossi-prove 0.2.3...
[INFO] testing rossi-prove-0.2.3 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate rossi-prove 0.2.3 into /workspace/builds/worker-5-tc2/source
[INFO] started tweaking crates.io crate rossi-prove 0.2.3
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate rossi-prove 0.2.3
[INFO] tweaked toml for crates.io crate rossi-prove 0.2.3 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate rossi-prove 0.2.3 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate rossi-prove 0.2.3 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.100.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-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46
[INFO] running `Command { std: "docker" "start" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46", 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" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46", 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" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling crossbeam-utils v0.8.22
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.20
[INFO] [stderr]    Compiling crossbeam-deque v0.8.7
[INFO] [stderr]    Compiling cc v1.4.3
[INFO] [stderr]    Compiling pest v2.9.1
[INFO] [stderr]    Compiling zlib-rs v0.6.7
[INFO] [stderr]    Compiling typed-path v0.12.3
[INFO] [stderr]    Compiling ucd-trie v0.1.7
[INFO] [stderr]    Compiling thiserror-impl v2.0.20
[INFO] [stderr]    Compiling num-integer v0.1.47
[INFO] [stderr]    Compiling num-bigint v0.5.1
[INFO] [stderr]    Compiling thiserror v2.0.20
[INFO] [stderr]    Compiling rayon-core v1.13.0
[INFO] [stderr]    Compiling stacker v0.1.25
[INFO] [stderr]    Compiling pest_meta v2.9.1
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling pest_generator v2.9.1
[INFO] [stderr]    Compiling pest_derive v2.9.1
[INFO] [stderr]    Compiling flate2 v1.1.9
[INFO] [stderr]    Compiling zip v8.6.0
[INFO] [stderr]    Compiling ar_archive_writer v0.5.1
[INFO] [stderr]    Compiling psm v0.1.31
[INFO] [stderr]    Compiling rossi v0.2.3
[INFO] [stderr]    Compiling rossi-prove v0.2.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 51.01s
[INFO] running `Command { std: "docker" "inspect" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46", 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" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr]    Compiling rossi-prove v0.2.3 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 13.73s
[INFO] running `Command { std: "docker" "inspect" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46", 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" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--release", kill_on_drop: false }`
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 0.08s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/release/build/rossi-prove/616ea0a2c4e7e7ee/out/rossi_prove-616ea0a2c4e7e7ee)
[INFO] [stdout] 
[INFO] [stdout] running 173 tests
[INFO] [stdout] test bpr::tests::ascriptions_are_stripped_after_type_checking ... ok
[INFO] [stdout] test bpr::tests::keep_modes_control_materialization ... ok
[INFO] [stdout] test bpr::tests::file_level_problems_fail_the_file ... ok
[INFO] [stdout] test bpr::tests::absent_rule_confidence_reads_as_unattempted ... ok
[INFO] [stdout] test bpr::tests::old_vintage_storage_is_unsupported ... ok
[INFO] [stdout] test bpr::tests::bare_vintage_rule_ids_feed_the_dependency_read ... ok
[INFO] [stdout] test bpr::tests::repeated_vintage_rule_ids_collapse ... ok
[INFO] [stdout] test bpr_rewrite::tests::a_truncated_document_fails_rather_than_shortening ... ok
[INFO] [stdout] test bpr_rewrite::tests::acts_on_an_entry_that_arrives_self_closing ... ok
[INFO] [stdout] test bpr_rewrite::tests::an_entry_name_keeps_its_escaping ... ok
[INFO] [stdout] test bpr::tests::shared_parses_respect_each_proofs_bindings ... ok
[INFO] [stdout] test bpr::tests::unknown_reasoners_load_untrusted ... ok
[INFO] [stdout] test bpr_rewrite::tests::dropping_takes_the_whitespace_that_followed ... ok
[INFO] [stdout] test bpr_rewrite::tests::keeping_everything_is_byte_identical ... ok
[INFO] [stdout] test bpr_rewrite::tests::rejects_a_document_that_is_not_a_proof_file ... ok
[INFO] [stdout] test bpr_rewrite::tests::reset_matches_rodins_emptied_entry ... ok
[INFO] [stdout] test bpr_rewrite::tests::resetting_keeps_only_the_name ... ok
[INFO] [stdout] test bpr::tests::extended_language_is_unsupported ... ok
[INFO] [stdout] test bpr::tests::rewrite_action_unions_hidden_back ... ok
[INFO] [stdout] test bpr_rewrite::tests::resetting_keeps_the_whitespace_that_followed ... ok
[INFO] [stdout] test bpr::tests::truncated_files_fail_to_read ... ok
[INFO] [stdout] test bpr::tests::unattempted_proof_has_no_dependencies ... ok
[INFO] [stdout] test bpr_rewrite::tests::rewrites_a_proof_the_reader_cannot_represent ... ok
[INFO] [stdout] test bps::tests::reads_rows_in_order_with_defaults ... ok
[INFO] [stdout] test builder::tests::replay_hints_rename_introduced_identifiers ... ok
[INFO] [stdout] test bpr_rewrite::tests::a_proofless_root_round_trips ... ok
[INFO] [stdout] test bpr::tests::unreferenced_entries_only_fail_full_reads ... ok
[INFO] [stdout] test bpr::tests::interned_rule_keys_are_not_reasoner_ids ... ok
[INFO] [stdout] test bpr_rewrite::tests::dropping_removes_the_entry_and_its_subtree ... ok
[INFO] [stdout] test builder::tests::rebuild_reuses_then_replays_then_downgrades ... ok
[INFO] [stdout] test bpr::tests::garbage_confidence_degrades_the_proof ... ok
[INFO] [stdout] test builder::tests::rebuild_bypasses_skip_rules ... ok
[INFO] [stdout] test confidence::tests::classify_matches_eventb_checker_thresholds ... ok
[INFO] [stdout] test deps::tests::untrusted_or_context_dependent_reasoners_defeat_reuse ... ok
[INFO] [stdout] test confidence::tests::ordering_follows_the_scale ... ok
[INFO] [stdout] test deps::tests::reuse_predicate_rejections ... ok
[INFO] [stdout] test po_loader::tests::parent_sets_resolve_inside_the_referring_files_directory ... ok
[INFO] [stdout] test po_loader::tests::problems_are_reported ... ok
[INFO] [stdout] test po_loader::tests::wd_conjuncts_deduplicate_against_hypotheses ... ok
[INFO] [stdout] test po_loader::tests::wd_conjuncts_keep_negative_literals_parse_normal ... ok
[INFO] [stdout] test po_loader::tests::wd_obligations_skip_the_goal_wd ... ok
[INFO] [stdout] test builder::tests::reuse_applies_trusted_rules_and_refuses_untrusted ... ok
[INFO] [stdout] test builder::tests::replay_ignores_stored_rules_and_needs_an_implementation ... ok
[INFO] [stdout] test deps::tests::added_hypotheses_and_idents_are_discharged_by_the_antecedent ... ok
[INFO] [stdout] test deps::tests::open_tree_has_no_dependencies_and_is_always_reusable ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::reasoner_fails_without_applicable_rewrites ... ok
[INFO] [stdout] test deps::tests::used_forward_inference_trades_products_for_sources ... ok
[INFO] [stdout] test bpr::tests::modern_sample_loads_fully ... ok
[INFO] [stdout] test deps::tests::wildcard_goal_instantiation_propagates_upward ... ok
[INFO] [stdout] test deps::tests::reverse_processing_chains_forward_inferences ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::funimage_lambda_computes_the_image ... ok
[INFO] [stdout] test bpr::tests::problems_degrade_to_unsupported ... ok
[INFO] [stdout] test deps::tests::unused_forward_inference_contributes_nothing ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::relational_rules_chain_to_fixpoint ... ok
[INFO] [stdout] test deps::tests::closing_rule_records_goal_hyps_idents_and_reasoner ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::atomic_bool_setext_and_quantified_rules ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::card_equal_one_builds_the_singleton_existential ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::reasoner_rewrites_hypotheses_and_goal ... ok
[INFO] [stdout] test po_loader::tests::loads_chain_wd_and_selection ... ok
[INFO] [stdout] test reasoners::inference::one_point_rule_tests::one_point_rule_on_the_goal_adds_the_wd_antecedent ... ok
[INFO] [stdout] test reasoners::genmp::tests::hypothesis_rewrites_a_goal_disjunct ... ok
[INFO] [stdout] test reasoners::genmp::tests::goal_rewrites_a_hypothesis_negatively ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::simple_and_multiple_predicates_rewrite ... ok
[INFO] [stdout] test reasoners::inference::one_point_rule_tests::conj_f_splits_a_conjunctive_hypothesis ... ok
[INFO] [stdout] test reasoners::inference::tests::auto_imp_e_discharges_selected_left_sides ... ok
[INFO] [stdout] test reasoners::auto_rewriter::tests::unary_expression_rules ... ok
[INFO] [stdout] test reasoners::genmp::tests::fails_when_nothing_applies ... ok
[INFO] [stdout] test reasoners::genmp::tests::hypothesis_occurrence_in_another_hypothesis_becomes_true ... ok
[INFO] [stdout] test reasoners::inference::tests::ex_e_adds_the_freed_conjuncts_as_hypotheses ... ok
[INFO] [stdout] test reasoners::inference::one_point_rule_tests::finite_set_produces_the_three_antecedents ... ok
[INFO] [stdout] test reasoners::inference::tests::disj_e_cases_on_disjuncts_and_memberships ... ok
[INFO] [stdout] test reasoners::inference::one_point_rule_tests::one_point_rule_on_a_hypothesis_rewrites_and_hides ... ok
[INFO] [stdout] test reasoners::inference::tests::eq_l2_rewrites_goal_and_selected_hypotheses ... ok
[INFO] [stdout] test reasoners::inference::tests::cut_introduces_a_lemma_with_wildcard_use ... ok
[INFO] [stdout] test reasoners::genmp::tests::negated_hypothesis_substitutes_false ... ok
[INFO] [stdout] test reasoners::inference::tests::eq_l2_splices_inside_associative_expressions ... ok
[INFO] [stdout] test reasoners::inference::tests::ex_f_frees_the_hypothesis_in_place ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::remove_inclusion_unfolds_over_components ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::local_eq_rewrites_goal_and_hypothesis ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::fun_singleton_img_rewrites_with_wd ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::fun_image_goal_adds_the_range_membership ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::rel_img_union_right_distributes ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::remove_membership_unfolds_function_and_interval ... ok
[INFO] [stdout] test reasoners::manual::tests::goal_partition_expands_into_one_antecedent_per_conjunct ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::fun_img_simplifies_strips_the_restriction ... ok
[INFO] [stdout] test reasoners::inference::tests::imp_e_and_mt_split_and_hide_the_implication ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::total_dom_fails_without_a_totality_hypothesis ... ok
[INFO] [stdout] test reasoners::inference::tests::ex_i_instantiates_with_wd_antecedents ... ok
[INFO] [stdout] test reasoners::one_point::tests::in_compset_keeps_unconsumed_components_as_guards ... ok
[INFO] [stdout] test reasoners::manual::tests::hypothesis_partition_with_singletons_uses_memberships ... ok
[INFO] [stdout] test reasoners::inference::tests::neg_enum_removes_the_contradicted_member ... ok
[INFO] [stdout] test reasoners::one_point::tests::inference_applies_at_negative_polarity_under_forall ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::total_dom_substitutes_in_the_goal ... ok
[INFO] [stdout] test reasoners::manual::tests::fails_at_a_non_partition_position ... ok
[INFO] [stdout] test reasoners::manual::tests::nested_partition_position_is_honoured ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::fun_ovr_splits_on_a_singleton_override ... ok
[INFO] [stdout] test reasoners::one_point::tests::in_compset_splits_maplet_equalities ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::eqv_and_disj_rewrites ... ok
[INFO] [stdout] test reasoners::one_point::tests::in_compset_with_replacement_instantiates ... ok
[INFO] [stdout] test reasoners::one_point::tests::in_compset_without_replacement_builds_the_quantified_form ... ok
[INFO] [stdout] test bpr::tests::old_vintage_nested_rules_feed_the_dependency_read ... ok
[INFO] [stdout] test reasoners::structural::tests::all_i_honours_stored_name_suggestions ... ok
[INFO] [stdout] test reasoners::rewrites::tests::type_rewrites_fail_without_applicable_rewrites ... ok
[INFO] [stdout] test reasoners::one_point::tests::inference_consumes_one_equality_under_exists ... ok
[INFO] [stdout] test bpr::tests::pred_ref_holes_stay_none ... ok
[INFO] [stdout] test reasoners::manual::batch30_tests::remove_negation_unfolds_de_morgan_and_non_emptiness ... ok
[INFO] [stdout] test reasoners::structural::tests::conj_splits_distinct_conjuncts ... ok
[INFO] [stdout] test reasoners::structural::tests::contr_hyps_recovers_its_input_from_needed_hyps ... ok
[INFO] [stdout] test reasoners::structural::tests::hyp_or_discharges_via_a_disjunct ... ok
[INFO] [stdout] test reasoners::structural::tests::imp_i_splits_the_left_side_into_hypotheses ... ok
[INFO] [stdout] test reasoners::structural::tests::is_fun_goal_discharges_with_a_function_hypothesis ... ok
[INFO] [stdout] test reasoners::structural::tests::finite_hyp_bounded_goal_accepts_a_set_in_extension ... ok
[INFO] [stdout] test reasoners::structural::tests::finite_hyp_bounded_goal_fails_without_evidence ... ok
[INFO] [stdout] test reasoners::structural::tests::finite_hyp_bounded_goal_uses_the_finiteness_hypothesis ... ok
[INFO] [stdout] test reasoners::structural::tests::all_i_frees_variables_with_fresh_names ... ok
[INFO] [stdout] test reasoners::one_point::tests::inference_keeps_outer_declarations ... ok
[INFO] [stdout] test reasoners::structural::tests::hyp_matches_exact_and_stronger_hypotheses ... ok
[INFO] [stdout] test reasoners::rewrites::tests::empty_set_equality_follows_rodin_pattern_order ... ok
[INFO] [stdout] test reasoners::structural::tests::true_goal_needs_a_tautology ... ok
[INFO] [stdout] test registry::tests::trust_matrix ... ok
[INFO] [stdout] test registry::tests::table_ids_are_unique ... ok
[INFO] [stdout] test rule::tests::antecedent_failure_fails_the_rule ... ok
[INFO] [stdout] test registry::tests::versioned_id_codec ... ok
[INFO] [stdout] test rule::tests::antecedent_additions_reach_the_child ... ok
[INFO] [stdout] test rule::tests::hyp_actions_run_in_list_order ... ok
[INFO] [stdout] test rule::tests::rewrite_action_through_a_rule ... ok
[INFO] [stdout] test rule::tests::stated_rule_goal_with_wildcard_antecedent_is_ill_formed ... ok
[INFO] [stdout] test sequent::tests::accessors_and_order ... ok
[INFO] [stdout] test sequent::tests::fwd_inf_failures_are_silent ... ok
[INFO] [stdout] test sequent::tests::fwd_inf_selection_follows_sources ... ok
[INFO] [stdout] test reasoners::one_point::tests::inference_without_replacement_answers_none ... ok
[INFO] [stdout] test reasoners::structural::tests::is_fun_goal_requires_type_expressions ... ok
[INFO] [stdout] test sequent::tests::modify_adds_selected_hypotheses_and_idents ... ok
[INFO] [stdout] test reasoners::structural::tests::mng_hyp_replays_the_stored_selection_action ... ok
[INFO] [stdout] test reasoners::inference::tests::do_case_splits_on_the_predicate_and_its_negation ... ok
[INFO] [stdout] test reasoners::structural::tests::false_hyp_closes_any_goal_with_wildcard ... ok
[INFO] [stdout] test reasoners::rewrites::tests::type_rewrites_simplify_goal_and_hypotheses ... ok
[INFO] [stdout] test reasoners::structural::tests::finite_set_minus_and_inter_reduce_the_goal ... ok
[INFO] [stdout] test reasoners::structural::tests::review_replays_at_the_reviewer_confidence ... ok
[INFO] [stdout] test reasoners::structural::tests::registry_provider_serves_only_trusted_implementations ... ok
[INFO] [stdout] test rule::tests::wildcard_antecedent_inherits_the_goal ... ok
[INFO] [stdout] test registry::tests::context_dependence_is_flagged ... ok
[INFO] [stdout] test rule::tests::apply_checks_needed_hypotheses_and_goal ... ok
[INFO] [stdout] test sequent::tests::hide_deselects_and_select_unhides ... ok
[INFO] [stdout] test sequent::tests::modify_rejects_ill_formed_changes ... ok
[INFO] [stdout] test sequent::tests::modify_shares_when_nothing_changes ... ok
[INFO] [stdout] test status::tests::unsupported_and_unattempted_proofs ... ok
[INFO] [stdout] test sequent::tests::modify_unhides_added_hypothesis_and_replaces_goal ... ok
[INFO] [stdout] test sequent::tests::selection_mutators_share_when_unchanged ... ok
[INFO] [stdout] test sequent::tests::mutators_copy_only_the_sets_they_change ... ok
[INFO] [stdout] test variations::tests::non_relational_predicates_stay_singletons ... ok
[INFO] [stdout] test variations::tests::literal_constructor_matches_parsed_negative_literal ... ok
[INFO] [stdout] test variations::tests::negated_membership_in_naturals ... ok
[INFO] [stdout] test sequent::tests::rewrite_hides_the_rewritten_hypothesis ... ok
[INFO] [stdout] test variations::tests::stronger_positive_ge_reduces_to_swapped_le ... ok
[INFO] [stdout] test variations::tests::stronger_positive_le_includes_lt_and_equal ... ok
[INFO] [stdout] test tree::tests::inapplicable_rule_leaves_the_node_open ... ok
[INFO] [stdout] test reasoners::structural::tests::contr_hyps_finds_the_contradiction ... ok
[INFO] [stdout] test tree::tests::closing_rule_closes_the_node ... ok
[INFO] [stdout] test status::tests::reusable_proof_keeps_its_confidence ... ok
[INFO] [stdout] test variations::tests::negative_literal_variations_use_parse_normal_shape ... ok
[INFO] [stdout] test variations::tests::literal_bounds_shift_by_one ... ok
[INFO] [stdout] test variations::tests::stronger_negative_of_equality_flips_inequalities ... ok
[INFO] [stdout] test variations::tests::parsed_negative_literal_bound_implies_natural_membership ... ok
[INFO] [stdout] test variations::tests::stronger_positive_natural_membership_from_nat1 ... ok
[INFO] [stdout] test variations::tests::weaker_positive_lt_includes_le_and_disequality ... ok
[INFO] [stdout] test tree::tests::confidence_is_the_minimum_over_the_tree ... ok
[INFO] [stdout] test variations::tests::boolean_true_false_equivalences ... ok
[INFO] [stdout] test status::tests::inapplicable_or_untrusted_proofs_break ... ok
[INFO] [stdout] test variations::tests::subset_variations ... ok
[INFO] [stdout] test status::tests::context_dependent_proofs_break_and_are_flagged ... ok
[INFO] [stdout] test reasoners::inference::tests::all_d_family_instantiates_a_universal_hypothesis ... ok
[INFO] [stdout] test bpr_rewrite::tests::deep_nesting_does_not_grow_the_stack ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 173 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bpr_corpus.rs (/opt/rustwide/target/release/build/rossi-prove/095a1e40182090e7/out/bpr_corpus-095a1e40182090e7)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test corpus_bpr_scan ... ignored, needs a models corpus; run with --ignored
[INFO] [stdout] test example_archives_parse ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- example_archives_parse stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'example_archives_parse' (1036) panicked at tests/bpr_corpus.rs:161:10:
[INFO] [stdout] examples directory: Os { code: 2, kind: NotFound, message: "No such file or directory" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x58b2c1e15fa1 - <<std[617be2ca0a6fd877]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[a373ad73a504971]::fmt::Display>::fmt
[INFO] [stdout]    1:     0x58b2c1e2ad9a - core[a373ad73a504971]::fmt::write
[INFO] [stdout]    2:     0x58b2c1e1a5ec - <alloc[2e1b2a31b91974c5]::vec::Vec<u8> as core[a373ad73a504971]::io::write::Write>::write_fmt
[INFO] [stdout]    3:     0x58b2c1df16f6 - std[617be2ca0a6fd877]::panicking::default_hook::{closure#0}
[INFO] [stdout]    4:     0x58b2c1e0e289 - std[617be2ca0a6fd877]::panicking::default_hook
[INFO] [stdout]    5:     0x58b2c1caa540 - test[aada8e7e76ba119b]::test_main_inner::{closure#0}
[INFO] [stderr] error: test failed, to rerun pass `--test bpr_corpus`
[INFO] [stdout]    6:     0x58b2c1e0e5b2 - std[617be2ca0a6fd877]::panicking::panic_with_hook
[INFO] [stdout]    7:     0x58b2c1df17a2 - std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}
[INFO] [stdout]    8:     0x58b2c1dea419 - std[617be2ca0a6fd877]::sys::backtrace::__rust_end_short_backtrace::<std[617be2ca0a6fd877]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]    9:     0x58b2c1df23ad - __rustc[ea4f61d10b84890b]::rust_begin_unwind
[INFO] [stdout]   10:     0x58b2c1e2b4fc - core[a373ad73a504971]::panicking::panic_fmt
[INFO] [stdout]   11:     0x58b2c1e2b2d2 - core[a373ad73a504971]::result::unwrap_failed
[INFO] [stdout]   12:     0x58b2c1c86e9e - <bpr_corpus[c13b0e2744674ad]::example_archives_parse::{closure#0} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]   13:     0x58b2c1c9d98b - test[aada8e7e76ba119b]::__rust_begin_short_backtrace::<core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>, fn() -> core[a373ad73a504971]::result::Result<(), alloc[2e1b2a31b91974c5]::string::String>>
[INFO] [stdout]   14:     0x58b2c1caab65 - test[aada8e7e76ba119b]::run_test::{closure#0}
[INFO] [stdout]   15:     0x58b2c1ca4454 - std[617be2ca0a6fd877]::sys::backtrace::__rust_begin_short_backtrace::<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>
[INFO] [stdout]   16:     0x58b2c1cadbf2 - <std[617be2ca0a6fd877]::thread::lifecycle::spawn_unchecked<test[aada8e7e76ba119b]::run_test::{closure#1}, ()>::{closure#1} as core[a373ad73a504971]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]   17:     0x58b2c1e157ef - <std[617be2ca0a6fd877]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]   18:     0x7a5648b7adfa - <unknown>
[INFO] [stdout]   19:     0x7a5648c0e3d4 - clone
[INFO] [stdout]   20:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     example_archives_parse
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 1 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46", kill_on_drop: false }`
[INFO] [stdout] ce378eba0494170e0a21d4226eb730a0d1b1659a87f55ee4cc6b3264a4134e46
