[INFO] cloning repository https://github.com/alexjackson1/pickaxe [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/alexjackson1/pickaxe" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falexjackson1%2Fpickaxe", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falexjackson1%2Fpickaxe'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 9cf087344e5edb829094efb3cd578cb31e744458 [INFO] testing alexjackson1/pickaxe against master#f9988fefd3add01f414f52b414308e7872622fee for pr-155114 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Falexjackson1%2Fpickaxe" "/workspace/builds/worker-3-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/alexjackson1/pickaxe [INFO] removed 0 missing examples [INFO] finished tweaking git repo https://github.com/alexjackson1/pickaxe [INFO] tweaked toml for git repo https://github.com/alexjackson1/pickaxe written to /workspace/builds/worker-3-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/alexjackson1/pickaxe on toolchain f9988fefd3add01f414f52b414308e7872622fee [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/alexjackson1/pickaxe 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" "+f9988fefd3add01f414f52b414308e7872622fee" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Updating crates.io index [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rustsat-batsat v0.7.5 [INFO] [stderr] Downloaded cc v1.2.57 [INFO] [stderr] Downloaded bit-vec v0.5.1 [INFO] [stderr] Downloaded assert_cmd v2.2.0 [INFO] [stderr] Downloaded batsat v0.6.0 [INFO] [stderr] Downloaded zerocopy-derive v0.8.47 [INFO] [stderr] Downloaded rustsat v0.7.5 [INFO] [stderr] Downloaded zerocopy v0.8.47 [INFO] [stderr] Downloaded rustsat-cadical v0.7.5 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+f9988fefd3add01f414f52b414308e7872622fee" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07 [INFO] running `Command { std: "docker" "start" "-a" "bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07", kill_on_drop: false }` [INFO] [stdout] bb1a1dbe3363560d3ebb9c4c66de05f4d4c27158bfcce1c16c0919c2b34ddb07 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+f9988fefd3add01f414f52b414308e7872622fee" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291 [INFO] running `Command { std: "docker" "start" "-a" "99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.183 [INFO] [stderr] Compiling getrandom v0.4.2 [INFO] [stderr] Compiling memchr v2.8.0 [INFO] [stderr] Compiling bitflags v2.11.0 [INFO] [stderr] Compiling proc-macro2 v1.0.106 [INFO] [stderr] Compiling once_cell v1.21.4 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling bit-vec v0.5.1 [INFO] [stderr] Compiling winnow v0.7.15 [INFO] [stderr] Compiling batsat v0.6.0 [INFO] [stderr] Compiling rustix v1.1.4 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Compiling serde_json v1.0.149 [INFO] [stderr] Compiling quote v1.0.45 [INFO] [stderr] Compiling syn v2.0.117 [INFO] [stderr] Compiling cpu-time v1.0.0 [INFO] [stderr] Compiling tempfile v3.27.0 [INFO] [stderr] Compiling serde_derive v1.0.228 [INFO] [stderr] Compiling thiserror-impl v2.0.18 [INFO] [stderr] Compiling thiserror v2.0.18 [INFO] [stderr] Compiling rustsat v0.7.5 [INFO] [stderr] Compiling serde v1.0.228 [INFO] [stderr] Compiling toml_datetime v0.6.11 [INFO] [stderr] Compiling serde_spanned v0.6.9 [INFO] [stderr] Compiling toml_edit v0.22.27 [INFO] [stderr] Compiling rustsat-batsat v0.7.5 [INFO] [stderr] Compiling toml v0.8.23 [INFO] [stderr] Compiling pickaxe-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.63s [INFO] running `Command { std: "docker" "inspect" "99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291", kill_on_drop: false }` [INFO] [stdout] 99851c85b7f85c03890ca5907f57db8d58ff01fec979572db00173049f1e7291 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d [INFO] running `Command { std: "docker" "start" "-a" "c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d", kill_on_drop: false }` [INFO] [stderr] Compiling aho-corasick v1.1.4 [INFO] [stderr] Compiling zerocopy v0.8.47 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling wait-timeout v0.2.1 [INFO] [stderr] Compiling getrandom v0.3.4 [INFO] [stderr] Compiling predicates-core v1.0.10 [INFO] [stderr] Compiling assert_cmd v2.2.0 [INFO] [stderr] Compiling difflib v0.4.0 [INFO] [stderr] Compiling normalize-line-endings v0.3.0 [INFO] [stderr] Compiling termtree v0.5.1 [INFO] [stderr] Compiling anstyle v1.0.14 [INFO] [stderr] Compiling bit-vec v0.8.0 [INFO] [stderr] Compiling unarray v0.1.4 [INFO] [stderr] Compiling predicates-tree v1.0.13 [INFO] [stderr] Compiling rusty-fork v0.3.1 [INFO] [stderr] Compiling bit-set v0.8.0 [INFO] [stderr] Compiling rand_core v0.9.5 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling rand_xorshift v0.4.0 [INFO] [stderr] Compiling regex-automata v0.4.14 [INFO] [stderr] Compiling float-cmp v0.10.0 [INFO] [stderr] Compiling regex v1.12.3 [INFO] [stderr] Compiling bstr v1.12.1 [INFO] [stderr] Compiling predicates v3.1.4 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling proptest v1.10.0 [INFO] [stderr] Compiling pickaxe-rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 25.34s [INFO] running `Command { std: "docker" "inspect" "c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d", kill_on_drop: false }` [INFO] [stdout] c27c7658b44a26dea5f35dbf926d791bbe795d76b9b4f2d88927290574653c8d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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" "+f9988fefd3add01f414f52b414308e7872622fee" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970 [INFO] running `Command { std: "docker" "start" "-a" "d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.12s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pickaxe_rs-34aba6c2ee9d19b5) [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/accrual_evaluator_tests.rs (/opt/rustwide/target/debug/deps/accrual_evaluator_tests-f472bf281290769c) [INFO] [stdout] [INFO] [stdout] running 17 tests [INFO] [stdout] test basic_accrual::classical_divergence_baseline ... ok [INFO] [stdout] test basic_accrual::reduction_property_unique_conclusions ... ok [INFO] [stdout] test basic_accrual::accrual_equal_strength_mutual_defeat ... ok [INFO] [stdout] test fixpoint_convergence::unattacked_premises_in ... ok [INFO] [stdout] test accrual_principles::subsumption_preserves_justification ... ok [INFO] [stdout] test fixpoint_convergence::mutual_rebuttal_cycle_undecided ... ok [INFO] [stdout] test pipeline_integration::pipeline_accrual_constructor ... ok [INFO] [stdout] test fixpoint_convergence::chain_of_five ... ok [INFO] [stdout] test accrual_principles::flawed_arguments_excluded ... ok [INFO] [stdout] test pipeline_integration::pipeline_equivalence_unique_conclusions ... ok [INFO] [stdout] test accrual_equivalence_example_3_7 ... ok [INFO] [stdout] test semantics_coverage::preferred_produces_multiple_labellings ... ok [INFO] [stdout] test semantics_coverage::reduction_property_preferred ... ok [INFO] [stdout] test semantics_coverage::stable_semantics ... ok [INFO] [stdout] test semantics_coverage::dungean_inclusion_relationships ... ok [INFO] [stdout] test legal_reasoning::legislative_debate_both_premises_defeated ... ok [INFO] [stdout] test legal_reasoning::legislative_debate_equal_ordering_undecided ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.25s [INFO] [stdout] [INFO] [stderr] Running tests/argument_construction_tests.rs (/opt/rustwide/target/debug/deps/argument_construction_tests-8c8ffd841452ea0e) [INFO] [stdout] [INFO] [stdout] running 26 tests [INFO] [stdout] test test_empty_knowledge_base ... ok [INFO] [stdout] test test_premise_only_no_rules ... ok [INFO] [stdout] test test_multiple_proof_paths_preserved ... ok [INFO] [stdout] test test_direct_sub_ids ... ok [INFO] [stdout] test test_last_def_rules_definition_3_20_example ... ok [INFO] [stdout] test test_store_all_arguments_order ... ok [INFO] [stdout] test test_last_def_rules_defeasible_top ... ok [INFO] [stdout] test test_property_combinations ... ok [INFO] [stdout] test test_accessor_a3_strict_over_defeasible ... ok [INFO] [stdout] test test_last_def_rules_premise_arg ... ok [INFO] [stdout] test test_argument_ids_sequential ... ok [INFO] [stdout] test test_accessor_a2_defeasible_inference ... ok [INFO] [stdout] test test_no_duplicate_arguments ... ok [INFO] [stdout] test test_accessor_a1_premise ... ok [INFO] [stdout] test test_non_circular_paths_preserved ... ok [INFO] [stdout] test test_store_arguments_for ... ok [INFO] [stdout] test test_premises_multi_level ... ok [INFO] [stdout] test test_last_def_rules_strict_top_propagation ... ok [INFO] [stdout] test test_example_3_7_all_arguments_present ... ok [INFO] [stdout] test test_store_conclusion_index_consistency ... ok [INFO] [stdout] test test_store_get_valid_and_invalid_ids ... ok [INFO] [stdout] test test_store_next_id ... ok [INFO] [stdout] test test_three_rule_cycle_terminates ... ok [INFO] [stdout] test test_two_rule_cycle_terminates ... ok [INFO] [stdout] test test_zero_antecedent_rule ... ok [INFO] [stdout] test test_sub_argument_ids_includes_self ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/attack_relations_tests.rs (/opt/rustwide/target/debug/deps/attack_relations_tests-feacfd8c98f3a0f0) [INFO] [stdout] [INFO] [stdout] running 25 tests [INFO] [stdout] test test_empty_store_no_attacks ... ok [INFO] [stdout] test test_no_contrariness_no_attacks ... ok [INFO] [stdout] test test_axiom_only_no_attacks ... ok [INFO] [stdout] test test_ordinary_premise_undermined ... ok [INFO] [stdout] test test_example_4_1_no_undermine_across_domains ... ok [INFO] [stdout] test test_pairwise_indexed_equivalence_example_4_1 ... ok [INFO] [stdout] test test_example_3_7_attack_count ... ok [INFO] [stdout] test test_example_4_1_no_rebut_on_strict_top ... ok [INFO] [stdout] test contradictory_defeat_subject_to_preference ... ok [INFO] [stdout] test test_attack_kind_fields_correct ... ok [INFO] [stdout] test test_pairwise_indexed_equivalence_example_3_7 ... ok [INFO] [stdout] test test_example_3_7_undercut_attacks ... ok [INFO] [stdout] test test_example_3_7_no_attack_on_axiom_premise ... ok [INFO] [stdout] test test_example_3_7_rebut_attacks ... ok [INFO] [stdout] test test_example_4_1_rebut_on_defeasible_sub ... ok [INFO] [stdout] test test_axiom_premise_not_undermined ... ok [INFO] [stdout] test contrary_defeat_bypasses_preference ... ok [INFO] [stdout] test test_named_rule_undercut ... ok [INFO] [stdout] test test_relation_between_contradictory ... ok [INFO] [stdout] test test_example_3_7_undermine_attacks ... ok [INFO] [stdout] test test_example_3_7_no_rebut_on_strict_top ... ok [INFO] [stdout] test test_relation_between_classical_negation ... ok [INFO] [stdout] test test_relation_between_contrary ... ok [INFO] [stdout] test test_self_attack ... ok [INFO] [stdout] test test_unnamed_rule_not_undercut ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/classical_examples.rs (/opt/rustwide/target/debug/deps/classical_examples-d50c51c544d3ba85) [INFO] [stdout] [INFO] [stdout] running 4 tests [INFO] [stdout] test chained_strict_reasoning ... ok [INFO] [stdout] test strict_reasoning ... ok [INFO] [stdout] test nixon_diamond ... ok [INFO] [stdout] test tweety_triangle ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/cli_integration.rs (/opt/rustwide/target/debug/deps/cli_integration-937ca16b895ef521) [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/consistency_tests.rs (/opt/rustwide/target/debug/deps/consistency_tests-7ed0e139cb660dfe) [INFO] [stdout] [INFO] [stdout] running 15 tests [INFO] [stdout] test directly_consistent_empty_set ... ok [INFO] [stdout] test directly_inconsistent_classical_negation ... ok [INFO] [stdout] test directly_consistent_no_conflict ... ok [INFO] [stdout] test directly_consistent_but_indirectly_inconsistent ... ok [INFO] [stdout] test directly_consistent_singleton ... ok [INFO] [stdout] test directly_inconsistent_explicit_contrary ... ok [INFO] [stdout] test indirectly_and_directly_consistent ... ok [INFO] [stdout] test indirectly_inconsistent_via_strict_rule ... ok [INFO] [stdout] test indirect_consistency_no_strict_rules_equals_direct ... ok [INFO] [stdout] test strict_closure_chained_rules ... ok [INFO] [stdout] test strict_closure_basic ... ok [INFO] [stdout] test strict_closure_idempotence ... ok [INFO] [stdout] test strict_closure_no_rules ... ok [INFO] [stdout] test strict_closure_empty_initial_set ... ok [INFO] [stdout] test strict_closure_no_applicable_rules ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/contrariness_validation_tests.rs (/opt/rustwide/target/debug/deps/contrariness_validation_tests-58a0469c2b8f1949) [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test classical_negation_disabled_by_default ... ok [INFO] [stdout] test classical_negation_makes_p_and_neg_p_contraries ... ok [INFO] [stdout] test classical_negation_with_predicate_atom ... ok [INFO] [stdout] test contradictory_is_symmetric ... ok [INFO] [stdout] test contradictory_entries_have_contradictory_relation ... ok [INFO] [stdout] test contraries_of_returns_explicit_entries ... ok [INFO] [stdout] test contraries_of_returns_no_duplicates_with_classical_negation ... ok [INFO] [stdout] test contraries_of_union_of_explicit_and_classical ... ok [INFO] [stdout] test contrary_is_asymmetric ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/cross_cutting_tests.rs (/opt/rustwide/target/debug/deps/cross_cutting_tests-41eb80234b8b61a4) [INFO] [stdout] [INFO] [stdout] running 31 tests [INFO] [stdout] test error_handling::aspartix_parse_bad_syntax ... ok [INFO] [stdout] test error_handling::error_display_messages ... ok [INFO] [stdout] test error_handling::aspartix_parse_undefined_argument ... ok [INFO] [stdout] test error_handling::all_variants_constructable ... ok [INFO] [stdout] test export::aspartix_format_conformance ... ok [INFO] [stdout] test export::aspartix_round_trip ... ok [INFO] [stdout] test export::iccma_empty_framework ... ok [INFO] [stdout] test export::tgf_empty_framework ... ok [INFO] [stdout] test export::dot_format_conformance ... ok [INFO] [stdout] test export::dot_escapes_quotes ... ok [INFO] [stdout] test export::iccma_format_conformance ... ok [INFO] [stdout] test export::tgf_format_conformance ... ok [INFO] [stdout] test pipeline::trait_objects_are_send_sync ... ok [INFO] [stdout] test serialization::classical_negation_flag_preserved ... ok [INFO] [stdout] test serialization::contradictory_pair_deduplication ... ok [INFO] [stdout] test pipeline::trait_substitutability ... ok [INFO] [stdout] test pipeline::classical_pipeline_equal_ordering ... ok [INFO] [stdout] test pipeline::classical_pipeline_scenario_a ... ok [INFO] [stdout] test serialization::serializable_system_captures_all_fields ... ok [INFO] [stdout] test pipeline::optimised_matches_classical ... ok [INFO] [stdout] test unknown_contrariness_relation_returns_error ... ok [INFO] [stdout] test serialization::empty_system_round_trip ... ok [INFO] [stdout] test serialization::json_round_trip_grounded ... ok [INFO] [stdout] test pipeline::pipeline_result_fields_populated ... ok [INFO] [stdout] test serialization::round_trip_with_nontrivial_ordering ... ok [INFO] [stdout] test unknown_premise_kind_returns_error ... ok [INFO] [stdout] test json_round_trip_property ... ok [INFO] [stdout] test serialization::toml_round_trip_grounded ... ok [INFO] [stdout] test pipeline::pipeline_multiple_semantics ... ok [INFO] [stdout] test toml_json_equivalence_property ... ok [INFO] [stdout] test serialization::round_trip_preferred_and_stable ... ok [INFO] [stdout] [INFO] [stderr] Running tests/formula_validation_tests.rs (/opt/rustwide/target/debug/deps/formula_validation_tests-56f62fb662c389a9) [INFO] [stdout] test result: ok. 31 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.07s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test classical_negation_of_neg_literal_yields_pos ... ok [INFO] [stdout] test classical_negation_of_pos_literal_yields_neg ... ok [INFO] [stdout] test disjunction_macro ... ok [INFO] [stdout] test classical_negation_of_and_wraps_in_not ... ok [INFO] [stdout] test conjunction_macro ... ok [INFO] [stdout] test classical_negation_of_implies_wraps_in_not ... ok [INFO] [stdout] test double_negate_is_identity ... ok [INFO] [stdout] test implication_macro ... ok [INFO] [stdout] test neg_negate_yields_pos ... ok [INFO] [stdout] test mixed_variables_and_constants ... ok [INFO] [stdout] test negated_atom_with_terms ... ok [INFO] [stdout] test lowercase_identifier_is_constant ... ok [INFO] [stdout] test negated_propositional_atom ... ok [INFO] [stdout] test pos_negate_yields_neg ... ok [INFO] [stdout] test propositional_atom_has_no_terms ... ok [INFO] [stdout] test uppercase_identifier_is_variable ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running tests/grounding_tests.rs (/opt/rustwide/target/debug/deps/grounding_tests-5cbe8f6a304a45ae) [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test formula_substitution ... ok [INFO] [stdout] test contrariness_grounding_shared_variables ... ok [INFO] [stdout] test formula_is_ground ... ok [INFO] [stdout] test formula_variable_collection ... ok [INFO] [stderr] Running tests/instantiation_pattern_tests.rs (/opt/rustwide/target/debug/deps/instantiation_pattern_tests-16b520bf39d4a35f) [INFO] [stdout] test grounding_already_ground ... ok [INFO] [stdout] test grounding_does_not_inject_default_when_constants_exist ... ok [INFO] [stdout] test grounding_conservative_instantiation ... ok [INFO] [stdout] test grounding_injects_default_when_no_constants ... ok [INFO] [stdout] test grounding_preserves_contrariness_relation_types ... ok [INFO] [stdout] test grounding_preserves_premise_kinds ... ok [INFO] [stdout] test grounding_multiple_variables ... ok [INFO] [stdout] test strict_cycle_terminates_safely ... ok [INFO] [stdout] test grounding_single_variable ... ok [INFO] [stdout] test grounding_preserves_defeasible_rule_names ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 14 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test test_no_defeasible_rules_max_consistent_subsets ... ok [INFO] [stdout] test test_no_defeasible_rules_total_ordering ... ok [INFO] [stdout] test test_no_defeasible_rules_undermining_only ... ok [INFO] [stdout] test test_tweety_material_implications ... ok [INFO] [stdout] test test_negation_as_failure_defeats_bypass_preferences ... ok [INFO] [stdout] test test_negation_as_failure_asymmetric_direction ... ok [INFO] [stdout] test test_negation_as_failure_contrary_attack ... ok [INFO] [stdout] test test_witness_testimony_attack_relations ... ok [INFO] [stdout] test test_bachelor_married_material_implication ... ok [INFO] [stdout] test test_witness_testimony_argument_construction ... ok [INFO] [stdout] test test_witness_testimony_extensions ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 4.21s [INFO] [stdout] [INFO] [stderr] Running tests/ordering_reasonableness_tests.rs (/opt/rustwide/target/debug/deps/ordering_reasonableness_tests-ae6324725e8bade3) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test strict_firm_preferred ... ok [INFO] [stdout] test ordering_acyclicity ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s [INFO] [stdout] [INFO] [stderr] Running tests/orderings_and_defeat_tests.rs (/opt/rustwide/target/debug/deps/orderings_and_defeat_tests-1701eae18816fe69) [INFO] [stdout] [INFO] [stdout] running 30 tests [INFO] [stdout] test democratic_strict_empty_handling ... ok [INFO] [stdout] test democratic_strict_forall_exists ... ok [INFO] [stdout] test last_link_missing_argument_id ... ok [INFO] [stdout] test defeat_last_link_example ... ok [INFO] [stdout] test dyrkolbotn_corrected_elitist_no_false_strict ... ok [INFO] [stdout] test last_link_example_3_25_library_access ... ok [INFO] [stdout] test last_link_democratic_vs_elitist ... ok [INFO] [stdout] test defeat_comparison_point_is_target_sub ... ok [INFO] [stdout] test defeat_weakest_link_example ... ok [INFO] [stdout] test no_preference_ordering ... ok [INFO] [stdout] test preference_is_leq ... ok [INFO] [stdout] test last_link_ordering_basic ... ok [INFO] [stdout] test tiered_ordering_example ... ok [INFO] [stdout] test tiered_ordering_formula_as_premise_ordering ... ok [INFO] [stdout] test tiered_ordering_tiered_vs_untiered ... ok [INFO] [stdout] test tiered_rule_ordering ... ok [INFO] [stdout] test elitist_vs_democratic_lifted_difference ... ok [INFO] [stdout] test last_link_ordering_mixed_last_rules ... ok [INFO] [stdout] test last_link_example_3_22 ... ok [INFO] [stdout] test last_link_premise_fallback ... ok [INFO] [stdout] test weakest_link_example_3_25_library_access ... ok [INFO] [stdout] test weakest_link_firm_but_defeasible ... ok [INFO] [stdout] test weakest_link_firm_strict_equal ... ok [INFO] [stdout] test weakest_link_democratic_vs_elitist ... ok [INFO] [stdout] test weakest_link_example_3_24 ... ok [INFO] [stdout] test weakest_link_firm_strict_vs_nonfirm ... ok [INFO] [stdout] test weakest_link_strict_but_plausible ... ok [INFO] [stdout] test undercut_always_succeeds_regardless_of_ordering ... ok [INFO] [stdout] test weakest_link_missing_argument_id ... ok [INFO] [stdout] test deterministic_incomparable_ordering ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s [INFO] [stdout] [INFO] [stderr] Running tests/postulate_tests.rs (/opt/rustwide/target/debug/deps/postulate_tests-f57bf61717bd2339) [INFO] [stdout] [INFO] [stdout] running 8 tests [INFO] [stdout] test contraposition_closure_missing_modus_tollens ... ok [INFO] [stdout] test contraposition_closure_empty_rules ... ok [INFO] [stdout] test bachelor_married_no_transposition ... ok [INFO] [stdout] test contraposition_closure_classical_logic ... ok [INFO] [stdout] test bachelor_married_with_transposition ... ok [INFO] [stdout] test example_4_4_with_transposition ... ok [INFO] [stdout] test example_4_4_no_transposition ... ok [INFO] [stdout] test postulate_satisfaction ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 8 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s [INFO] [stdout] [INFO] [stderr] Running tests/pyarg_tests.rs (/opt/rustwide/target/debug/deps/pyarg_tests-aade08d0cbc4fa91) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test pyarg_af_from_scratch ... ok [INFO] [stdout] test pyarg_modgil_prakken_aij_argument_count ... ok [INFO] [stdout] test pyarg_af_from_aspartix ... ok [INFO] [stdout] test pyarg_modgil_prakken_aij_attack_count_extended ... ok [INFO] [stdout] test pyarg_modgil_prakken_aij_defeat_count ... ok [INFO] [stdout] test pyarg_af_complete_semantics ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stderr] Running tests/running_example_tests.rs (/opt/rustwide/target/debug/deps/running_example_tests-7fe91e5408e1c19d) [INFO] [stdout] [INFO] [stdout] running 23 tests [INFO] [stdout] test test_04_extensions_scenario_a ... ok [INFO] [stdout] test test_02_attack_classification ... ok [INFO] [stdout] test test_05_extensions_scenario_b ... ok [INFO] [stdout] test test_03_defeat_with_last_link ... ok [INFO] [stdout] test test_10_bachelor_married_no_transposition ... ok [INFO] [stdout] test test_15b_undermining_premise_preferred ... ok [INFO] [stdout] test test_15c_undermining_defeasible_preferred ... ok [INFO] [stdout] test test_16_strict_rules_cannot_be_attacked ... ok [INFO] [stdout] test test_01_argument_construction ... ok [INFO] [stdout] test test_18_self_defeating_argument ... ok [INFO] [stdout] test test_08_transposition ... ok [INFO] [stdout] test test_17_last_def_rules_through_mixed_chains ... ok [INFO] [stdout] test test_15a_undermining_no_preferences ... ok [INFO] [stdout] test test_11a_library_access_last_link ... ok [INFO] [stdout] test test_19_odd_cycle_three_arguments ... ok [INFO] [stdout] test test_14_undercutting_immune_to_preferences ... ok [INFO] [stdout] test test_12_scottish_whisky_weakest_link ... ok [INFO] [stdout] test test_20_even_cycle_two_arguments ... ok [INFO] [stdout] test test_13_tweety_undercutting ... ok [INFO] [stdout] test test_06_extensions_scenario_c ... ok [INFO] [stdout] test test_09_bachelor_married ... ok [INFO] [stdout] test test_11b_library_access_weakest_link ... ok [INFO] [stderr] Running tests/saf_and_af_tests.rs (/opt/rustwide/target/debug/deps/saf_and_af_tests-e6f38f1b127eb050) [INFO] [stdout] test test_07_extensions_scenario_d ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 23 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 26 tests [INFO] [stdout] test af_empty_store_produces_empty_framework ... ok [INFO] [stdout] test af_all_undercut_attacks_become_defeats ... ok [INFO] [stdout] test af_deduplicates_defeat_pairs ... ok [INFO] [stdout] test af_attackers_of_returns_correct_set ... ok [INFO] [stdout] test af_arguments_match_store ... ok [INFO] [stdout] test defeat_rebut_succeeds_when_equal_or_preferred ... ok [INFO] [stdout] test complete_fixed_point ... ok [INFO] [stdout] test defeat_all_attacks_succeed_with_no_preference ... ok [INFO] [stdout] test defends_vacuous_no_attackers ... ok [INFO] [stdout] test defends_requires_counter ... ok [INFO] [stdout] test defeat_undermine_blocked_when_strictly_dispreffered ... ok [INFO] [stdout] test af_attacked_by_returns_correct_set ... ok [INFO] [stdout] test example_3_18_case_1_d4_strictly_preferred ... ok [INFO] [stdout] test classical_evaluator_produces_correct_af ... ok [INFO] [stdout] test different_orderings_produce_different_afs ... ok [INFO] [stdout] test stable_attacks_all_outsiders ... ok [INFO] [stdout] test defeat_rebut_blocked_when_strictly_dispreffered ... ok [INFO] [stdout] test stable_not_conflict_free_fails ... ok [INFO] [stdout] test admissible_empty_set ... ok [INFO] [stdout] test af_no_attacks_all_conflict_free ... ok [INFO] [stdout] test example_3_18_case_3_mutual_defeat ... ok [INFO] [stdout] test conflict_free_basic ... ok [INFO] [stdout] test conflict_free_self_attack ... ok [INFO] [stdout] test admissible_defends_all_members ... ok [INFO] [stdout] test example_3_18_case_2_b2_strictly_preferred ... ok [INFO] [stderr] Running tests/semantics_tests.rs (/opt/rustwide/target/debug/deps/semantics_tests-8b769b9896694e2f) [INFO] [stdout] test defeat_undercut_always_succeeds ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 45 tests [INFO] [stdout] test admissible_labelling_chain ... ok [INFO] [stdout] test admissible_labelling_empty_extension ... ok [INFO] [stdout] test admissible_self_attack ... ok [INFO] [stdout] test admissible_mutual_defeat ... ok [INFO] [stdout] test admissible_empty_af ... ok [INFO] [stdout] test admissible_chain ... ok [INFO] [stdout] test admissible_single_unattacked ... ok [INFO] [stdout] test export_formats ... ok [INFO] [stdout] test complete_mutual_attack ... ok [INFO] [stdout] test benchmark_grounded_subset_of_preferred ... ok [INFO] [stdout] test grounded_single_unattacked ... ok [INFO] [stdout] test empty_framework ... ok [INFO] [stdout] test grounded_mutual_attack ... ok [INFO] [stdout] test grounded_chain ... ok [INFO] [stdout] test grounded_labelling_test ... ok [INFO] [stdout] test grounded_labelling_mutual ... ok [INFO] [stdout] test ideal_with_unattacked ... ok [INFO] [stdout] test eager_with_unattacked ... ok [INFO] [stdout] test justification_sceptical_and_credulous ... ok [INFO] [stdout] test preferred_mutual_attack ... ok [INFO] [stdout] test odd_cycle_no_stable ... ok [INFO] [stdout] test prop_stable_subset_of_preferred ... ok [INFO] [stdout] test prop_labelling_in_args_eq_extension ... ok [INFO] [stdout] test self_attack ... ok [INFO] [stdout] test self_attack_all_semantics ... ok [INFO] [stdout] test semi_stable_mutual_defeat ... ok [INFO] [stdout] test semi_stable_three_cycle ... ok [INFO] [stdout] test admissible_sets_are_self_defending ... ok [INFO] [stdout] test stable_labellings_no_undec ... ok [INFO] [stdout] test admissible_always_includes_empty_set ... ok [INFO] [stdout] test admissible_sets_are_conflict_free ... ok [INFO] [stdout] test admissible_complete_extensions_are_admissible ... ok [INFO] [stdout] test prop_grounded_subset_of_preferred ... ok [INFO] [stdout] test admissible_preferred_extensions_are_admissible ... ok [INFO] [stdout] test prop_preferred_is_complete ... ok [INFO] [stdout] test stable_mutual_attack ... ok [INFO] [stdout] test admissible_labellings_are_consistent ... ok [INFO] [stdout] test prop_labelling_partitions_af ... ok [INFO] [stdout] test scc_admissible_matches_naive ... ok [INFO] [stdout] test prop_ideal_subset_of_preferred ... ok [INFO] [stdout] test sat_admissible_matches_naive ... ok [INFO] [stdout] test smoke_arb_af_has_args ... ok [INFO] [stdout] test prop_stable_labelling_no_undec ... ok [INFO] [stdout] test prop_all_semantics_return_extensions ... ok [INFO] [stdout] test scc_ideal_matches_naive ... ok [INFO] [stderr] Running tests/set_preference_and_trait_tests.rs (/opt/rustwide/target/debug/deps/set_preference_and_trait_tests-57f404066d225cc1) [INFO] [stdout] [INFO] [stdout] test result: ok. 45 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.52s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test accrual_evaluator::accrual_evaluator_implements_evaluator ... ok [INFO] [stdout] test accrual_evaluator::evaluator_trait_object_safe ... ok [INFO] [stdout] test accrual_evaluator::classical_baseline_for_accrual_divergence ... ok [INFO] [stdout] test set_preference::democratic_dominance ... ok [INFO] [stdout] test set_preference::elitist_democratic_divergence ... ok [INFO] [stdout] test set_preference::empty_set_rules ... ok [INFO] [stdout] test set_preference::elitist_dominance ... ok [INFO] [stdout] test accrual_evaluator::accrual_example_4_2_divergence ... ok [INFO] [stdout] test set_preference::equal_singleton_sets ... ok [INFO] [stdout] test property_tests::democratic_reflexive ... ok [INFO] [stderr] Running tests/solver_backend_tests.rs (/opt/rustwide/target/debug/deps/solver_backend_tests-a001901f08817c6a) [INFO] [stdout] test property_tests::elitist_reflexive ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 46 tests [INFO] [stdout] test sat_backend_tests::sat_admissible_empty_af ... ok [INFO] [stdout] test sat_backend_tests::sat_grounded_matches_naive ... ok [INFO] [stdout] test sat_backend_tests::sat_admissible_chain ... ok [INFO] [stdout] test sat_backend_tests::sat_stable_chain ... ok [INFO] [stdout] test sat_backend_tests::sat_complete_mutual_attack ... ok [INFO] [stdout] test sat_backend_tests::sat_preferred_chain ... ok [INFO] [stdout] test sat_backend_tests::sat_stable_mutual_attack ... ok [INFO] [stdout] test sat_backend_tests::sat_preferred_mutual_attack ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_admissible_chain ... ok [INFO] [stdout] test indexed_attack_matches_pairwise ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_admissible_out_attacker ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_complete_chain ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_grounded_matches_naive ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_ideal_chain ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_ideal_mutual_attack_with_unattacked ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_complete ... ok [INFO] [stdout] test sat_backend_tests::scc_sat_ideal_multi_scc ... ok [INFO] [stdout] test optimised_pipeline_matches_classical ... ok [INFO] [stdout] test sat_backend_tests::sat_admissible_mutual_attack ... ok [INFO] [stdout] test sat_backend_tests::sat_complete_chain ... ok [INFO] [stdout] test sat_backend_tests::sat_empty_framework ... ok [INFO] [stdout] test sat_backend_tests::sat_stable_self_attack ... ok [INFO] [stdout] test sat_backend_tests::scc_sat_admissible_chain ... ok [INFO] [stdout] test sat_backend_tests::scc_sat_admissible_out_attacker ... ok [INFO] [stdout] test sat_backend_tests::scc_sat_out_attacker_stable ... ok [INFO] [stdout] test sat_backend_tests::scc_sat_preferred_mutual_attack ... ok [INFO] [stdout] test sat_backend_tests::scc_sat_stable_chain ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_admissible_empty_af ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_admissible_mutual_attack ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_admissible_no_attacks ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_grounded ... ok [INFO] [stdout] test sat_backend_tests::scc_sat_out_attacker_complete ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_preferred_mutual_attack ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_preferred ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_out_attacker_stable ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_stable_matches_naive ... ok [INFO] [stdout] test sat_backend_tests::scc_solver_undecided_attacker_grounded ... ok [INFO] [stdout] test scc_cycle_of_three ... ok [INFO] [stdout] test scc_two_components ... ok [INFO] [stdout] test semi_naive_matches_naive_on_ground_system ... ok [INFO] [stdout] test sub_framework_extracts_correctly ... ok [INFO] [stdout] test scc_diamond ... ok [INFO] [stdout] test scc_single_argument ... ok [INFO] [stdout] test scc_linear_chain ... ok [INFO] [stdout] test scc_mutual_attack ... ok [INFO] [stdout] test semi_naive_produces_valid_grounded_system ... ok [INFO] [stderr] Running tests/system_validation_tests.rs (/opt/rustwide/target/debug/deps/system_validation_tests-ede1153a6ef6b66a) [INFO] [stdout] [INFO] [stdout] test result: ok. 46 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 38 tests [INFO] [stdout] test axiom_premise_kind ... ok [INFO] [stdout] test aspic_system_bundles_as_and_k ... ok [INFO] [stdout] test builder_fluent_api_all_methods ... ok [INFO] [stdout] test closed_transposition_no_warning ... ok [INFO] [stdout] test build_returns_tuple_with_empty_warnings_for_well_defined_at ... ok [INFO] [stdout] test contrary_well_formedness_no_warning_for_contradictory ... ok [INFO] [stdout] test consistent_axioms_no_warning ... ok [INFO] [stdout] test contraposition_not_checked_at_build_time ... ok [INFO] [stdout] test contrary_well_formedness_no_warning_when_valid ... ok [INFO] [stdout] test contrary_well_formedness_target_is_axiom ... ok [INFO] [stdout] test domain_specific_rules ... ok [INFO] [stdout] test edge_case_combined_warnings ... ok [INFO] [stdout] test edge_case_duplicate_formulae_across_premise_kinds ... ok [INFO] [stdout] test edge_case_empty_knowledge_base ... ok [INFO] [stdout] test edge_case_empty_defeasible_rules ... ok [INFO] [stdout] test contrary_well_formedness_target_is_strict_consequent ... ok [INFO] [stdout] test edge_case_empty_strict_rules ... ok [INFO] [stdout] test defeasible_rule_has_id_antecedents_consequent_name ... ok [INFO] [stdout] test indirect_axiom_inconsistency_via_strict_closure ... ok [INFO] [stdout] test inconsistent_axioms_produce_warning ... ok [INFO] [stdout] test named_rule_has_n_defined ... ok [INFO] [stdout] test multi_antecedent_fully_closed ... ok [INFO] [stdout] test premise_kind_partition_exhaustive ... ok [INFO] [stderr] Running tests/task_mode_tests.rs (/opt/rustwide/target/debug/deps/task_mode_tests-998a9e4adcbe5b62) [INFO] [stdout] test rule_enum_antecedents_accessor ... ok [INFO] [stdout] test multi_antecedent_transposition ... ok [INFO] [stdout] test rule_id_and_name_are_distinct ... ok [INFO] [stdout] test missing_transposition_produces_warning ... ok [INFO] [stdout] test rules_are_meta_level_not_formulae_in_l ... ok [INFO] [stdout] test unnamed_rule_has_n_undefined ... ok [INFO] [stdout] test ordinary_premise_kind ... ok [INFO] [stdout] test rule_enum_consequent_accessor ... ok [INFO] [stdout] test rule_enum_id_accessor ... ok [INFO] [stdout] test rule_enum_is_strict_is_defeasible ... ok [INFO] [stdout] test strict_rule_has_id_antecedents_consequent ... ok [INFO] [stdout] test standalone_consistency_check_still_available ... ok [INFO] [stdout] test knowledge_base_contains_premises ... ok [INFO] [stdout] test two_way_premise_classification_via_builder ... ok [INFO] [stdout] test strict_and_defeasible_rules_in_separate_collections ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 38 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 19 tests [INFO] [stdout] test find_one_no_stable_on_odd_cycle_naive ... ok [INFO] [stdout] test find_one_no_stable_on_odd_cycle_sat_scc ... ok [INFO] [stdout] test count_no_stable_on_odd_cycle_naive ... ok [INFO] [stdout] test count_unique_semantics_returns_one_naive ... ok [INFO] [stdout] test find_one_unique_semantics_matches_extensions_naive ... ok [INFO] [stdout] test empty_framework_find_one_and_count_naive ... ok [INFO] [stdout] test empty_framework_find_one_and_count_cross_backend ... ok [INFO] [stdout] test find_one_unique_semantics_matches_extensions_sat ... ok [INFO] [stdout] test count_no_stable_on_odd_cycle_sat_scc ... ok [INFO] [stdout] test find_one_unique_semantics_matches_extensions_scc ... ok [INFO] [stdout] test count_matches_extensions_len_naive ... ok [INFO] [stdout] test count_unique_semantics_returns_one_sat_scc ... ok [INFO] [stdout] test find_one_result_is_member_of_extensions_sat ... ok [INFO] [stdout] test find_one_result_is_member_of_extensions_naive ... ok [INFO] [stdout] test find_one_cross_backend_agreement ... ok [INFO] [stdout] test count_matches_extensions_len_sat ... ok [INFO] [stdout] test count_cross_backend_agreement ... ok [INFO] [stdout] test find_one_result_is_member_of_extensions_scc ... ok [INFO] [stdout] test count_matches_extensions_len_scc ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 19 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s [INFO] [stdout] [INFO] [stderr] Running tests/undercut_tests.rs (/opt/rustwide/target/debug/deps/undercut_tests-5417440846f00ee9) [INFO] [stdout] [INFO] [stdout] running 2 tests [INFO] [stdout] test basic_undercut ... ok [INFO] [stderr] Doc-tests pickaxe_rs [INFO] [stdout] test undercut_always_succeeds ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 21 tests [INFO] [stdout] test src/pipeline/evaluation/sat_solver.rs - pipeline::evaluation::sat_solver::SatSolver (line 42) ... ignored [INFO] [stdout] test src/io/export.rs - io::export (line 16) ... ok [INFO] [stdout] test src/pipeline/mod.rs - pipeline::AspicPipeline::optimised (line 170) ... ok [INFO] [stdout] test src/system/consistency.rs - system::consistency::is_directly_consistent (line 76) ... ok [INFO] [stdout] test src/lib.rs - (line 24) ... ok [INFO] [stdout] test src/language/macros.rs - language::macros::formula (line 8) ... ok [INFO] [stdout] test src/system/builder.rs - system::builder::AspicSystemBuilder (line 23) ... ok [INFO] [stdout] test src/io/native.rs - io::native::SerializableSystem (line 77) ... ok [INFO] [stdout] test src/pipeline/mod.rs - pipeline::AspicPipeline::accrual (line 196) ... ok [INFO] [stdout] test src/pipeline/mod.rs - pipeline::PipelineResult (line 101) ... ok [INFO] [stdout] test src/io/simple.rs - io::simple::build_system (line 140) ... ok [INFO] [stdout] test src/framework/abstract_af.rs - framework::abstract_af::AbstractFramework (line 40) ... ok [INFO] [stdout] test src/system/consistency.rs - system::consistency::is_indirectly_consistent (line 116) ... ok [INFO] [stdout] test src/pipeline/mod.rs - pipeline::AspicPipeline::classical (line 141) ... ok [INFO] [stdout] test src/framework/argument_store.rs - framework::argument_store::ArgumentStore (line 31) ... ok [INFO] [stdout] test src/pipeline/mod.rs - pipeline (line 42) ... ok [INFO] [stdout] test src/framework/semantics.rs - framework::semantics::Semantics (line 62) ... ok [INFO] [stdout] test src/system/ordering/mod.rs - system::ordering::TieredOrdering (line 174) ... ok [INFO] [stdout] test src/system/ordering/weakest_link.rs - system::ordering::weakest_link::WeakestLinkOrdering (line 30) ... ok [INFO] [stdout] test src/system/ordering/last_link.rs - system::ordering::last_link::LastLinkOrdering (line 25) ... ok [INFO] [stdout] test src/system/consistency.rs - system::consistency::strict_closure (line 30) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 20 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 3.45s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970", kill_on_drop: false }` [INFO] [stdout] d3a4a768a943a63daa9269853ffb82931bfed76fbd8944b668856b2985281970