[INFO] fetching crate tensorlogic-compiler 0.1.0-rc.1...
[INFO] testing tensorlogic-compiler-0.1.0-rc.1 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-2
[INFO] extracting crate tensorlogic-compiler 0.1.0-rc.1 into /workspace/builds/worker-6-tc1/source
[INFO] started tweaking crates.io crate tensorlogic-compiler 0.1.0-rc.1
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate tensorlogic-compiler 0.1.0-rc.1
[INFO] tweaked toml for crates.io crate tensorlogic-compiler 0.1.0-rc.1 written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate tensorlogic-compiler 0.1.0-rc.1 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate tensorlogic-compiler 0.1.0-rc.1 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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded chacha20 v0.10.0
[INFO] [stderr]   Downloaded oxicode_derive v0.1.0
[INFO] [stderr]   Downloaded cpufeatures v0.3.0
[INFO] [stderr]   Downloaded rawpointer v0.2.1
[INFO] [stderr]   Downloaded oxicode v0.1.1
[INFO] [stderr]   Downloaded num-complex v0.4.6
[INFO] [stderr]   Downloaded ndarray-rand v0.16.0
[INFO] [stderr]   Downloaded oxiarc-lz4 v0.2.1
[INFO] [stderr]   Downloaded rand v0.10.0
[INFO] [stderr]   Downloaded oxiarc-zstd v0.2.1
[INFO] [stderr]   Downloaded matrixmultiply v0.3.10
[INFO] [stderr]   Downloaded rand_distr v0.5.1
[INFO] [stderr]   Downloaded zerocopy-derive v0.8.40
[INFO] [stderr]   Downloaded portable-atomic-util v0.2.5
[INFO] [stderr]   Downloaded oxiarc-core v0.2.1
[INFO] [stderr]   Downloaded tensorlogic-infer v0.1.0-rc.1
[INFO] [stderr]   Downloaded tensorlogic-adapters v0.1.0-rc.1
[INFO] [stderr]   Downloaded ndarray v0.17.2
[INFO] [stderr]   Downloaded rand_core v0.10.0
[INFO] [stderr]   Downloaded zerocopy v0.8.40
[INFO] [stderr]   Downloaded tensorlogic-ir v0.1.0-rc.1
[INFO] [stderr]   Downloaded portable-atomic v1.13.1
[INFO] [stderr]   Downloaded scirs2-core v0.3.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f165c3b3818a0a862fa07535896872816b51a63207aa99f9267350106dd2da66
[INFO] running `Command { std: "docker" "start" "-a" "f165c3b3818a0a862fa07535896872816b51a63207aa99f9267350106dd2da66", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f165c3b3818a0a862fa07535896872816b51a63207aa99f9267350106dd2da66", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f165c3b3818a0a862fa07535896872816b51a63207aa99f9267350106dd2da66", kill_on_drop: false }`
[INFO] [stdout] f165c3b3818a0a862fa07535896872816b51a63207aa99f9267350106dd2da66
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 05204614f7d89d870526285b61370cf27cb8110e38ff63b6c41ba163ae21caa7
[INFO] running `Command { std: "docker" "start" "-a" "05204614f7d89d870526285b61370cf27cb8110e38ff63b6c41ba163ae21caa7", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stderr]    Compiling hashbrown v0.16.1
[INFO] [stderr]    Compiling unsafe-libyaml v0.2.11
[INFO] [stderr]    Compiling ryu v1.0.23
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling oxicode_derive v0.1.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling oxicode v0.1.1
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling serde_yaml v0.9.34+deprecated
[INFO] [stderr]    Compiling tensorlogic-ir v0.1.0-rc.1
[INFO] [stderr]    Compiling tensorlogic-adapters v0.1.0-rc.1
[INFO] [stderr]    Compiling tensorlogic-compiler v0.1.0-rc.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 32.51s
[INFO] running `Command { std: "docker" "inspect" "05204614f7d89d870526285b61370cf27cb8110e38ff63b6c41ba163ae21caa7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "05204614f7d89d870526285b61370cf27cb8110e38ff63b6c41ba163ae21caa7", kill_on_drop: false }`
[INFO] [stdout] 05204614f7d89d870526285b61370cf27cb8110e38ff63b6c41ba163ae21caa7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a4d53ae1a02730971785383c07fe2f9cf04422946587651ee671307404fc9484
[INFO] running `Command { std: "docker" "start" "-a" "a4d53ae1a02730971785383c07fe2f9cf04422946587651ee671307404fc9484", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.182
[INFO] [stderr]    Compiling zerocopy v0.8.40
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling cc v1.2.56
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling rand_core v0.10.0
[INFO] [stderr]    Compiling matrixmultiply v0.3.10
[INFO] [stderr]    Compiling rawpointer v0.2.1
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling zerocopy-derive v0.8.40
[INFO] [stderr]    Compiling rayon v1.11.0
[INFO] [stderr]    Compiling oxiarc-core v0.2.1
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling clap_lex v1.0.0
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling plotters-backend v0.3.7
[INFO] [stderr]    Compiling anstyle v1.0.13
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling ciborium-io v0.2.2
[INFO] [stderr]    Compiling clap_builder v4.5.60
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling chacha20 v0.10.0
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling cast v0.3.0
[INFO] [stderr]    Compiling oxiarc-lz4 v0.2.1
[INFO] [stderr]    Compiling oxiarc-zstd v0.2.1
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling anes v0.1.6
[INFO] [stderr]    Compiling plotters-svg v0.3.7
[INFO] [stderr]    Compiling oorandom v11.1.5
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling rand_core v0.9.5
[INFO] [stderr]    Compiling num_cpus v1.17.0
[INFO] [stderr]    Compiling page_size v0.6.0
[INFO] [stderr]    Compiling rand v0.10.0
[INFO] [stderr]    Compiling uuid v1.22.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling chrono v0.4.44
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling approx v0.5.1
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling plotters v0.3.7
[INFO] [stderr]    Compiling alloca v0.4.0
[INFO] [stderr]    Compiling scirs2-core v0.3.0
[INFO] [stderr]    Compiling clap v4.5.60
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling criterion-plot v0.8.2
[INFO] [stderr]    Compiling ndarray v0.17.2
[INFO] [stderr]    Compiling tensorlogic-ir v0.1.0-rc.1
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling half v2.7.1
[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 rand v0.9.2
[INFO] [stderr]    Compiling rand_distr v0.5.1
[INFO] [stderr]    Compiling criterion v0.8.2
[INFO] [stderr]    Compiling ndarray-rand v0.16.0
[INFO] [stderr]    Compiling tensorlogic-adapters v0.1.0-rc.1
[INFO] [stderr]    Compiling tensorlogic-infer v0.1.0-rc.1
[INFO] [stderr]    Compiling tensorlogic-compiler v0.1.0-rc.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1m 04s
[INFO] running `Command { std: "docker" "inspect" "a4d53ae1a02730971785383c07fe2f9cf04422946587651ee671307404fc9484", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a4d53ae1a02730971785383c07fe2f9cf04422946587651ee671307404fc9484", kill_on_drop: false }`
[INFO] [stdout] a4d53ae1a02730971785383c07fe2f9cf04422946587651ee671307404fc9484
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8aaaf768d5dd72b0cb198e0f418fc98b15a7c7f5db3550ac1076564b8b1aac45
[INFO] running `Command { std: "docker" "start" "-a" "8aaaf768d5dd72b0cb198e0f418fc98b15a7c7f5db3550ac1076564b8b1aac45", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.23s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/tensorlogic_compiler-0b187943f9ceb9ae)
[INFO] [stdout] 
[INFO] [stdout] running 472 tests
[INFO] [stdout] test cache::tests::test_cache_clear ... ok
[INFO] [stdout] test compile::abduction::tests::test_abducible_with_zero_cost ... ok
[INFO] [stdout] test compile::abduction::tests::test_explain_uses_correct_costs ... ok
[INFO] [stdout] test compile::abduction::tests::test_explain_with_free_variables ... ok
[INFO] [stdout] test compile::abduction::tests::test_explain_with_single_abducible ... ok
[INFO] [stdout] test compile::abduction::tests::test_abducible_compilation ... ok
[INFO] [stdout] test compile::abduction::tests::test_explain_without_abducibles ... ok
[INFO] [stdout] test cache::tests::test_cache_different_expressions ... ok
[INFO] [stdout] test compile::abduction::tests::test_abducible_cost_metadata_storage ... ok
[INFO] [stdout] test compile::abduction::tests::test_get_registered_abducibles_extracts_costs ... ok
[INFO] [stdout] test compile::abduction::tests::test_abducible_name_uniqueness ... ok
[INFO] [stdout] test cache::tests::test_cache_hit ... ok
[INFO] [stdout] test cache::tests::test_cache_stats ... ok
[INFO] [stdout] test compile::abduction::tests::test_nested_explain_not_recommended ... ok
[INFO] [stdout] test compile::abduction::tests::test_explain_with_multiple_abducibles ... ok
[INFO] [stdout] test compile::constraints::tests::test_all_different_empty_fails ... ok
[INFO] [stdout] test compile::constraints::tests::test_all_different_three_variables ... ok
[INFO] [stdout] test compile::constraints::tests::test_all_different_single_variable ... ok
[INFO] [stdout] test compile::constraints::tests::test_all_different_two_variables ... ok
[INFO] [stdout] test compile::constraints::tests::test_global_cardinality_empty_variables_fails ... ok
[INFO] [stdout] test compile::constraints::tests::test_global_cardinality_invalid_bounds ... ok
[INFO] [stdout] test compile::constraints::tests::test_global_cardinality_mismatched_lengths ... ok
[INFO] [stdout] test compile::constraints::tests::test_global_cardinality_no_constraints ... ok
[INFO] [stdout] test compile::constraints::tests::test_global_cardinality_simple ... ok
[INFO] [stdout] test compile::counting_quantifiers::tests::test_counting_exists_compilation ... ok
[INFO] [stdout] test compile::counting_quantifiers::tests::test_counting_forall_compilation ... ok
[INFO] [stdout] test compile::counting_quantifiers::tests::test_exact_count_compilation ... ok
[INFO] [stdout] test compile::counting_quantifiers::tests::test_majority_compilation ... ok
[INFO] [stdout] test compile::abduction::tests::test_multiple_explain_calls ... ok
[INFO] [stdout] test compile::custom_ops::tests::test_custom_op_data ... ok
[INFO] [stdout] test compile::custom_ops::tests::test_extended_context ... ok
[INFO] [stdout] test compile::custom_ops::tests::test_preset_soft_threshold_and ... ok
[INFO] [stdout] test compile::custom_ops::tests::test_preset_weighted_or ... ok
[INFO] [stdout] test compile::fixpoint::tests::test_fixpoint_unbound_variable_fails ... ok
[INFO] [stdout] test compile::fixpoint::tests::test_fixpoint_with_recursion ... ok
[INFO] [stdout] test compile::fixpoint::tests::test_least_fixpoint_simple ... ok
[INFO] [stdout] test compile::fuzzy::tests::test_compile_fuzzy_implication_lukasiewicz ... ok
[INFO] [stdout] test compile::fuzzy::tests::test_compile_fuzzy_not_standard ... ok
[INFO] [stdout] test compile::fuzzy::tests::test_compile_tconorm_maximum ... ok
[INFO] [stdout] test compile::fuzzy::tests::test_compile_tnorm_lukasiewicz ... ok
[INFO] [stdout] test compile::fuzzy::tests::test_compile_tnorm_minimum ... ok
[INFO] [stdout] test cache::tests::test_cache_new ... ok
[INFO] [stdout] test compile::fixpoint::tests::test_fixpoint_with_quantifier_inference ... ok
[INFO] [stdout] test compile::fuzzy::tests::test_compile_tnorm_product ... ok
[INFO] [stdout] test compile::abduction::tests::test_abducible_with_high_cost ... ok
[INFO] [stdout] test compile::fixpoint::tests::test_greatest_fixpoint_simple ... ok
[INFO] [stdout] test compile::higher_order::tests::test_apply_non_lambda ... ok
[INFO] [stdout] test compile::higher_order::tests::test_beta_reduction_simple ... ok
[INFO] [stdout] test compile::higher_order::tests::test_beta_reduction_with_free_variable ... ok
[INFO] [stdout] test compile::higher_order::tests::test_lambda_simple_body ... ok
[INFO] [stdout] test compile::higher_order::tests::test_lambda_with_unbound_type_fails ... ok
[INFO] [stdout] test cache::tests::test_cache_eviction ... ok
[INFO] [stdout] test compile::higher_order::tests::test_nested_lambda_application ... ok
[INFO] [stdout] test compile::hybrid::tests::test_at_operator_simple ... ok
[INFO] [stdout] test compile::hybrid::tests::test_at_with_constant_formula ... ok
[INFO] [stdout] test compile::hybrid::tests::test_everywhere_operator ... ok
[INFO] [stdout] test compile::hybrid::tests::test_everywhere_with_free_variable ... ok
[INFO] [stdout] test compile::hybrid::tests::test_multiple_nominals_distinct_indices ... ok
[INFO] [stdout] test compile::hybrid::tests::test_nested_somewhere_everywhere ... ok
[INFO] [stdout] test compile::hybrid::tests::test_nominal_compilation ... ok
[INFO] [stdout] test compile::hybrid::tests::test_somewhere_operator ... ok
[INFO] [stdout] test compile::hybrid::tests::test_somewhere_with_free_variable ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_compile_box_simple ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_compile_eventually_simple ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_ensure_time_axis ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_ensure_world_axis ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_next_not_implemented ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_until_not_implemented ... ok
[INFO] [stdout] test compile::probabilistic::tests::test_compile_probabilistic_choice_single ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_modal_strategy_configuration ... ok
[INFO] [stdout] test compile::probabilistic::tests::test_compile_probabilistic_choice_multiple ... ok
[INFO] [stdout] test compile::probabilistic::tests::test_probabilistic_choice_empty_fails ... ok
[INFO] [stdout] test compile::set_operations::tests::test_empty_set_compilation ... ok
[INFO] [stdout] test compile::probabilistic::tests::test_probabilistic_choice_negative_prob_fails ... ok
[INFO] [stdout] test compile::probabilistic::tests::test_compile_weighted_rule ... ok
[INFO] [stdout] test compile::set_operations::tests::test_set_cardinality_compilation ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_temporal_strategy_configuration ... ok
[INFO] [stdout] test compile::modal_temporal::tests::test_compile_diamond_simple ... ok
[INFO] [stdout] test compile::set_operations::tests::test_set_comprehension_compilation ... ok
[INFO] [stdout] test compile::set_operations::tests::test_set_difference_compilation ... ok
[INFO] [stdout] test compile::set_operations::tests::test_set_intersection_compilation ... ok
[INFO] [stdout] test compile::set_operations::tests::test_set_membership_compilation ... ok
[INFO] [stdout] test compile::set_operations::tests::test_set_union_compilation ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_and_strategy_lukasiewicz ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_and_strategy_min ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_and_strategy_product ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_complement_not_strategy ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_or_strategy_lukasiewicz ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_or_strategy_max ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_sigmoid_not_with_temperature_1 ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_sigmoid_not_with_temperature_10 ... ok
[INFO] [stdout] test compile::strategy_mapping::tests::test_sigmoid_not_with_temperature_2 ... ok
[INFO] [stdout] test config::tests::test_builder_with_all_strategies ... ok
[INFO] [stdout] test config::tests::test_custom_config_builder ... ok
[INFO] [stdout] test config::tests::test_default_config ... ok
[INFO] [stdout] test config::tests::test_fuzzy_godel_config ... ok
[INFO] [stdout] test config::tests::test_fuzzy_lukasiewicz_config ... ok
[INFO] [stdout] test config::tests::test_hard_boolean_config ... ok
[INFO] [stdout] test config::tests::test_serialization_all_presets ... ok
[INFO] [stdout] test config::tests::test_probabilistic_config ... ok
[INFO] [stdout] test debug::tests::test_add_compilation_step ... ok
[INFO] [stdout] test debug::tests::test_compilation_trace_creation ... ok
[INFO] [stdout] test debug::tests::test_compilation_tracer_disabled ... ok
[INFO] [stdout] test debug::tests::test_compilation_tracer_enabled ... ok
[INFO] [stdout] test compile::fixpoint::tests::test_least_vs_greatest_both_compile ... ok
[INFO] [stdout] test config::tests::test_serialization_deserialization ... ok
[INFO] [stdout] test debug::tests::test_print_context_state ... ok
[INFO] [stdout] test debug::tests::test_truncate ... ok
[INFO] [stdout] test debug::tests::test_print_graph_state ... ok
[INFO] [stdout] test import::prolog::tests::test_complex_rule ... ok
[INFO] [stdout] test import::prolog::tests::test_conjunction ... ok
[INFO] [stdout] test import::prolog::tests::test_disjunction ... ok
[INFO] [stdout] test import::prolog::tests::test_negation_function ... ok
[INFO] [stdout] test import::prolog::tests::test_multiple_args ... ok
[INFO] [stdout] test import::prolog::tests::test_predicate_no_args ... ok
[INFO] [stdout] test import::prolog::tests::test_negation_prefix ... ok
[INFO] [stdout] test import::prolog::tests::test_rule ... ok
[INFO] [stdout] test import::prolog::tests::test_simple_fact ... ok
[INFO] [stdout] test import::prolog::tests::test_variables_and_constants ... ok
[INFO] [stdout] test import::sexpr::tests::test_complex_expression ... ok
[INFO] [stdout] test import::sexpr::tests::test_conjunction ... ok
[INFO] [stdout] test import::sexpr::tests::test_disjunction ... ok
[INFO] [stdout] test import::sexpr::tests::test_exists ... ok
[INFO] [stdout] test import::sexpr::tests::test_forall ... ok
[INFO] [stdout] test import::sexpr::tests::test_implication ... ok
[INFO] [stdout] test import::sexpr::tests::test_multiple_conjunction ... ok
[INFO] [stdout] test import::sexpr::tests::test_negation ... ok
[INFO] [stdout] test import::sexpr::tests::test_predicate_no_args ... ok
[INFO] [stdout] test import::sexpr::tests::test_simple_predicate ... ok
[INFO] [stdout] test import::tests::test_auto_detect_prolog ... ok
[INFO] [stdout] test import::tests::test_auto_detect_sexpr ... ok
[INFO] [stdout] test import::tests::test_auto_detect_unknown ... ok
[INFO] [stdout] test import::tptp::tests::test_complex_nested ... ok
[INFO] [stdout] test import::tptp::tests::test_conjunction ... ok
[INFO] [stdout] test import::tptp::tests::test_direct_formula ... ok
[INFO] [stdout] test import::tptp::tests::test_disjunction ... ok
[INFO] [stdout] test import::tptp::tests::test_multiple_quantifiers ... ok
[INFO] [stdout] test import::tptp::tests::test_fof_with_quantifier ... ok
[INFO] [stdout] test import::tptp::tests::test_negation ... ok
[INFO] [stdout] test import::tptp::tests::test_simple_fof ... ok
[INFO] [stdout] test incremental::tests::test_change_detection_domain ... ok
[INFO] [stdout] test incremental::tests::test_dependency_tracking ... ok
[INFO] [stdout] test incremental::tests::test_complex_expression_dependencies ... ok
[INFO] [stdout] test incremental::tests::test_incremental_compilation_reuse ... ok
[INFO] [stdout] test import::tptp::tests::test_exists_quantifier ... ok
[INFO] [stdout] test incremental::tests::test_incremental_stats ... ok
[INFO] [stdout] test incremental::tests::test_invalidation_on_domain_change ... ok
[INFO] [stdout] test optimize::algebraic::tests::test_addition_identity ... ok
[INFO] [stdout] test optimize::algebraic::tests::test_idempotent_min_max ... ok
[INFO] [stdout] test optimize::algebraic::tests::test_multiplication_annihilation ... ok
[INFO] [stdout] test optimize::algebraic::tests::test_multiplication_identity ... ok
[INFO] [stdout] test optimize::algebraic::tests::test_nested_simplification ... ok
[INFO] [stdout] test optimize::algebraic::tests::test_power_identities ... ok
[INFO] [stdout] test optimize::complexity::tests::test_arithmetic_vs_logical ... ok
[INFO] [stdout] test optimize::complexity::tests::test_compare_complexity ... ok
[INFO] [stdout] test optimize::complexity::tests::test_complexity_level ... ok
[INFO] [stdout] test optimize::complexity::tests::test_cost_calculation ... ok
[INFO] [stdout] test optimize::complexity::tests::test_cse_potential ... ok
[INFO] [stdout] test optimize::complexity::tests::test_depth_calculation ... ok
[INFO] [stdout] test optimize::complexity::tests::test_display ... ok
[INFO] [stdout] test optimize::complexity::tests::test_gpu_weights ... ok
[INFO] [stdout] test optimize::complexity::tests::test_nested_operations ... ok
[INFO] [stdout] test import::tptp::tests::test_fof_with_implication ... ok
[INFO] [stdout] test optimize::complexity::tests::test_simple_addition ... ok
[INFO] [stdout] test optimize::complexity::tests::test_quantifiers ... ok
[INFO] [stdout] test optimize::complexity::tests::test_unique_variables ... ok
[INFO] [stdout] test optimize::constant_folding::tests::test_fold_binary_arithmetic ... ok
[INFO] [stdout] test optimize::constant_folding::tests::test_fold_nested_arithmetic ... ok
[INFO] [stdout] test optimize::constant_folding::tests::test_fold_trigonometry ... ok
[INFO] [stdout] test optimize::complexity::tests::test_logical_operations ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_complex_quantifier_expression ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_no_improvement ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_cost_reduction_calculation ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_if_false_elimination ... ok
[INFO] [stdout] test optimize::complexity::tests::test_strength_reduction_potential ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_custom_cost_weights ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_reorder_conjunctions ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_max_alternatives_limit ... ok
[INFO] [stdout] test optimize::constant_folding::tests::test_fold_unary_operations ... ok
[INFO] [stdout] test optimize::complexity::tests::test_unique_predicates ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_push_exists_inward ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_simple_expression_no_rewrites ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_if_true_elimination ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_imply_false_antecedent ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_and_short_circuit_false ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_min_same_operands ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_quantifier_body ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_factor_and_over_or ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_factor_common_and ... ok
[INFO] [stdout] test optimize::cost_based::tests::test_distribute_and_over_or ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_not_constant ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_or_short_circuit_true ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_unused_exists_quantifier ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_used_exists_quantifier ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_factor_add_common_left ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_factor_add_common_right ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_factor_or_over_and ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_factor_sub ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_batch_estimation ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_batch_size_suggestion ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_constant_memory ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_memory_limit_check ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_display ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_nested_quantifiers ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_mb_conversion ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_quantifier_reduction ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_peak_memory ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_predicate_memory ... ok
[INFO] [stdout] test optimize::negation::tests::test_complex_nested_negation ... ok
[INFO] [stdout] test optimize::constant_folding::tests::test_no_fold_with_variables ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_no_factoring_possible ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_stats_total_optimizations ... ok
[INFO] [stdout] test optimize::negation::tests::test_demorgan_and ... ok
[INFO] [stdout] test optimize::negation::tests::test_double_negation_elimination ... ok
[INFO] [stdout] test optimize::negation::tests::test_demorgan_or ... ok
[INFO] [stdout] test optimize::negation::tests::test_quantifier_negation_forall ... ok
[INFO] [stdout] test optimize::negation::tests::test_triple_negation ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_fixed_point_detection ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_dead_code_elimination_integration ... ok
[INFO] [stdout] test optimize::negation::tests::test_quantifier_negation_exists ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_all_passes_together ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_complex_real_world_expression ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_algebraic_only ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_constant_folding_only ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_iteration_stats ... ok
[INFO] [stdout] test optimize::memory_estimation::tests::test_binary_operation_memory ... ok
[INFO] [stdout] test optimize::negation::tests::test_no_optimization_needed ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_max_iterations_limit ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_builder_pattern ... ok
[INFO] [stdout] test optimize::dead_code::tests::test_mul_by_zero ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_aggressive_optimization ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_no_optimization ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_forall_hoist_and ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_pipeline_display ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_pipeline_with_all_passes ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_free_vars ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_hoist_and ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_hoist_add_lhs ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_stats_total_optimizations ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_hoist_mul ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_forall_hoist_or ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_division_by_two ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_exp_product ... ok
[INFO] [stdout] test optimize::pipeline::tests::test_most_productive_iteration ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_exp_log_inverse ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_nested_hoisting ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_hoist_add_rhs ... ok
[INFO] [stdout] test optimize::quantifier_opt::tests::test_no_hoist_when_dependent ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_exp_zero ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_log_exp_inverse ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_log_one ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_log_difference ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_abs_abs ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_nested_optimization ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_power_reduction_x_half ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_power_reduction_x_one ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_power_reduction_x_zero ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_power_reduction_x_squared ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_quantifier_body_optimization ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_stats_total_optimizations ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_analyze_empty_graph ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_has_critical_recommendations ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_has_fusible_operations_no_fusion ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_parallel_opportunity_creation ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_quick_analyze_empty ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_recommendation_category_equality ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_analyze_contraction_path ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_estimate_einsum_cost ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_estimate_merge_cost ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_find_optimal_path_greedy ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_contraction_path_high_cost_warning ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_config_default ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_stats_total_optimizations ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_optimize_contractions ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_high_priority_recommendations ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_analysis_report_new ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_tensor_shape ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_parse_einsum_spec ... ok
[INFO] [stdout] test passes::cse::tests::test_cse_duplicate_predicates ... ok
[INFO] [stdout] test passes::cse::tests::test_cse_nested_duplicates ... ok
[INFO] [stdout] test passes::cse::tests::test_cse_no_duplicates ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_tensor_shape_unknown_dims ... ok
[INFO] [stdout] test passes::dataflow::tests::test_dataflow_config ... ok
[INFO] [stdout] test passes::dataflow::tests::test_available_expressions ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_parse_einsum_spec_complex ... ok
[INFO] [stdout] test passes::dataflow::tests::test_graph_dataflow ... ok
[INFO] [stdout] test passes::cse::tests::test_cse_complex_expression ... ok
[INFO] [stdout] test passes::cse::tests::test_cse_preserves_semantics ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_sqrt_x_times_x ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_estimated_total_speedup ... ok
[INFO] [stdout] test passes::contraction_opt::tests::test_estimate_pairwise_cost ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_diagnose_unbound_variable ... ok
[INFO] [stdout] test passes::dataflow::tests::test_dataflow_analysis_default ... ok
[INFO] [stdout] test passes::cse::tests::test_cse_with_quantifiers ... ok
[INFO] [stdout] test passes::dataflow::tests::test_graph_dependencies ... ok
[INFO] [stdout] test passes::dataflow::tests::test_live_variables_and ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_diagnostic_builder ... ok
[INFO] [stdout] test passes::dataflow::tests::test_live_variables_simple ... ok
[INFO] [stdout] test passes::dataflow::tests::test_quantifier_binding ... ok
[INFO] [stdout] test passes::dataflow::tests::test_reaching_definitions_let ... ok
[INFO] [stdout] test passes::dataflow::tests::test_use_def_chains ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_diagnostic_with_span ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_enhance_type_error ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_enhance_arity_error ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_diagnostic_format ... ok
[INFO] [stdout] test passes::advanced_analysis::tests::test_has_fusible_operations_with_fusion ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_diagnose_unused_binding ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_create_detailed_error ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_pretty_print_predicate ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_diagnostic_creation ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_pretty_print_complex ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_einsum_opt_result_creation ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_einsum_opt_result_has_changes ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_eliminate_identity_ops_empty_graph ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_find_optimal_contraction_order_simple ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_get_first_input ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_is_identity_op ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_merge_consecutive_einsums_empty_graph ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_optimize_contraction_order_empty_graph ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_optimize_einsum_graph_empty ... ok
[INFO] [stdout] test passes::einsum_opt::tests::test_remap_node_inputs ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_pretty_print_truncation ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_apply_pattern_optimizations_empty ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_apply_optimizations_with_default_config ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_config_aggressive ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_config_conservative ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_config_for_inference ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_quick_optimize_empty_graph ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_recommend_optimizations_small_graph ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_recommend_optimizations_medium_graph ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_config_defaults ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_stats_any_applied_false ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_stats_total_optimizations ... ok
[INFO] [stdout] test passes::graph_opt_integration::tests::test_config_for_training ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_can_fuse_same_reductions ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_cannot_fuse_different_axes ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_config_builder ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_dependency_conflict_detection ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_estimate_fusion_benefit ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_from_expr_exists ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_build_dependency_graph ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_can_fuse_elementwise ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_fuse_loops_stats ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_attach_expr_metadata ... ok
[INFO] [stdout] test passes::loop_fusion::tests::test_stats_total_optimizations ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_from_expr_predicate ... ok
[INFO] [stdout] test optimize::distributivity::tests::test_nested_factoring ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_sqrt_x_squared ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_pretty_print_quantifier ... ok
[INFO] [stdout] test passes::diagnostics::tests::test_pretty_print_arithmetic ... ok
[INFO] [stdout] test optimize::strength_reduction::tests::test_log_sum ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_metadata_builder_fresh_rule_id ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_metadata_builder_new ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_metadata_compilation_result ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_metadata_builder_with_source_file ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_predicate_metadata ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_logic_op_metadata ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_propagate_metadata_with_domains ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_quantifier_metadata ... ok
[INFO] [stdout] test passes::metadata_propagation::tests::test_from_expr_and ... ok
[INFO] [stdout] test passes::post_compilation::tests::test_post_compilation_simple ... ok
[INFO] [stdout] test passes::post_compilation::tests::test_quick_validate_success ... ok
[INFO] [stdout] test passes::reachability::tests::test_build_adjacency ... ok
[INFO] [stdout] test passes::post_compilation::tests::test_post_compilation_optimizations ... ok
[INFO] [stdout] test passes::reachability::tests::test_dominance_empty_graph ... ok
[INFO] [stdout] test passes::post_compilation::tests::test_post_compilation_with_quantifier ... ok
[INFO] [stdout] test passes::post_compilation::tests::test_extract_axes_from_spec ... ok
[INFO] [stdout] test passes::reachability::tests::test_is_dag ... ok
[INFO] [stdout] test passes::reachability::tests::test_dominates ... ok
[INFO] [stdout] test passes::reachability::tests::test_reachability_empty_graph ... ok
[INFO] [stdout] test passes::reachability::tests::test_reachability_single_node ... ok
[INFO] [stdout] test passes::reachability::tests::test_reachability_chain ... ok
[INFO] [stdout] test passes::reachability::tests::test_topo_order ... ok
[INFO] [stdout] test passes::reachability::tests::test_scc_computation ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_bound_variable ... ok
[INFO] [stdout] test passes::post_compilation::tests::test_post_compilation_strict_mode ... ok
[INFO] [stdout] test passes::reachability::tests::test_get_predecessors ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_unbound_variable ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_and_or_profile ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_validate_scopes_failure ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_complexity_score ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_mixed_operations_profile ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_negated_quantifier_profile ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_nested_quantifiers_profile ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_recommend_balanced ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_recommend_complex_differentiable ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_recommend_simple_differentiable ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_recommend_discrete ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_simple_predicate_profile ... ok
[INFO] [stdout] test passes::strategy_selection::tests::test_recommend_performance ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_mixed_bound_unbound ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_nested_quantifiers ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_suggest_quantifiers ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_type_annotations ... ok
[INFO] [stdout] test passes::symbol_integration::tests::test_build_signature_registry ... ok
[INFO] [stdout] test passes::symbol_integration::tests::test_create_predicate_info ... ok
[INFO] [stdout] test passes::symbol_integration::tests::test_export_domains ... ok
[INFO] [stdout] test passes::symbol_integration::tests::test_predicate_info_to_signature ... ok
[INFO] [stdout] test passes::symbol_integration::tests::test_import_domains ... ok
[INFO] [stdout] test passes::symbol_integration::tests::test_round_trip_domains ... ok
[INFO] [stdout] test passes::symbol_integration::tests::test_sync_context_with_symbol_table ... ok
[INFO] [stdout] test passes::type_checking::tests::test_nested_expressions ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_checking_success ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_type_conflicts ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_checking_arity_mismatch ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_checking_no_signature ... ok
[INFO] [stdout] test passes::scope_analysis::tests::test_validate_scopes_success ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_inference_conflict ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_inference_multiple_predicates ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_checking_type_mismatch ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_checking_untyped_args ... ok
[INFO] [stdout] test passes::validation::tests::test_validate_expression_unbound_vars ... ok
[INFO] [stdout] test passes::validation::tests::test_validate_expression_partial_binding ... ok
[INFO] [stdout] test passes::type_checking::tests::test_type_inference_basic ... ok
[INFO] [stdout] test passes::validation::tests::test_validation_result_message ... ok
[INFO] [stdout] test profiling::tests::test_cache_stats ... ok
[INFO] [stdout] test passes::validation::tests::test_validate_expression_with_warnings ... ok
[INFO] [stdout] test passes::validation::tests::test_validate_with_types ... ok
[INFO] [stdout] test profiling::tests::test_json_report ... ok
[INFO] [stdout] test profiling::tests::test_memory_snapshot ... ok
[INFO] [stdout] test passes::validation::tests::test_validate_expression_ok ... ok
[INFO] [stdout] test profiling::tests::test_most_expensive_pass ... ok
[INFO] [stdout] test passes::validation::tests::test_validate_expression_arity_mismatch ... ok
[INFO] [stdout] test profiling::tests::test_phase_time ... ok
[INFO] [stdout] test profiling::tests::test_pass_profile ... ok
[INFO] [stdout] test tests::test_and_expression ... ok
[INFO] [stdout] test tests::test_and_with_different_axes ... ok
[INFO] [stdout] test tests::test_and_with_disjoint_variables ... ok
[INFO] [stdout] test tests::test_compile_not_with_different_configs ... ok
[INFO] [stdout] test tests::test_arity_validation ... ok
[INFO] [stdout] test tests::test_compile_with_fuzzy_lukasiewicz_config ... ok
[INFO] [stdout] test tests::test_compile_with_probabilistic_config ... ok
[INFO] [stdout] test tests::test_compile_with_hard_boolean_config ... ok
[INFO] [stdout] test profiling::tests::test_config_filtering ... ok
[INFO] [stdout] test tests::test_compile_complex_expression_with_config ... ok
[INFO] [stdout] test tests::test_compile_or_with_different_configs ... ok
[INFO] [stdout] test tests::test_exists_quantifier ... ok
[INFO] [stdout] test tests::test_implication ... ok
[INFO] [stdout] test tests::test_compiler_context ... ok
[INFO] [stdout] test tests::test_implication_with_broadcasting ... ok
[INFO] [stdout] test tests::test_compile_with_fuzzy_godel_config ... ok
[INFO] [stdout] test tests::test_custom_config_builder ... ok
[INFO] [stdout] test tests::test_or_with_different_variables ... ok
[INFO] [stdout] test tests::test_transitivity_complete ... ok
[INFO] [stdout] test tests::test_compile_with_soft_differentiable_config ... ok
[INFO] [stdout] test tests_math_ops::test_exp_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_abs_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_floor_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_exp_log_composition ... ok
[INFO] [stdout] test tests_math_ops::test_ceil_compilation ... ok
[INFO] [stdout] test tests::test_transitivity_rule_shared_variables ... ok
[INFO] [stdout] test tests::test_simple_predicate ... ok
[INFO] [stdout] test tests_math_ops::test_let_binding_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_log_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_mod_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_max_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_complex_math_expression ... ok
[INFO] [stdout] test tests_math_ops::test_min_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_cos_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_nested_math_operations ... ok
[INFO] [stdout] test tests_math_ops::test_sin_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_sqrt_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_tan_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_round_compilation ... ok
[INFO] [stdout] test tests_math_ops::test_nested_let_bindings ... ok
[INFO] [stdout] test tests_math_ops::test_trig_expressions ... ok
[INFO] [stdout] test tests_math_ops::test_mod_with_constants ... ok
[INFO] [stdout] test tests_math_ops::test_pow_compilation ... ok
[INFO] [stdout] test profiling::tests::test_generate_report ... ok
[INFO] [stdout] test profiling::tests::test_profiler_basic ... ok
[INFO] [stdout] test profiling::tests::test_nested_phases ... ok
[INFO] [stdout] test profiling::tests::test_slowest_phase ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 472 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.14s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/adapter_integration.rs (/opt/rustwide/target/debug/deps/adapter_integration-8de4842827307b9c)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_add_domain_info_with_full_metadata ... ok
[INFO] [stdout] test test_manual_domain_addition_after_import ... ok
[INFO] [stdout] test test_schema_driven_compilation_basic ... ok
[INFO] [stdout] test test_schema_with_metadata ... ok
[INFO] [stdout] test test_schema_with_quantifiers ... ok
[INFO] [stdout] test test_schema_driven_with_config ... ok
[INFO] [stdout] test test_schema_with_variable_bindings ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/end_to_end.rs (/opt/rustwide/target/debug/deps/end_to_end-71042d0d5e6a598b)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test integration_tests_placeholder ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests tensorlogic_compiler
[INFO] [stdout] 
[INFO] [stdout] running 67 tests
[INFO] [stdout] test src/cache.rs - cache::CompilationCache::stats (line 266) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::fresh_temp (line 366) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::from_symbol_table_with_config (line 204) ... ok
[INFO] [stdout] test src/debug.rs - debug::CompilationTracer (line 229) ... ignored
[INFO] [stdout] test src/export/mod.rs - export (line 17) ... ignored
[INFO] [stdout] test src/context.rs - context::CompilerContext::add_domain (line 238) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::add_domain_info (line 261) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::assign_axis (line 330) ... ok
[INFO] [stdout] test src/import/mod.rs - import (line 21) - compile ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext (line 38) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::from_symbol_table (line 165) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::get_axes (line 402) ... ok
[INFO] [stdout] test src/cache.rs - cache::CompilationCache (line 75) ... ok
[INFO] [stdout] test src/cache.rs - cache::CompilationCache::new (line 146) ... ok
[INFO] [stdout] test src/cache.rs - cache::CompilationCache::get_or_compile (line 184) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::bind_var (line 293) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext (line 59) ... ok
[INFO] [stdout] test src/cache.rs - cache::CompilationCache::clear (line 282) ... ok
[INFO] [stdout] test src/compile/custom_ops.rs - compile::custom_ops::CustomOpRegistry::register (line 102) ... ok
[INFO] [stdout] test src/import/mod.rs - import::parse_auto (line 45) ... ok
[INFO] [stdout] test src/import/prolog.rs - import::prolog (line 16) ... ok
[INFO] [stdout] test src/lib.rs - (line 24) ... ok
[INFO] [stdout] test src/import/sexpr.rs - import::sexpr (line 17) ... ok
[INFO] [stdout] test src/import/mod.rs - import (line 14) ... ok
[INFO] [stdout] test src/lib.rs - (line 117) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::new (line 102) ... ok
[INFO] [stdout] test src/context.rs - context::CompilerContext::with_config (line 127) ... ok
[INFO] [stdout] test src/optimize/cost_based.rs - optimize::cost_based (line 18) - compile ... ok
[INFO] [stdout] test src/optimize/cost_based.rs - optimize::cost_based::optimize_by_cost (line 548) - compile ... ok
[INFO] [stdout] test src/incremental.rs - incremental (line 23) ... ok
[INFO] [stdout] test src/import/tptp.rs - import::tptp (line 15) ... ok
[INFO] [stdout] test src/lib.rs - (line 72) ... ok
[INFO] [stdout] test src/lib.rs - (line 82) ... ok
[INFO] [stdout] test src/lib.rs - compile_to_einsum_with_config (line 201) ... ok
[INFO] [stdout] test src/lib.rs - compile_to_einsum_with_context (line 236) ... ok
[INFO] [stdout] test src/lib.rs - (line 102) ... ok
[INFO] [stdout] test src/lib.rs - compile_to_einsum (line 173) ... ok
[INFO] [stdout] test src/optimize/complexity.rs - optimize::complexity (line 13) ... ok
[INFO] [stdout] test src/optimize/mod.rs - optimize (line 20) ... ok
[INFO] [stdout] test src/optimize/algebraic.rs - optimize::algebraic::simplify_algebraic (line 31) ... ok
[INFO] [stdout] test src/optimize/memory_estimation.rs - optimize::memory_estimation (line 13) ... ok
[INFO] [stdout] test src/passes/advanced_analysis.rs - passes::advanced_analysis::analyze_graph (line 115) ... ok
[INFO] [stdout] test src/optimize/pipeline.rs - optimize::pipeline (line 28) ... ok
[INFO] [stdout] test src/optimize/constant_folding.rs - optimize::constant_folding::fold_constants (line 27) ... ok
[INFO] [stdout] test src/optimize/dead_code.rs - optimize::dead_code (line 15) ... ok
[INFO] [stdout] test src/passes/contraction_opt.rs - passes::contraction_opt (line 29) ... ok
[INFO] [stdout] test src/passes/advanced_analysis.rs - passes::advanced_analysis::quick_analyze (line 251) ... ok
[INFO] [stdout] test src/optimize/mod.rs - optimize (line 34) ... ok
[INFO] [stdout] test src/optimize/quantifier_opt.rs - optimize::quantifier_opt (line 12) ... ok
[INFO] [stdout] test src/passes/advanced_analysis.rs - passes::advanced_analysis::print_report (line 274) ... ok
[INFO] [stdout] test src/optimize/strength_reduction.rs - optimize::strength_reduction (line 15) ... ok
[INFO] [stdout] test src/optimize/mod.rs - optimize (line 48) ... ok
[INFO] [stdout] test src/passes/dataflow.rs - passes::dataflow (line 25) ... ok
[INFO] [stdout] test src/passes/graph_opt_integration.rs - passes::graph_opt_integration::apply_graph_optimizations (line 151) ... ok
[INFO] [stdout] test src/passes/graph_opt_integration.rs - passes::graph_opt_integration::apply_pattern_optimizations (line 238) ... ok
[INFO] [stdout] test src/optimize/pipeline.rs - optimize::pipeline::OptimizationPipeline (line 466) ... ok
[INFO] [stdout] test src/passes/validation.rs - passes::validation::validate_arity (line 24) ... ok
[INFO] [stdout] test src/passes/strategy_selection.rs - passes::strategy_selection::recommend_strategy (line 546) ... ok
[INFO] [stdout] test src/passes/graph_opt_integration.rs - passes::graph_opt_integration::recommend_optimizations (line 290) ... ok
[INFO] [stdout] test src/passes/validation.rs - passes::validation::validate_expression (line 107) ... ok
[INFO] [stdout] test src/passes/post_compilation.rs - passes::post_compilation::post_compilation_passes (line 68) ... ok
[INFO] [stdout] test src/passes/reachability.rs - passes::reachability (line 19) ... ok
[INFO] [stdout] test src/passes/graph_opt_integration.rs - passes::graph_opt_integration::quick_optimize (line 260) ... ok
[INFO] [stdout] test src/passes/validation.rs - passes::validation::validate_expression (line 88) ... ok
[INFO] [stdout] test src/profiling.rs - profiling (line 23) ... ok
[INFO] [stdout] test src/passes/loop_fusion.rs - passes::loop_fusion (line 24) ... ok
[INFO] [stdout] test src/passes/validation.rs - passes::validation::validate_expression_with_types (line 208) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 65 passed; 0 failed; 2 ignored; 0 measured; 0 filtered out; finished in 8.51s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8aaaf768d5dd72b0cb198e0f418fc98b15a7c7f5db3550ac1076564b8b1aac45", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8aaaf768d5dd72b0cb198e0f418fc98b15a7c7f5db3550ac1076564b8b1aac45", kill_on_drop: false }`
[INFO] [stdout] 8aaaf768d5dd72b0cb198e0f418fc98b15a7c7f5db3550ac1076564b8b1aac45