[INFO] fetching crate tensorlogic-ir 0.1.0...
[INFO] testing tensorlogic-ir-0.1.0 against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739-1
[INFO] extracting crate tensorlogic-ir 0.1.0 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate tensorlogic-ir 0.1.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate tensorlogic-ir 0.1.0
[INFO] tweaked toml for crates.io crate tensorlogic-ir 0.1.0 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate tensorlogic-ir 0.1.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 tensorlogic-ir 0.1.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] 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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 757be20d9695a29cce8dbb2e01c0a59ab78b397a8b952ea293b3ebe096966adf
[INFO] running `Command { std: "docker" "start" "-a" "757be20d9695a29cce8dbb2e01c0a59ab78b397a8b952ea293b3ebe096966adf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "757be20d9695a29cce8dbb2e01c0a59ab78b397a8b952ea293b3ebe096966adf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "757be20d9695a29cce8dbb2e01c0a59ab78b397a8b952ea293b3ebe096966adf", kill_on_drop: false }`
[INFO] [stdout] 757be20d9695a29cce8dbb2e01c0a59ab78b397a8b952ea293b3ebe096966adf
[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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 52766162c50bf1ce84cf484b727154d1094b21c966534eac6e3ca3ed39501805
[INFO] running `Command { std: "docker" "start" "-a" "52766162c50bf1ce84cf484b727154d1094b21c966534eac6e3ca3ed39501805", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling oxicode_derive v0.2.1
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling oxicode v0.2.1
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling tensorlogic-ir v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.54s
[INFO] running `Command { std: "docker" "inspect" "52766162c50bf1ce84cf484b727154d1094b21c966534eac6e3ca3ed39501805", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "52766162c50bf1ce84cf484b727154d1094b21c966534eac6e3ca3ed39501805", kill_on_drop: false }`
[INFO] [stdout] 52766162c50bf1ce84cf484b727154d1094b21c966534eac6e3ca3ed39501805
[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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 66a7bf4166209a6be32956ca8ed9b435e89c0bdd68ad11727077ccf453219e16
[INFO] running `Command { std: "docker" "start" "-a" "66a7bf4166209a6be32956ca8ed9b435e89c0bdd68ad11727077ccf453219e16", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.48
[INFO] [stderr]    Compiling cc v1.2.61
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling zerocopy-derive v0.8.48
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling rayon v1.12.0
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling rand v0.9.4
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling tensorlogic-ir v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling clap v4.6.1
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling tempfile v3.27.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling half v2.7.1
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling proptest v1.11.0
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 36.60s
[INFO] running `Command { std: "docker" "inspect" "66a7bf4166209a6be32956ca8ed9b435e89c0bdd68ad11727077ccf453219e16", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "66a7bf4166209a6be32956ca8ed9b435e89c0bdd68ad11727077ccf453219e16", kill_on_drop: false }`
[INFO] [stdout] 66a7bf4166209a6be32956ca8ed9b435e89c0bdd68ad11727077ccf453219e16
[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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 603864d0b8c3726bf0f2e883c17940c836ef009940adb04f5f92eb259218b68a
[INFO] running `Command { std: "docker" "start" "-a" "603864d0b8c3726bf0f2e883c17940c836ef009940adb04f5f92eb259218b68a", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.17s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/tensorlogic_ir-3903683127f0bdcb)
[INFO] [stdout] 
[INFO] [stdout] running 753 tests
[INFO] [stdout] test clp::tests::test_boolean_domain ... ok
[INFO] [stdout] test clp::tests::test_all_different_constraint ... ok
[INFO] [stdout] test clp::tests::test_csp_no_solution ... ok
[INFO] [stdout] test clp::tests::test_domain_range ... ok
[INFO] [stdout] test clp::tests::test_interval_domain ... ok
[INFO] [stdout] test clp::tests::test_min_domain_heuristic ... ok
[INFO] [stdout] test clp::tests::test_domain_intersection ... ok
[INFO] [stdout] test clp::tests::test_simple_csp ... ok
[INFO] [stdout] test clp::tests::test_interval_intersection ... ok
[INFO] [stdout] test clp::tests::test_solver_statistics ... ok
[INFO] [stdout] test clp::tests::test_variable_assignment ... ok
[INFO] [stdout] test clp::tests::test_variable_assignment_out_of_domain ... ok
[INFO] [stdout] test dependent::tests::test_constrained_type ... ok
[INFO] [stdout] test clp::tests::test_finite_domain_creation ... ok
[INFO] [stdout] test dependent::tests::test_dependent_function_type ... ok
[INFO] [stdout] test dependent::tests::test_dependent_matrix_type ... ok
[INFO] [stdout] test dependent::tests::test_dependent_vector_type ... ok
[INFO] [stdout] test dependent::tests::test_dimension_constraints ... ok
[INFO] [stdout] test dependent::tests::test_free_index_vars_in_complex_type ... ok
[INFO] [stdout] test dependent::tests::test_index_expr_eval ... ok
[INFO] [stdout] test dependent::tests::test_index_expr_simplification ... ok
[INFO] [stdout] test dependent::tests::test_index_substitution ... ok
[INFO] [stdout] test dependent::tests::test_refinement_type ... ok
[INFO] [stdout] test dependent::tests::test_type_context_satisfiability ... ok
[INFO] [stdout] test diff::tests::test_diff_summary ... ok
[INFO] [stdout] test diff::tests::test_different_outputs ... ok
[INFO] [stdout] test diff::tests::test_different_predicates ... ok
[INFO] [stdout] test diff::tests::test_different_types ... ok
[INFO] [stdout] test diff::tests::test_different_tensor_count ... ok
[INFO] [stdout] test diff::tests::test_identical_exprs ... ok
[INFO] [stdout] test dependent::tests::test_dependent_tensor_type ... ok
[INFO] [stdout] test diff::tests::test_nested_and_difference ... ok
[INFO] [stdout] test diff::tests::test_identical_graphs ... ok
[INFO] [stdout] test display::tests::test_display_aggregate_op ... ok
[INFO] [stdout] test display::tests::test_display_aggregate_with_group_by ... ok
[INFO] [stdout] test display::tests::test_display_arithmetic ... ok
[INFO] [stdout] test display::tests::test_display_comparison ... ok
[INFO] [stdout] test display::tests::test_display_logical_ops ... ok
[INFO] [stdout] test display::tests::test_display_aggregate ... ok
[INFO] [stdout] test display::tests::test_display_quantifiers ... ok
[INFO] [stdout] test diff::tests::test_quantifier_difference ... ok
[INFO] [stdout] test display::tests::test_display_einsum_node ... ok
[INFO] [stdout] test display::tests::test_display_graph ... ok
[INFO] [stdout] test display::tests::test_display_conditional ... ok
[INFO] [stdout] test dependent::tests::test_index_expr_basics ... ok
[INFO] [stdout] test domain::tests::test_builtin_domains ... ok
[INFO] [stdout] test domain::tests::test_domain_casting ... ok
[INFO] [stdout] test domain::tests::test_domain_compatibility ... ok
[INFO] [stdout] test domain::tests::test_domain_constraints ... ok
[INFO] [stdout] test display::tests::test_display_simple_expr ... ok
[INFO] [stdout] test domain::tests::test_domain_info_creation ... ok
[INFO] [stdout] test domain::tests::test_domain_metadata ... ok
[INFO] [stdout] test domain::tests::test_domain_registry ... ok
[INFO] [stdout] test domain::tests::test_finite_domain_size_compatibility ... ok
[INFO] [stdout] test domain::tests::test_registry_casting ... ok
[INFO] [stdout] test effect_system::tests::test_effect_annotation ... ok
[INFO] [stdout] test effect_system::tests::test_custom_effect ... ok
[INFO] [stdout] test effect_system::tests::test_effect_set_subset ... ok
[INFO] [stdout] test effect_system::tests::test_effect_creation ... ok
[INFO] [stdout] test effect_system::tests::test_effect_display ... ok
[INFO] [stdout] test effect_system::tests::test_effect_set_union ... ok
[INFO] [stdout] test effect_system::tests::test_effect_conflicts ... ok
[INFO] [stdout] test effect_system::tests::test_effect_scheme_concrete ... ok
[INFO] [stdout] test effect_system::tests::test_effect_scheme_union ... ok
[INFO] [stdout] test effect_system::tests::test_effect_scheme_variable ... ok
[INFO] [stdout] test effect_system::tests::test_effect_set_differentiable ... ok
[INFO] [stdout] test effect_system::tests::test_effect_set_display ... ok
[INFO] [stdout] test effect_system::tests::test_effect_set_intersection ... ok
[INFO] [stdout] test effect_system::tests::test_effect_set_pure ... ok
[INFO] [stdout] test effect_system::tests::test_effect_set_stochastic ... ok
[INFO] [stdout] test domain::tests::test_registry_compatibility_check ... ok
[INFO] [stdout] test effect_system::tests::test_effect_var_display ... ok
[INFO] [stdout] test effect_system::tests::test_memory_effects ... ok
[INFO] [stdout] test effect_system::tests::test_non_differentiable_conflicts ... ok
[INFO] [stdout] test expr::ac_matching::tests::test_ac_equivalent ... ok
[INFO] [stdout] test expr::ac_matching::tests::test_ac_pattern_simple ... ok
[INFO] [stdout] test effect_system::tests::test_infer_operation_effects ... ok
[INFO] [stdout] test display::tests::test_display_term ... ok
[INFO] [stdout] test expr::ac_matching::tests::test_multiset_equality ... ok
[INFO] [stdout] test expr::ac_matching::tests::test_flatten_ac_and ... ok
[INFO] [stdout] test expr::ac_matching::tests::test_multiset_operations ... ok
[INFO] [stdout] test expr::ac_matching::tests::test_normalize_ac ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_complexity_modal_depth ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_complexity_metrics_simple ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_complexity_quantifier_depth ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_operator_counts_basic ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_operator_counts_modal ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_operator_counts_temporal ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_pattern_contradiction ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_pattern_de_morgan ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_pattern_redundant_quantifier ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_pattern_tautology ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_operator_counts_fuzzy ... ok
[INFO] [stdout] test expr::advanced_rewriting::tests::test_conditional_rule_basic ... ok
[INFO] [stdout] test expr::advanced_rewriting::tests::test_cycle_detection ... ok
[INFO] [stdout] test expr::advanced_rewriting::tests::test_priority_ordering ... ok
[INFO] [stdout] test expr::advanced_rewriting::tests::test_bottom_up_strategy ... ok
[INFO] [stdout] test expr::confluence::tests::test_confluence_via_newmans_lemma ... ok
[INFO] [stdout] test expr::confluence::tests::test_confluence_report_summary ... ok
[INFO] [stdout] test expr::confluence::tests::test_critical_pair_trivial_joinable ... ok
[INFO] [stdout] test expr::advanced_rewriting::tests::test_size_limit ... ok
[INFO] [stdout] test expr::advanced_rewriting::tests::test_rewrite_stats ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_pattern_double_negation ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_largest_of_maximum ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_max_membership ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_max_membership_indices ... ok
[INFO] [stdout] test expr::confluence::tests::test_critical_pair_with_conflict ... ok
[INFO] [stdout] test expr::confluence::tests::test_joinability_identical ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_singleton_winner_takes_all ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_value_at_index ... ok
[INFO] [stdout] test expr::confluence::tests::test_normalize_to_normal_form ... ok
[INFO] [stdout] test expr::confluence::tests::test_joinability_via_rewriting ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_bisector ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_centroid ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_defuzzify_dispatch ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_mean_of_maximum ... ok
[INFO] [stdout] test expr::advanced_analysis::tests::test_complexity_metrics_nested ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_empty_fuzzy_set ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_fuzzy_set_creation ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_smallest_of_maximum ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_weighted_average ... ok
[INFO] [stdout] test expr::defuzzification::tests::test_singleton_fuzzy_set ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_diamond_over_or ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_all_strategy ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_exists_over_or ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_no_distribution_needed ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_or_over_and_simple ... ok
[INFO] [stdout] test expr::domain_validation::tests::test_referenced_domains ... ok
[INFO] [stdout] test expr::domain_validation::tests::test_validate_domains_consistent_usage ... ok
[INFO] [stdout] test expr::domain_validation::tests::test_validate_domains_incompatible ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_and_over_or_left ... ok
[INFO] [stdout] test expr::domain_validation::tests::test_validate_domains_success ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_and_over_or_simple ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_forall_over_and ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_classify_fairness ... ok
[INFO] [stdout] test expr::domain_validation::tests::test_validate_domains_not_found ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_classify_safety_property ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_classify_persistence ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_decompose_pure_safety ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_extract_state_predicates ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_or_over_and_left ... ok
[INFO] [stdout] test expr::distributive_laws::tests::test_box_over_and ... ok
[INFO] [stdout] test expr::domain_validation::tests::test_referenced_domains_dedup ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_classify_liveness_property ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_extract_temporal_subformulas ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_identify_pattern_always ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_identify_pattern_eventually_always ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_is_temporal_nnf ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_decompose_pure_liveness ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_distributive_always ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_fairness_detection ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_temporal_complexity ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_apply_axiom_k ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_apply_axiom_t ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_is_modal_free ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_is_temporal ... ok
[INFO] [stdout] test expr::ltl_ctl_utilities::tests::test_distributive_eventually ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_verify_axiom_k ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_is_theorem_in_system ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_verify_axiom_t ... ok
[INFO] [stdout] test expr::modal_equivalences::tests::test_modal_distribution_diamond_or ... ok
[INFO] [stdout] test expr::modal_equivalences::tests::test_modal_duality_box_to_diamond ... ok
[INFO] [stdout] test expr::modal_equivalences::tests::test_modal_duality_diamond_to_box ... ok
[INFO] [stdout] test expr::modal_equivalences::tests::test_modal_idempotence_box ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_modal_depth ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_extract_modal_subformulas ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_modal_system_axioms ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_verify_axiom_4 ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_normalize_s5 ... ok
[INFO] [stdout] test expr::modal_axioms::tests::test_verify_axiom_5 ... ok
[INFO] [stdout] test expr::modal_equivalences::tests::test_modal_distribution_box_and ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_cnf_simple_distribution ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_cnf_with_negations ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_complex_cnf_conversion ... ok
[INFO] [stdout] test expr::modal_equivalences::tests::test_modal_idempotence_diamond ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_dnf_already_in_dnf ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_is_dnf ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_literal_identification ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_nnf_de_morgan_and ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_cnf_already_in_cnf ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_nnf_double_negation ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_nnf_quantifier_negation ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_complex_dnf_conversion ... ok
[INFO] [stdout] test expr::optimization::constant_folding::tests::test_constant_fold_addition ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_dnf_with_negations ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_dnf_simple_distribution ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_is_cnf ... ok
[INFO] [stdout] test expr::optimization::constant_folding::tests::test_constant_fold_multiplication ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_nnf_implication ... ok
[INFO] [stdout] test expr::optimization::constant_folding::tests::test_constant_fold_nested ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_cnf_with_quantifiers ... ok
[INFO] [stdout] test expr::optimization::constant_folding::tests::test_constant_fold_sqrt_negative ... ok
[INFO] [stdout] test expr::optimization::constant_folding::tests::test_constant_fold_division_zero ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_absorption_or_and ... ok
[INFO] [stdout] test expr::normal_forms::tests::test_nnf_de_morgan_or ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_absorption_and_or ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_and_false ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_and_true ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_comparison_lte_same ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_complement_and ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_comparison_lt_same ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_idempotence_or ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_add_zero ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_implies_true_consequent ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_implies_false_consequent ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_complement_or ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_double_negation ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_mul_zero ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_mul_one ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_idempotence_and ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_implies_false_antecedent ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_or_false ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_or_true ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_same_comparison ... ok
[INFO] [stdout] test expr::optimization::tests::test_constant_fold_addition ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_division_same_constant ... ok
[INFO] [stdout] test expr::optimization::tests::test_modal_simplify_diamond_true ... ok
[INFO] [stdout] test expr::optimization::tests::test_optimize_expr_combined ... ok
[INFO] [stdout] test expr::optimization::tests::test_constant_fold_multiplication ... ok
[INFO] [stdout] test expr::optimization::tests::test_constant_fold_nested ... ok
[INFO] [stdout] test expr::optimization::tests::test_propagate_constants_let_binding ... ok
[INFO] [stdout] test expr::optimization::tests::test_modal_simplify_box_false ... ok
[INFO] [stdout] test expr::optimization::tests::test_modal_simplify_box_true ... ok
[INFO] [stdout] test expr::optimization::tests::test_modal_simplify_diamond_false ... ok
[INFO] [stdout] test expr::optimization::tests::test_algebraic_simplify_implies_true_antecedent ... ok
[INFO] [stdout] test expr::optimization::tests::test_propagate_constants_nested_let ... ok
[INFO] [stdout] test expr::optimization::tests::test_temporal_simplify_always_idempotent ... ok
[INFO] [stdout] test expr::optimization::tests::test_temporal_simplify_always_true ... ok
[INFO] [stdout] test expr::optimization::tests::test_temporal_simplify_until_true ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_count_nodes_complex ... ok
[INFO] [stdout] test expr::optimization::tests::test_temporal_simplify_next_true ... ok
[INFO] [stdout] test expr::optimization::tests::test_temporal_simplify_eventually_true ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_metrics_tracking ... ok
[INFO] [stdout] test expr::optimization::tests::test_temporal_simplify_eventually_idempotent ... ok
[INFO] [stdout] test expr::optimization::tests::test_temporal_simplify_until_false_left ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_pipeline_basic_optimization ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_pipeline_aggressive_level ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_pipeline_convergence ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_pipeline_max_iterations ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_count_nodes_simple ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_custom_passes ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_complement ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_conditional_probability ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_optimization_level_ordering ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_pass_application ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_pass_priority_ordering ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_credal_set ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_frechet_and ... ok
[INFO] [stdout] test expr::optimization_pipeline::tests::test_pipeline_no_optimization ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_convex_combination ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_frechet_or ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_implication_bounds ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_precise_probability ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_probability_interval_creation ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_propagate_probabilities_and ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_propagate_probabilities_not ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_interval_intersection ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_weighted_rule_propagation ... ok
[INFO] [stdout] test expr::rewriting::tests::test_double_negation_rule ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_mln_probability ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_probabilistic_choice ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_propagate_probabilities_or ... ok
[INFO] [stdout] test expr::probabilistic_reasoning::tests::test_vacuous_interval ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_add_does_not_match_mul ... ok
[INFO] [stdout] test expr::rewriting::tests::test_logic_equivalences_system ... ok
[INFO] [stdout] test expr::rewriting::tests::test_nested_rewriting ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_constant_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_exp_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_implication_expansion ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_add_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_and_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_neg_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_neg_nonzero_constant_no_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_not_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_sin_cos_tan_match ... ok
[INFO] [stdout] test expr::rewriting::tests::test_rewrite_system_double_negation ... ok
[INFO] [stdout] test expr::rewriting::tests::test_pattern_var_match ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_profile_simple_expression ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_profile_with_constants ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_profile_complex_expression ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_profile_with_modal ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_recommend_config ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_auto_optimize ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_selector_pass_selection ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_selector_simple_expression ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_should_optimize_aggressively ... ok
[INFO] [stdout] test expr::temporal_equivalences::tests::test_release_false_to_always ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_selector_complex_modal_expression ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_profile_with_quantifiers ... ok
[INFO] [stdout] test expr::temporal_equivalences::tests::test_temporal_duality_always_to_eventually ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_profile_with_temporal ... ok
[INFO] [stdout] test expr::strategy_selector::tests::test_needs_distribution ... ok
[INFO] [stdout] test expr::temporal_equivalences::tests::test_temporal_duality_eventually_to_always ... ok
[INFO] [stdout] test expr::temporal_equivalences::tests::test_temporal_idempotence_always ... ok
[INFO] [stdout] test expr::temporal_equivalences::tests::test_until_true_to_eventually ... ok
[INFO] [stdout] test expr_serialize::tests::test_batch_roundtrip ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_equal_true ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_invalid_magic ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_magic_check ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_roundtrip_and ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_roundtrip_constant ... ok
[INFO] [stdout] test expr::temporal_equivalences::tests::test_temporal_idempotence_eventually ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_roundtrip_lambda ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_roundtrip_fuzzy ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_roundtrip_nested ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_roundtrip_not ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_roundtrip_variable ... ok
[INFO] [stdout] test expr_serialize::tests::test_binary_truncated ... ok
[INFO] [stdout] test expr_serialize::tests::test_expr_fingerprint_different ... ok
[INFO] [stdout] test expr_serialize::tests::test_expr_fingerprint_same ... ok
[INFO] [stdout] test expr_serialize::tests::test_graph_binary_roundtrip ... ok
[INFO] [stdout] test expr_serialize::tests::test_serialization_stats ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_and ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_constant ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_not ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_parse_error ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_roundtrip_empty_set ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_roundtrip_nested ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_roundtrip_simple ... ok
[INFO] [stdout] test expr_serialize::tests::test_sexpr_variable ... ok
[INFO] [stdout] test fuzzing::tests::test_deep_negation ... ok
[INFO] [stdout] test fuzzing::tests::test_expr_gen_config_presets ... ok
[INFO] [stdout] test fuzzing::tests::test_expr_generator_basic ... ok
[INFO] [stdout] test fuzzing::tests::test_expr_generator_deterministic ... ok
[INFO] [stdout] test fuzzing::tests::test_expr_generator_specific_depth ... ok
[INFO] [stdout] test fuzzing::tests::test_expression_invariants ... ok
[INFO] [stdout] test fuzzing::tests::test_expr_generator_stress ... ok
[INFO] [stdout] test fuzzing::tests::test_fuzz_expression_operations ... ok
[INFO] [stdout] test fuzzing::tests::test_fuzz_graph_validation ... ok
[INFO] [stdout] test fuzzing::tests::test_gen_random_graph ... ok
[INFO] [stdout] test fuzzing::tests::test_generated_expressions_have_valid_free_vars ... ok
[INFO] [stdout] test fuzzing::tests::test_generated_predicates_have_valid_names ... ok
[INFO] [stdout] test fuzzing::tests::test_graph_gen_config_variations ... ok
[INFO] [stdout] test fuzzing::tests::test_fuzz_many_random_expressions ... ok
[INFO] [stdout] test fuzzing::tests::test_graph_output_is_valid ... ok
[INFO] [stdout] test fuzzing::tests::test_multi_mutate ... ok
[INFO] [stdout] test fuzzing::tests::test_mutation_negate ... ok
[INFO] [stdout] test fuzzing::tests::test_mutation_wrap_quantifiers ... ok
[INFO] [stdout] test fuzzing::tests::test_nested_quantifiers ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_bfs_distances ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_critical_path ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_degree_sequence ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_find_all_paths ... ok
[INFO] [stdout] test fuzzing::tests::test_rng_choose ... ok
[INFO] [stdout] test fuzzing::tests::test_rng_gen_bool ... ok
[INFO] [stdout] test fuzzing::tests::test_rng_gen_range ... ok
[INFO] [stdout] test fuzzing::tests::test_simple_rng ... ok
[INFO] [stdout] test fuzzing::tests::test_random_mutation ... ok
[INFO] [stdout] test fuzzing::tests::test_mutation_preserves_expression_validity ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_acyclic_graph_no_cycles ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_graph_diameter ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_is_dag ... ok
[INFO] [stdout] test fuzzing::tests::test_stress_edge_cases_compile ... ok
[INFO] [stdout] test fuzzing::tests::test_wide_expressions ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_isomorphism_different_sizes ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_isomorphism_identical_graphs ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_strongly_connected_components ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_tensor_adjacency ... ok
[INFO] [stdout] test graph::advanced_algorithms::tests::test_topological_sort ... ok
[INFO] [stdout] test graph::advanced_analysis::tests::test_critical_path_chain ... ok
[INFO] [stdout] test graph::advanced_analysis::tests::test_critical_path_simple ... ok
[INFO] [stdout] test graph::advanced_analysis::tests::test_data_flow_analysis ... ok
[INFO] [stdout] test graph::advanced_analysis::tests::test_data_flow_no_reuse ... ok
[INFO] [stdout] test graph::advanced_analysis::tests::test_execution_schedule_chain ... ok
[INFO] [stdout] test graph::advanced_analysis::tests::test_execution_schedule_simple ... ok
[INFO] [stdout] test graph::advanced_analysis::tests::test_memory_footprint_simple ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_canonical_hash_consistency ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_complex_graph_canonicalization ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_empty_graph_canonicalization ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_equivalent_graphs_same_hash ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_graph_equivalence ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_inputs_outputs_preservation ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_non_equivalent_graphs ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_simple_graph_canonicalization ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_tensor_reordering ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_analyze_constants_with_metadata ... ok
[INFO] [stdout] test graph::canonicalization::tests::test_topological_sort_simple ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_apply_constant_folding ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_constant_info ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_analyze_constants_empty_graph ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_constant_propagation_result_none ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_constant_propagation_through_chain ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_eliminate_mul_zero ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_fold_constants_aggressive ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_folding_stats_none ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_folding_stats_total_transformations ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_identify_constant_subgraphs ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_is_constant_metadata_helpers ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_mixed_constant_and_variable_graph ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_simplify_add_zero ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_simplify_mul_one ... ok
[INFO] [stdout] test graph::constant_folding::tests::test_speedup_estimation ... ok
[INFO] [stdout] test graph::cost_model::tests::test_auto_annotate_costs ... ok
[INFO] [stdout] test graph::cost_model::tests::test_cost_model_creation ... ok
[INFO] [stdout] test graph::cost_model::tests::test_cost_model_metadata ... ok
[INFO] [stdout] test graph::cost_model::tests::test_cost_summary ... ok
[INFO] [stdout] test graph::cost_model::tests::test_custom_cost_metrics ... ok
[INFO] [stdout] test graph::cost_model::tests::test_estimate_einsum_cost ... ok
[INFO] [stdout] test graph::cost_model::tests::test_operation_cost_add ... ok
[INFO] [stdout] test graph::cost_model::tests::test_operation_cost_creation ... ok
[INFO] [stdout] test graph::cost_model::tests::test_operation_cost_max ... ok
[INFO] [stdout] test graph::dot_export::tests::test_complex_graph_export ... ok
[INFO] [stdout] test graph::dot_export::tests::test_export_empty_graph ... ok
[INFO] [stdout] test graph::dot_export::tests::test_export_simple_operation ... ok
[INFO] [stdout] test graph::dot_export::tests::test_export_with_clustering ... ok
[INFO] [stdout] test graph::dot_export::tests::test_export_with_einsum ... ok
[INFO] [stdout] test graph::dot_export::tests::test_export_with_options ... ok
[INFO] [stdout] test graph::dot_export::tests::test_export_with_highlights ... ok
[INFO] [stdout] test graph::dot_export::tests::test_label_escaping ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_batch_matmul ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_empty_spec ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_explicit_spec ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_implicit_spec ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_invalid_char ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_multiple_arrows ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_trace ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_parse_scalar_output ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_canonical_form ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_spec_properties ... ok
[INFO] [stdout] test graph::export::tests::test_export_multiple_outputs ... ok
[INFO] [stdout] test graph::einsum_spec::tests::test_validate_input_count ... ok
[INFO] [stdout] test graph::export::tests::test_onnx_export_einsum ... ok
[INFO] [stdout] test graph::export::tests::test_onnx_export_reduction ... ok
[INFO] [stdout] test graph::export::tests::test_onnx_export_simple ... ok
[INFO] [stdout] test graph::export::tests::test_onnx_export_with_options ... ok
[INFO] [stdout] test graph::export::tests::test_torchscript_export_einsum ... ok
[INFO] [stdout] test graph::export::tests::test_torchscript_export_simple ... ok
[INFO] [stdout] test graph::export::tests::test_torchscript_export_unary ... ok
[INFO] [stdout] test graph::export::tests::test_torchscript_export_without_comments ... ok
[INFO] [stdout] test graph::fusion::tests::test_can_fuse_einsums_single_user ... ok
[INFO] [stdout] test graph::fusion::tests::test_can_fuse_unary_binary_nodes ... ok
[INFO] [stdout] test graph::fusion::tests::test_can_fuse_unary_nodes ... ok
[INFO] [stdout] test graph::fusion::tests::test_cannot_fuse_einsum_nodes ... ok
[INFO] [stdout] test graph::fusion::tests::test_cannot_fuse_einsums_multiple_users ... ok
[INFO] [stdout] test graph::fusion::tests::test_find_fusible_chains_empty ... ok
[INFO] [stdout] test graph::fusion::tests::test_fuse_all_empty_graph ... ok
[INFO] [stdout] test graph::fusion::tests::test_fuse_einsum_empty_graph ... ok
[INFO] [stdout] test graph::fusion::tests::test_fuse_elementwise_empty_graph ... ok
[INFO] [stdout] test graph::fusion::tests::test_fuse_elementwise_single_op ... ok
[INFO] [stdout] test graph::fusion::tests::test_fuse_map_reduce_empty_graph ... ok
[INFO] [stdout] test graph::fusion::tests::test_fusion_stats_default ... ok
[INFO] [stdout] test graph::fusion::tests::test_is_fusible_operation ... ok
[INFO] [stdout] test graph::layout::tests::test_analyze_einsum_pattern ... ok
[INFO] [stdout] test graph::layout::tests::test_apply_layouts ... ok
[INFO] [stdout] test graph::layout::tests::test_count_layout_conversions ... ok
[INFO] [stdout] test graph::layout::tests::test_find_layout_fusion_opportunities ... ok
[INFO] [stdout] test graph::layout::tests::test_is_contiguous_strides ... ok
[INFO] [stdout] test graph::layout::tests::test_layout_optimization_result_none ... ok
[INFO] [stdout] test graph::layout::tests::test_layout_optimization_with_metadata ... ok
[INFO] [stdout] test graph::layout::tests::test_layout_strategy_default ... ok
[INFO] [stdout] test graph::layout::tests::test_layout_strategy_for_operation ... ok
[INFO] [stdout] test graph::layout::tests::test_layout_strategy_locality ... ok
[INFO] [stdout] test graph::layout::tests::test_layout_strategy_vectorization ... ok
[INFO] [stdout] test graph::layout::tests::test_optimize_layouts_empty_graph ... ok
[INFO] [stdout] test graph::layout::tests::test_optimize_layouts_simple_graph ... ok
[INFO] [stdout] test graph::layout::tests::test_stride_pattern_access_cost ... ok
[INFO] [stdout] test graph::layout::tests::test_stride_pattern_column_major ... ok
[INFO] [stdout] test graph::layout::tests::test_stride_pattern_custom ... ok
[INFO] [stdout] test graph::layout::tests::test_stride_pattern_non_contiguous ... ok
[INFO] [stdout] test graph::layout::tests::test_stride_pattern_row_major ... ok
[INFO] [stdout] test graph::layout::tests::test_stride_pattern_with_alignment ... ok
[INFO] [stdout] test graph::layout::tests::test_tensor_layout_access_efficiency ... ok
[INFO] [stdout] test graph::layout::tests::test_tensor_layout_creation ... ok
[INFO] [stdout] test graph::memory::tests::test_analyze_empty_graph ... ok
[INFO] [stdout] test graph::memory::tests::test_analyze_inplace_opportunities_empty ... ok
[INFO] [stdout] test graph::memory::tests::test_analyze_inplace_single_use ... ok
[INFO] [stdout] test graph::memory::tests::test_analyze_single_node ... ok
[INFO] [stdout] test graph::memory::tests::test_build_dependencies ... ok
[INFO] [stdout] test graph::memory::tests::test_estimate_tensor_size ... ok
[INFO] [stdout] test graph::memory::tests::test_can_be_inplace ... ok
[INFO] [stdout] test graph::memory::tests::test_memory_analysis_default ... ok
[INFO] [stdout] test graph::memory::tests::test_is_tensor_live_at_step ... ok
[INFO] [stdout] test graph::memory::tests::test_memory_waste_ratio_zero_peak ... ok
[INFO] [stdout] test graph::memory::tests::test_tensor_lifetime_multiple_uses ... ok
[INFO] [stdout] test graph::memory::tests::test_tensor_lifetime_single_use ... ok
[INFO] [stdout] test graph::memory::tests::test_topological_sort_simple ... ok
[INFO] [stdout] test graph::optimization::tests::test_dead_code_elimination_empty_graph ... ok
[INFO] [stdout] test graph::optimization::tests::test_dead_code_elimination_no_outputs ... ok
[INFO] [stdout] test graph::optimization::tests::test_full_optimization_pipeline ... ok
[INFO] [stdout] test graph::optimization::tests::test_identity_operation_detection ... ok
[INFO] [stdout] test graph::optimization::tests::test_node_hash_computation ... ok
[INFO] [stdout] test graph::optimization::tests::test_optimization_stats ... ok
[INFO] [stdout] test graph::parallel::tests::test_analyze_empty_graph ... ok
[INFO] [stdout] test graph::parallel::tests::test_analyze_parallel_nodes ... ok
[INFO] [stdout] test graph::parallel::tests::test_analyze_sequential_nodes ... ok
[INFO] [stdout] test graph::parallel::tests::test_analyze_single_node ... ok
[INFO] [stdout] test graph::parallel::tests::test_estimate_group_cost ... ok
[INFO] [stdout] test graph::parallel::tests::test_estimate_node_cost ... ok
[INFO] [stdout] test graph::parallel::tests::test_parallel_group_creation ... ok
[INFO] [stdout] test graph::parallel::tests::test_parallelization_analysis_default ... ok
[INFO] [stdout] test graph::parallel::tests::test_partition_empty_graph ... ok
[INFO] [stdout] test graph::parallel::tests::test_partition_independent_nodes ... ok
[INFO] [stdout] test graph::parallel::tests::test_partition_single_node ... ok
[INFO] [stdout] test graph::pattern::tests::test_op_matches_einsum ... ok
[INFO] [stdout] test graph::pattern::tests::test_op_matches_elem_unary ... ok
[INFO] [stdout] test graph::pattern::tests::test_op_not_matches_different_types ... ok
[INFO] [stdout] test graph::pattern::tests::test_pattern_match_add_node ... ok
[INFO] [stdout] test graph::pattern::tests::test_pattern_match_creation ... ok
[INFO] [stdout] test graph::pattern::tests::test_pattern_matcher_add_rule ... ok
[INFO] [stdout] test graph::pattern::tests::test_pattern_match_capture ... ok
[INFO] [stdout] test graph::pattern::tests::test_pattern_matcher_creation ... ok
[INFO] [stdout] test graph::pattern::tests::test_patterns_elementwise_chain ... ok
[INFO] [stdout] test graph::pattern::tests::test_patterns_map_reduce ... ok
[INFO] [stdout] test graph::pattern::tests::test_rewrite_stats_default ... ok
[INFO] [stdout] test graph::pattern::tests::test_rewrite_stats_reduction ... ok
[INFO] [stdout] test graph::pattern::tests::test_rule_priority_ordering ... ok
[INFO] [stdout] test graph::pgo::tests::test_execution_profile_record ... ok
[INFO] [stdout] test graph::pgo::tests::test_hot_nodes ... ok
[INFO] [stdout] test graph::pgo::tests::test_memory_intensive_nodes ... ok
[INFO] [stdout] test graph::pgo::tests::test_node_stats_basic ... ok
[INFO] [stdout] test graph::pgo::tests::test_node_stats_hotness ... ok
[INFO] [stdout] test graph::pgo::tests::test_node_stats_min_max ... ok
[INFO] [stdout] test graph::pgo::tests::test_optimization_hints ... ok
[INFO] [stdout] test graph::pgo::tests::test_pgo_optimizer_basic ... ok
[INFO] [stdout] test graph::pgo::tests::test_profile_merge ... ok
[INFO] [stdout] test graph::pgo::tests::test_tensor_stats ... ok
[INFO] [stdout] test graph::schedule::tests::test_build_dependencies ... ok
[INFO] [stdout] test graph::schedule::tests::test_execution_schedule_creation ... ok
[INFO] [stdout] test graph::schedule::tests::test_execution_schedule_stats ... ok
[INFO] [stdout] test graph::schedule::tests::test_schedule_empty_graph ... ok
[INFO] [stdout] test graph::schedule::tests::test_schedule_single_node ... ok
[INFO] [stdout] test graph::schedule::tests::test_scheduler_creation ... ok
[INFO] [stdout] test graph::schedule::tests::test_scheduler_set_costs ... ok
[INFO] [stdout] test graph::schedule::tests::test_scheduling_objectives ... ok
[INFO] [stdout] test graph::schedule::tests::test_topological_sort ... ok
[INFO] [stdout] test graph::tiling::tests::test_analyze_einsum_for_tiling ... ok
[INFO] [stdout] test graph::tiling::tests::test_apply_tiling_to_graph ... ok
[INFO] [stdout] test graph::tiling::tests::test_cache_line_size_configuration ... ok
[INFO] [stdout] test graph::pgo::tests::test_profile_serialization ... ok
[INFO] [stdout] test graph::tiling::tests::test_conv_tiling_strategy ... ok
[INFO] [stdout] test graph::tiling::tests::test_estimate_cache_improvement ... ok
[INFO] [stdout] test graph::tiling::tests::test_matmul_tiling_strategy ... ok
[INFO] [stdout] test graph::tiling::tests::test_large_matrix_tiling ... ok
[INFO] [stdout] test graph::tiling::tests::test_multilevel_tiling ... ok
[INFO] [stdout] test graph::tiling::tests::test_recommend_tiling_strategy ... ok
[INFO] [stdout] test graph::tiling::tests::test_register_tiling ... ok
[INFO] [stdout] test graph::tiling::tests::test_should_tile_einsum ... ok
[INFO] [stdout] test graph::tiling::tests::test_tile_config_creation ... ok
[INFO] [stdout] test graph::tiling::tests::test_tiling_with_metadata ... ok
[INFO] [stdout] test graph::transform::tests::test_apply_rewrite ... ok
[INFO] [stdout] test graph::transform::tests::test_dependencies ... ok
[INFO] [stdout] test graph::tiling::tests::test_tiling_result_none ... ok
[INFO] [stdout] test graph::transform::tests::test_has_path ... ok
[INFO] [stdout] test graph::transform::tests::test_merge_graphs ... ok
[INFO] [stdout] test graph::transform::tests::test_extract_subgraph ... ok
[INFO] [stdout] test graph::transform::tests::test_node_count ... ok
[INFO] [stdout] test graph::validation::tests::test_detect_invalid_einsum_spec ... ok
[INFO] [stdout] test graph::tiling::tests::test_small_matrix_tiling ... ok
[INFO] [stdout] test graph::transform::tests::test_tensor_consumers ... ok
[INFO] [stdout] test graph::validation::tests::test_detect_output_without_producer ... ok
[INFO] [stdout] test graph::validation::tests::test_detect_tensor_out_of_bounds ... ok
[INFO] [stdout] test graph::transform::tests::test_visitor_pattern ... ok
[INFO] [stdout] test graph::validation::tests::test_detect_empty_einsum_spec ... ok
[INFO] [stdout] test graph::tiling::tests::test_tiling_strategy_builder ... ok
[INFO] [stdout] test graph::validation::tests::test_detect_unused_tensor ... ok
[INFO] [stdout] test graph::validation::tests::test_statistics_collection ... ok
[INFO] [stdout] test graph::validation::tests::test_validate_simple_graph ... ok
[INFO] [stdout] test graph_validation::tests::test_compute_stats_empty ... ok
[INFO] [stdout] test graph_validation::tests::test_graph_stats_default ... ok
[INFO] [stdout] test graph_validation::tests::test_graph_stats_node_count ... ok
[INFO] [stdout] test graph_validation::tests::test_graph_stats_output_count ... ok
[INFO] [stdout] test graph_validation::tests::test_issue_severity_eq ... ok
[INFO] [stdout] test graph_validation::tests::test_sanitize_dedup_outputs ... ok
[INFO] [stdout] test graph_validation::tests::test_sanitize_preserves_valid ... ok
[INFO] [stdout] test graph_validation::tests::test_sanitize_returns_clone ... ok
[INFO] [stdout] test graph_validation::tests::test_validate_duplicate_outputs ... ok
[INFO] [stdout] test graph_validation::tests::test_validate_empty_graph ... ok
[INFO] [stdout] test graph_validation::tests::test_validate_error_count ... ok
[INFO] [stdout] test graph_validation::tests::test_validate_outputs_reference ... ok
[INFO] [stdout] test graph_validation::tests::test_validate_valid_graph ... ok
[INFO] [stdout] test graph_validation::tests::test_validate_result_summary ... ok
[INFO] [stdout] test graph_validation::tests::test_validate_warning_count ... ok
[INFO] [stdout] test graph_validation::tests::test_validation_result_default ... ok
[INFO] [stdout] test graph_validation::tests::test_validation_result_is_valid_no_errors ... ok
[INFO] [stdout] test graph_validation::tests::test_validation_result_is_valid_with_errors ... ok
[INFO] [stdout] test linear::tests::test_affine_type_usage ... ok
[INFO] [stdout] test linear::tests::test_context_merge ... ok
[INFO] [stdout] test linear::tests::test_context_split ... ok
[INFO] [stdout] test linear::tests::test_get_unused_required ... ok
[INFO] [stdout] test linear::tests::test_linear_context_basic ... ok
[INFO] [stdout] test linear::tests::test_linear_resource_capabilities ... ok
[INFO] [stdout] test linear::tests::test_linear_type_creation ... ok
[INFO] [stdout] test linear::tests::test_linear_type_display ... ok
[INFO] [stdout] test linear::tests::test_linearity_checker ... ok
[INFO] [stdout] test linear::tests::test_linearity_checker_violation ... ok
[INFO] [stdout] test linear::tests::test_multiplicity_allows ... ok
[INFO] [stdout] test linear::tests::test_multiplicity_combine ... ok
[INFO] [stdout] test linear::tests::test_relevant_type_usage ... ok
[INFO] [stdout] test linear::tests::test_unrestricted_type_usage ... ok
[INFO] [stdout] test metadata::tests::test_metadata ... ok
[INFO] [stdout] test metadata::tests::test_provenance ... ok
[INFO] [stdout] test metadata::tests::test_source_location ... ok
[INFO] [stdout] test metadata::tests::test_source_span ... ok
[INFO] [stdout] test pattern::tests::display_patterns ... ok
[INFO] [stdout] test pretty_print::tests::test_config_ascii ... ok
[INFO] [stdout] test pretty_print::tests::test_config_default_is_unicode ... ok
[INFO] [stdout] test pretty_print::tests::test_config_indent ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_and_ascii ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_and_unicode ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_constant_integer ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_constant ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_convenience ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_exists ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_deterministic ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_forall ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_implication ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_nested ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_pred ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_not ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_or ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_term_const ... ok
[INFO] [stdout] test refinement::tests::test_non_empty_vec ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_add ... ok
[INFO] [stdout] test refinement::tests::test_liquid_type_inference ... ok
[INFO] [stdout] test refinement::tests::test_refinement_context ... ok
[INFO] [stdout] test refinement::tests::test_refinement_context_assumptions ... ok
[INFO] [stdout] test refinement::tests::test_refinement_creation ... ok
[INFO] [stdout] test refinement::tests::test_refinement_free_vars ... ok
[INFO] [stdout] test refinement::tests::test_refinement_type_nat ... ok
[INFO] [stdout] test pretty_print::tests::test_pretty_term_var ... ok
[INFO] [stdout] test refinement::tests::test_refinement_type_positive_int ... ok
[INFO] [stdout] test refinement::tests::test_refinement_type_probability ... ok
[INFO] [stdout] test refinement::tests::test_refinement_type_strengthen ... ok
[INFO] [stdout] test refinement::tests::test_refinement_type_subtyping ... ok
[INFO] [stdout] test refinement::tests::test_refinement_type_weaken ... ok
[INFO] [stdout] test resolution::tests::test_clause_empty ... ok
[INFO] [stdout] test resolution::tests::test_clause_tautology ... ok
[INFO] [stdout] test resolution::tests::test_clause_unit ... ok
[INFO] [stdout] test graph::validation::tests::test_validate_empty_graph ... ok
[INFO] [stdout] test resolution::tests::test_cnf_conversion_and ... ok
[INFO] [stdout] test resolution::tests::test_cnf_conversion_or ... ok
[INFO] [stdout] test resolution::tests::test_horn_clause_detection ... ok
[INFO] [stdout] test resolution::tests::test_literal_complementary ... ok
[INFO] [stdout] test resolution::tests::test_literal_creation ... ok
[INFO] [stdout] test resolution::tests::test_prover_stats ... ok
[INFO] [stdout] test resolution::tests::test_resolution_basic ... ok
[INFO] [stdout] test resolution::tests::test_resolution_modus_ponens ... ok
[INFO] [stdout] test resolution::tests::test_resolution_satisfiable ... ok
[INFO] [stdout] test resolution::tests::test_resolution_strategy_unit ... ok
[INFO] [stdout] test resolution::tests::test_resolution_three_clauses ... ok
[INFO] [stdout] test resolution::tests_first_order::test_clause_apply_substitution ... ok
[INFO] [stdout] test resolution::tests_first_order::test_first_order_resolution_basic ... ok
[INFO] [stdout] test resolution::tests_first_order::test_clause_rename_variables ... ok
[INFO] [stdout] test resolution::tests_first_order::test_first_order_resolution_complex ... ok
[INFO] [stdout] test resolution::tests_first_order::test_first_order_resolution_multiple_vars ... ok
[INFO] [stdout] test resolution::tests_first_order::test_first_order_resolution_no_unifier ... ok
[INFO] [stdout] test resolution::tests_first_order::test_first_order_resolution_standardizing_apart ... ok
[INFO] [stdout] test resolution::tests_first_order::test_literal_apply_substitution ... ok
[INFO] [stdout] test resolution::tests_first_order::test_literal_unification_fails_diff_names ... ok
[INFO] [stdout] test resolution::tests_first_order::test_literal_unification_fails_same_polarity ... ok
[INFO] [stdout] test resolution::tests_first_order::test_literal_unification_ground ... ok
[INFO] [stdout] test resolution::tests_first_order::test_literal_unification_variable ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_empty_clause ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_fails_different_pred ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_fails_too_many_literals ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_identical ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_not_reverse ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_multiple_literals ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_in_prover ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_smaller_clause ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_variable_to_constant ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_polarity_matters ... ok
[INFO] [stdout] test resolution::tests_subsumption::test_subsumption_two_variables ... ok
[INFO] [stdout] test sequent::tests::test_free_vars ... ok
[INFO] [stdout] test sequent::tests::test_and_left_proof ... ok
[INFO] [stdout] test sequent::tests::test_identity_proof_tree ... ok
[INFO] [stdout] test sequent::tests::test_proof_search_and ... ok
[INFO] [stdout] test sequent::tests::test_contraction_left ... ok
[INFO] [stdout] test sequent::tests::test_sequent_substitute_capture_avoiding ... ok
[INFO] [stdout] test sequent::tests::test_sequent_substitute_multiple ... ok
[INFO] [stdout] test sequent::tests::test_substitution ... ok
[INFO] [stdout] test sequent::tests::test_weakening_left ... ok
[INFO] [stdout] test sequent::tests::test_identity_sequent ... ok
[INFO] [stdout] test sequent::tests::test_proof_search_not ... ok
[INFO] [stdout] test serialization::tests::test_binary_smaller_than_json ... ok
[INFO] [stdout] test sequent::tests::test_iterative_deepening_search ... ok
[INFO] [stdout] test sequent::tests::test_cut_elimination_no_cut ... ok
[INFO] [stdout] test sequent::tests::test_weakening_right ... ok
[INFO] [stdout] test serialization::tests::test_version_compatibility ... ok
[INFO] [stdout] test sequent::tests::test_proof_search_simple ... ok
[INFO] [stdout] test serialization::tests::test_json_is_human_readable ... ok
[INFO] [stdout] test sequent::tests::test_sequent_substitute ... ok
[INFO] [stdout] test serialization::tests::test_versioned_graph_binary_roundtrip ... ok
[INFO] [stdout] test serialization::tests::test_versioned_expr_with_metadata ... ok
[INFO] [stdout] test serialization::tests::test_versioned_graph_creation ... ok
[INFO] [stdout] test serialization::tests::test_versioned_expr_creation ... ok
[INFO] [stdout] test signature::tests::test_parametric_signature_creation ... ok
[INFO] [stdout] test signature::tests::test_parametric_signature_complex_types ... ok
[INFO] [stdout] test serialization::tests::test_versioned_expr_json_roundtrip ... ok
[INFO] [stdout] test signature::tests::test_parametric_signature_arity_mismatch ... ok
[INFO] [stdout] test serialization::tests::test_versioned_graph_json_roundtrip ... ok
[INFO] [stdout] test signature::tests::test_parametric_signature_unification ... ok
[INFO] [stdout] test serialization::tests::test_versioned_expr_binary_roundtrip ... ok
[INFO] [stdout] test signature::tests::test_signature_arity_matching ... ok
[INFO] [stdout] test signature::tests::test_parametric_signature_instantiation ... ok
[INFO] [stdout] test signature::tests::test_signature_creation ... ok
[INFO] [stdout] test signature::tests::test_signature_registry ... ok
[INFO] [stdout] test signature::tests::test_signature_type_matching ... ok
[INFO] [stdout] test signature::tests::test_type_annotation_parametric_conversion ... ok
[INFO] [stdout] test signature::tests::test_untyped_signature ... ok
[INFO] [stdout] test tests::test_aggregate_domain_validation ... ok
[INFO] [stdout] test tests::test_aggregate_free_vars ... ok
[INFO] [stdout] test tests::test_aggregate_operations ... ok
[INFO] [stdout] test tests::test_aggregate_with_group_by ... ok
[INFO] [stdout] test tests::test_all_predicates ... ok
[INFO] [stdout] test tests::test_arithmetic_operations ... ok
[INFO] [stdout] test tests::test_arity_validation_with_arithmetic ... ok
[INFO] [stdout] test tests::test_comparison_free_vars ... ok
[INFO] [stdout] test tests::test_comparison_operations ... ok
[INFO] [stdout] test tests::test_complex_arithmetic_expression ... ok
[INFO] [stdout] test tests::test_conditional_expression ... ok
[INFO] [stdout] test tests::test_conditional_free_vars ... ok
[INFO] [stdout] test tests::test_constant_expression ... ok
[INFO] [stdout] test tests::test_einsum_graph_builder ... ok
[INFO] [stdout] test tests::test_einsum_node_invalid_spec ... ok
[INFO] [stdout] test tests::test_einsum_node_spec_parsing ... ok
[INFO] [stdout] test tests::test_tlexpr_builders ... ok
[INFO] [stdout] test unification::tests::test_anti_unify_variable_constant ... ok
[INFO] [stdout] test unification::tests::test_anti_unify_typed_terms ... ok
[INFO] [stdout] test unification::tests::test_are_unifiable ... ok
[INFO] [stdout] test tests::test_einsum_node_validation ... ok
[INFO] [stdout] test tests::test_graph_validation ... ok
[INFO] [stdout] test tests::test_free_vars ... ok
[INFO] [stdout] test tests::test_non_einsum_node_operations ... ok
[INFO] [stdout] test tests::test_term_constructors ... ok
[INFO] [stdout] test unification::tests::test_anti_unify_different_constants ... ok
[INFO] [stdout] test unification::tests::test_empty_substitution ... ok
[INFO] [stdout] test unification::tests::test_anti_unify_preserves_structure ... ok
[INFO] [stdout] test unification::tests::test_anti_unify_same_constant ... ok
[INFO] [stdout] test unification::tests::test_anti_unify_same_variable ... ok
[INFO] [stdout] test unification::tests::test_extend_substitution ... ok
[INFO] [stdout] test unification::tests::test_lgg_empty ... ok
[INFO] [stdout] test unification::tests::test_lgg_single_term ... ok
[INFO] [stdout] test unification::tests::test_lgg_three_terms ... ok
[INFO] [stdout] test unification::tests::test_lgg_two_same_terms ... ok
[INFO] [stdout] test unification::tests::test_lgg_two_different_terms ... ok
[INFO] [stdout] test unification::tests::test_occur_check ... ok
[INFO] [stdout] test unification::tests::test_rename_vars ... ok
[INFO] [stdout] test unification::tests::test_singleton_substitution ... ok
[INFO] [stdout] test unification::tests::test_substitution_application ... ok
[INFO] [stdout] test unification::tests::test_substitution_composition ... ok
[INFO] [stdout] test unification::tests::test_typed_term_unification ... ok
[INFO] [stdout] test unification::tests::test_unify_different_constants ... ok
[INFO] [stdout] test unification::tests::test_unify_same_constant ... ok
[INFO] [stdout] test unification::tests::test_unify_same_variable ... ok
[INFO] [stdout] test unification::tests::test_unify_term_list ... ok
[INFO] [stdout] test unification::tests::test_unify_var_constant ... ok
[INFO] [stdout] test util::tests::test_expr_stats_arithmetic ... ok
[INFO] [stdout] test util::tests::test_expr_stats_complex ... ok
[INFO] [stdout] test util::tests::test_expr_stats_simple ... ok
[INFO] [stdout] test util::tests::test_graph_stats ... ok
[INFO] [stdout] test util::tests::test_pretty_print_expr ... ok
[INFO] [stdout] test util::tests::test_pretty_print_graph ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 753 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/module_integration.rs (/opt/rustwide/target/debug/deps/module_integration-e0c5867ba98bce53)
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test test_anti_unification_generalizes_terms ... ok
[INFO] [stdout] test test_domain_constraints_enforce_type_safety ... ok
[INFO] [stdout] test test_domain_validation_with_quantifiers ... ok
[INFO] [stdout] test test_lgg_multiple_terms ... ok
[INFO] [stdout] test test_logical_expression_to_graph_mapping ... ok
[INFO] [stdout] test test_modal_logic_identity ... ok
[INFO] [stdout] test test_normal_form_transformation_preserves_predicates ... ok
[INFO] [stdout] test test_proof_complexity_metrics ... ok
[INFO] [stdout] test test_proof_guided_graph_optimization ... ok
[INFO] [stdout] test test_refinement_types_basic ... ok
[INFO] [stdout] test test_multiple_proof_strategies_integration ... ok
[INFO] [stdout] test test_resolution_and_sequent_on_same_problem ... ok
[INFO] [stdout] test test_resolution_strategies_comparison ... ok
[INFO] [stdout] test test_temporal_operators ... ok
[INFO] [stdout] test test_resolution_with_multiple_literals ... ok
[INFO] [stdout] test test_resolution_with_ground_terms ... ok
[INFO] [stdout] test test_typed_terms_with_unification ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 17 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/pattern_smoke.rs (/opt/rustwide/target/debug/deps/pattern_smoke-6fa3a10778bc859f)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stderr]      Running tests/proptests.rs (/opt/rustwide/target/debug/deps/proptests-453023d7ca3f5912)
[INFO] [stdout] test match_expr_display_contains_match_keyword ... ok
[INFO] [stdout] test match_expr_binary_roundtrip ... ok
[INFO] [stdout] test match_expr_validation_rejects_non_wildcard_tail ... ok
[INFO] [stdout] test match_expr_validation_rejects_no_arms ... ok
[INFO] [stdout] test match_pattern_display_const_number ... ok
[INFO] [stdout] test match_expr_sexpr_roundtrip ... ok
[INFO] [stdout] test match_expr_pretty_print_contains_match_keyword ... ok
[INFO] [stdout] test match_pattern_display_const_symbol ... ok
[INFO] [stdout] test match_pattern_display_wildcard ... ok
[INFO] [stdout] test match_expr_validation_accepts_valid_arms ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 44 tests
[INFO] [stdout] test additional_tests::test_builtin_domains ... ok
[INFO] [stdout] test additional_tests::test_arity_validation_catches_mismatch ... ok
[INFO] [stdout] test additional_tests::test_arity_validation_accepts_consistent ... ok
[INFO] [stdout] test additional_tests::test_empty_graph_valid ... ok
[INFO] [stdout] test additional_tests::test_exists_quantifier_binds_variable ... ok
[INFO] [stdout] test additional_tests::test_forall_quantifier_binds_variable ... ok
[INFO] [stdout] test additional_tests::test_domain_compatibility ... ok
[INFO] [stdout] test additional_tests::test_graph_clone_equality ... ok
[INFO] [stdout] test additional_tests::test_graph_multi_output ... ok
[INFO] [stdout] test additional_tests::test_graph_validation_well_formed ... ok
[INFO] [stdout] test additional_tests::test_if_then_else_preserves_free_vars ... ok
[INFO] [stdout] test additional_tests::test_nested_quantifiers_bind_correctly ... ok
[INFO] [stdout] test additional_tests::test_score_preserves_free_vars ... ok
[INFO] [stdout] test prop_domain_type_operations ... ok
[INFO] [stdout] test prop_constant_no_free_vars ... ok
[INFO] [stdout] test prop_canonicalize_idempotent ... ok
[INFO] [stdout] test prop_equivalent_graphs_same_hash ... ok
[INFO] [stdout] test prop_binary_roundtrip ... ok
[INFO] [stdout] test prop_always_preserves_free_vars ... ok
[INFO] [stdout] test prop_json_roundtrip ... ignored
[INFO] [stdout] test prop_cnf_idempotent ... ok
[INFO] [stdout] test prop_domain_validation_with_registry ... ok
[INFO] [stdout] test prop_box_preserves_free_vars ... ok
[INFO] [stdout] test prop_double_negation_structure ... ok
[INFO] [stdout] test prop_and_free_vars_is_union ... ok
[INFO] [stdout] test prop_imply_free_vars_union ... ok
[INFO] [stdout] test prop_term_equality_reflexive ... ok
[INFO] [stdout] test prop_const_predicate_no_free_vars ... ok
[INFO] [stdout] test prop_not_preserves_free_vars ... ok
[INFO] [stdout] test prop_graph_add_tensor_increases_size ... ok
[INFO] [stdout] test prop_to_cnf_produces_cnf ... ok
[INFO] [stdout] test prop_eventually_preserves_free_vars ... ok
[INFO] [stdout] test prop_diamond_preserves_free_vars ... ok
[INFO] [stdout] test prop_dnf_idempotent ... ok
[INFO] [stdout] test prop_clone_equality ... ok
[INFO] [stdout] test prop_nnf_preserves_structure ... ok
[INFO] [stdout] test prop_next_preserves_free_vars ... ok
[INFO] [stdout] test prop_modal_temporal_preserve_predicates ... ok
[INFO] [stdout] test prop_arithmetic_free_vars_union ... ok
[INFO] [stdout] test prop_and_predicates_is_union ... ok
[INFO] [stdout] test prop_comparison_free_vars_union ... ok
[INFO] [stdout] test prop_to_dnf_produces_dnf ... ok
[INFO] [stdout] test prop_or_free_vars_is_union ... ok
[INFO] [stdout] test prop_until_combines_free_vars ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 43 passed; 0 failed; 1 ignored; 0 measured; 0 filtered out; finished in 2.41s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests tensorlogic_ir
[INFO] [stdout] 
[INFO] [stdout] running 43 tests
[INFO] [stdout] test src/expr/normal_forms.rs - expr::normal_forms::to_cnf (line 301) ... ok
[INFO] [stdout] test src/expr/normal_forms.rs - expr::normal_forms::to_dnf (line 368) ... ok
[INFO] [stdout] test src/dependent.rs - dependent (line 8) ... ok
[INFO] [stdout] test src/graph/export.rs - graph::export (line 11) - compile ... ok
[INFO] [stdout] test src/clp.rs - clp (line 45) ... ok
[INFO] [stdout] test src/expr/advanced_rewriting.rs - expr::advanced_rewriting (line 13) ... ok
[INFO] [stdout] test src/expr/mod.rs - expr::TLExpr::substitute (line 1239) ... ok
[INFO] [stdout] test src/effect_system.rs - effect_system (line 14) ... ok
[INFO] [stdout] test src/graph/dot_export.rs - graph::dot_export::export_to_dot_with_options (line 74) ... ok
[INFO] [stdout] test src/graph/advanced_algorithms.rs - graph::advanced_algorithms (line 22) ... ok
[INFO] [stdout] test src/graph/export.rs - graph::export::export_to_torchscript_text (line 278) - compile ... ok
[INFO] [stdout] test src/expr/optimization/mod.rs - expr::optimization::optimize_expr (line 31) ... ok
[INFO] [stdout] test src/graph/export.rs - graph::export::export_to_onnx_text (line 89) - compile ... ok
[INFO] [stdout] test src/expr/modal_axioms.rs - expr::modal_axioms (line 24) ... ok
[INFO] [stdout] test src/expr/optimization_pipeline.rs - expr::optimization_pipeline (line 17) ... ok
[INFO] [stdout] test src/expr/normal_forms.rs - expr::normal_forms::to_nnf (line 34) ... ok
[INFO] [stdout] test src/graph/canonicalization.rs - graph::canonicalization (line 20) ... ok
[INFO] [stdout] test src/graph/dot_export.rs - graph::dot_export (line 8) ... ok
[INFO] [stdout] test src/graph/dot_export.rs - graph::dot_export::export_to_dot (line 42) ... ok
[INFO] [stdout] test src/graph/parallel.rs - graph::parallel::analyze_parallelization (line 85) ... ok
[INFO] [stdout] test src/lib.rs - (line 89) ... ok
[INFO] [stdout] test src/graph/validation.rs - graph::validation::validate_graph (line 119) ... ok
[INFO] [stdout] test src/parametric_types/mod.rs - parametric_types (line 8) ... ok
[INFO] [stdout] test src/parametric_types/mod.rs - parametric_types (line 31) ... ok
[INFO] [stdout] test src/linear.rs - linear (line 13) ... ok
[INFO] [stdout] test src/parametric_types/mod.rs - parametric_types::unify (line 489) ... ok
[INFO] [stdout] test src/lib.rs - (line 124) ... ok
[INFO] [stdout] test src/graph/memory.rs - graph::memory::analyze_memory (line 77) ... ok
[INFO] [stdout] test src/resolution/clause.rs - resolution::clause::Clause::subsumes (line 107) ... ok
[INFO] [stdout] test src/graph/pgo.rs - graph::pgo (line 15) ... ok
[INFO] [stdout] test src/resolution/clause.rs - resolution::clause::Clause::rename_variables (line 209) ... ok
[INFO] [stdout] test src/resolution/prover.rs - resolution::prover::ResolutionProver::resolve_first_order (line 114) ... ok
[INFO] [stdout] test src/refinement.rs - refinement (line 9) ... ok
[INFO] [stdout] test src/resolution/mod.rs - resolution (line 44) ... ok
[INFO] [stdout] test src/lib.rs - (line 105) ... ok
[INFO] [stdout] test src/resolution/literal.rs - resolution::literal::Literal::try_unify (line 63) ... ok
[INFO] [stdout] test src/unification.rs - unification (line 15) ... ok
[INFO] [stdout] test src/unification.rs - unification::anti_unify_terms (line 362) ... ok
[INFO] [stdout] test src/unification.rs - unification::lgg_terms (line 442) ... ok
[INFO] [stdout] test src/unification.rs - unification::unify_term_list (line 310) ... ok
[INFO] [stdout] test src/sequent.rs - sequent (line 52) ... ok
[INFO] [stdout] test src/unification.rs - unification::unify_terms (line 213) ... ok
[INFO] [stdout] test src/sequent.rs - sequent::Sequent::substitute (line 240) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 43 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.34s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "603864d0b8c3726bf0f2e883c17940c836ef009940adb04f5f92eb259218b68a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "603864d0b8c3726bf0f2e883c17940c836ef009940adb04f5f92eb259218b68a", kill_on_drop: false }`
[INFO] [stdout] 603864d0b8c3726bf0f2e883c17940c836ef009940adb04f5f92eb259218b68a
