[INFO] fetching crate propagators-chirho 0.3.0...
[INFO] testing propagators-chirho-0.3.0 against 1.95.0 for beta-1.96-2
[INFO] extracting crate propagators-chirho 0.3.0 into /workspace/builds/worker-3-tc1/source
[INFO] started tweaking crates.io crate propagators-chirho 0.3.0
[INFO] removed 0 missing examples
[INFO] finished tweaking crates.io crate propagators-chirho 0.3.0
[INFO] tweaked toml for crates.io crate propagators-chirho 0.3.0 written to /workspace/builds/worker-3-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate propagators-chirho 0.3.0 on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate propagators-chirho 0.3.0 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded pyo3-macros v0.23.5
[INFO] [stderr]   Downloaded tokio-tungstenite v0.24.0
[INFO] [stderr]   Downloaded pyo3-build-config v0.23.5
[INFO] [stderr]   Downloaded pyo3-ffi v0.23.5
[INFO] [stderr]   Downloaded pyo3-macros-backend v0.23.5
[INFO] [stderr]   Downloaded tungstenite v0.24.0
[INFO] [stderr]   Downloaded proptest v1.9.0
[INFO] [stderr]   Downloaded pyo3 v0.23.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 990ab49e64f775623be6c92cee5080946a3aa5ef41928b430d27c8d49131dc6f
[INFO] running `Command { std: "docker" "start" "-a" "990ab49e64f775623be6c92cee5080946a3aa5ef41928b430d27c8d49131dc6f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "990ab49e64f775623be6c92cee5080946a3aa5ef41928b430d27c8d49131dc6f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "990ab49e64f775623be6c92cee5080946a3aa5ef41928b430d27c8d49131dc6f", kill_on_drop: false }`
[INFO] [stdout] 990ab49e64f775623be6c92cee5080946a3aa5ef41928b430d27c8d49131dc6f
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 46ebf9076a86c2c57b0c59b916accd2055e149e8895aab6c536d5506446a26b8
[INFO] running `Command { std: "docker" "start" "-a" "46ebf9076a86c2c57b0c59b916accd2055e149e8895aab6c536d5506446a26b8", kill_on_drop: false }`
[INFO] [stderr]    Compiling propagators-chirho v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.18s
[INFO] running `Command { std: "docker" "inspect" "46ebf9076a86c2c57b0c59b916accd2055e149e8895aab6c536d5506446a26b8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "46ebf9076a86c2c57b0c59b916accd2055e149e8895aab6c536d5506446a26b8", kill_on_drop: false }`
[INFO] [stdout] 46ebf9076a86c2c57b0c59b916accd2055e149e8895aab6c536d5506446a26b8
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a6bc4ac754b0af86b0199eb39cdda2c59f71b41b218f2cf8d11a199655120f85
[INFO] running `Command { std: "docker" "start" "-a" "a6bc4ac754b0af86b0199eb39cdda2c59f71b41b218f2cf8d11a199655120f85", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling clap_builder v4.5.54
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling bit-vec v0.8.0
[INFO] [stderr]    Compiling zerocopy-derive v0.8.33
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling tinytemplate v1.2.1
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling tempfile v3.24.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 clap v4.5.54
[INFO] [stderr]    Compiling ciborium-ll v0.2.2
[INFO] [stderr]    Compiling ciborium v0.2.2
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling criterion v0.5.1
[INFO] [stderr]    Compiling propagators-chirho v0.3.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 24.20s
[INFO] running `Command { std: "docker" "inspect" "a6bc4ac754b0af86b0199eb39cdda2c59f71b41b218f2cf8d11a199655120f85", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a6bc4ac754b0af86b0199eb39cdda2c59f71b41b218f2cf8d11a199655120f85", kill_on_drop: false }`
[INFO] [stdout] a6bc4ac754b0af86b0199eb39cdda2c59f71b41b218f2cf8d11a199655120f85
[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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 1432d42674e799088259bd4e0b532748c1aed1502ef20ac82270b43ea733370b
[INFO] running `Command { std: "docker" "start" "-a" "1432d42674e799088259bd4e0b532748c1aed1502ef20ac82270b43ea733370b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/propagators_chirho-14b3149214434190)
[INFO] [stdout] 
[INFO] [stdout] running 240 tests
[INFO] [stdout] test cells_chirho::cell_chirho::tests_chirho::test_cell_add_content_chirho ... ok
[INFO] [stdout] test cells_chirho::cell_chirho::tests_chirho::test_cell_contradiction_chirho ... ok
[INFO] [stdout] test cells_chirho::cell_chirho::tests_chirho::test_cell_creation_chirho ... ok
[INFO] [stdout] test cells_chirho::cell_chirho::tests_chirho::test_cell_neighbor_count_chirho ... ok
[INFO] [stdout] test cells_chirho::cell_chirho::tests_chirho::test_cell_merge_refines_chirho ... ok
[INFO] [stdout] test cells_chirho::cell_chirho::tests_chirho::test_cell_with_content_chirho ... ok
[INFO] [stdout] test cells_chirho::generic_cell_chirho::tests_chirho::test_cell_watcher_chirho ... ok
[INFO] [stdout] test cells_chirho::generic_cell_chirho::tests_chirho::test_generic_cell_add_info_chirho ... ok
[INFO] [stdout] test cells_chirho::generic_cell_chirho::tests_chirho::test_generic_cell_creation_chirho ... ok
[INFO] [stdout] test cells_chirho::generic_cell_chirho::tests_chirho::test_generic_network_finite_domain_chirho ... ok
[INFO] [stdout] test cells_chirho::generic_cell_chirho::tests_chirho::test_generic_cell_finite_domain_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_add_chirho ... ok
[INFO] [stdout] test cells_chirho::generic_cell_chirho::tests_chirho::test_generic_network_numeric_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_get_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_reset_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_violated_list_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_changes_committed_to_history_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_clear_history_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_scheduler_creation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_record_change_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_stats_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_creation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_total_cost_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_scheduler_with_history_size_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_priority_scheduler_stats_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_changes_since_generation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_priority_scheduler_bounded_run_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_scheduler_empty_run_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_priority_scheduler_default_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_scheduler_creation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_priority_scheduler_empty_run_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_scheduler_stats_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_priority_scheduler_creation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_generation_increments_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_priority_scheduler_clear_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_weighted_constraint_partial_violation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_incremental_history_pruning_chirho ... ok
[INFO] [stderr]    Doc-tests propagators_chirho
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_amb_creation_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_amb_iteration_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_dom_wdeg_failure_recording_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_amb_range_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_dom_wdeg_selection_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_weighted_constraint_set_violated_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_first_fail_all_assigned_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_first_fail_selects_smallest_domain_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_weighted_constraint_creation_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_dd_search_with_irrelevant_variable_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_dd_search_basic_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_first_fail_skips_assigned_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_impact_based_creation_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_middle_out_ordering_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_dom_wdeg_creation_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_dd_search_no_solution_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_search_stats_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_simple_search_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_cardinality_constraint_arity_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_cardinality_constraint_max_reached_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_circuit_constraint_alldiff_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_circuit_constraint_arity_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_circuit_constraint_basic_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_cumulative_constraint_arity_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_cumulative_constraint_basic_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_cumulative_constraint_no_overlap_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_restart_search_luby_sequence_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_restart_search_nogood_recording_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_element_constraint_arity_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_element_constraint_filters_index_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_restart_search_reset_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_all_different_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_cardinality_constraint_min_required_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_finite_domain_join_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_finite_domain_singleton_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_finite_domain_join_idempotent_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_finite_domain_top_absorbs_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_min_value_ordering_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_table_constraint_filters_values_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_element_constraint_fixed_index_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_less_than_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_equals_constraint_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_table_constraint_arity_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_finite_domain_creation_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_not_equals_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_finite_domain_bottom_identity_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_can_rollback_to_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_checkpoint_creation_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_constraint_removal_stops_propagation_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_activate_constraint_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_contradiction_detection_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_backward_propagation_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_clamp_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_deactivate_constraint_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_deactivated_constraints_list_chirho ... ok
[INFO] [stdout] test constraints_chirho::finite_domain_chirho::tests_chirho::test_table_constraint_singleton_result_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_checkpoint_ids_unique_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_exp_ln_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_divided_by_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_equals_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_plus_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_max_with_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_cell_creation_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_min_with_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_chained_constraints_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_no_solution_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_constraint_returns_id_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_sqrt_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_minus_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_power_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_squared_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_ln_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_max_min_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_power_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_negater_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_removed_constraints_list_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_remove_constraint_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_rollback_restores_cell_values_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_rollback_with_deactivated_constraints_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_commutativity_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_simple_addition_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_error_display_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_temperature_conversion_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_idempotence_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_lattice_leq_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_mconcat_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_times_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_fluent_value_setting_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_linear_chirho ... ok
[INFO] [stdout] test constraints_chirho::system_chirho::tests_chirho::test_pythagorean_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_monoid_identity_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_top_absorption_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_exact_interval_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_abs_mixed_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_abs_negative_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_abs_positive_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_add_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_contains_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_creation_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_div_by_zero_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_div_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_empty_intersection_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_intersection_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_hull_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_mul_positive_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_sqrt_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_sqrt_partial_negative_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_square_mixed_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_square_negative_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_semigroup_associativity_chirho ... ok
[INFO] [stdout] test core_chirho::algebra_chirho::tests_chirho::test_stimes_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_everything_interval_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_square_positive_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::numeric_info_tests_chirho::test_contradiction_absorbs_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::numeric_info_tests_chirho::test_interval_merge_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::numeric_info_tests_chirho::test_refines_chirho ... ok
[INFO] [stdout] test core_chirho::simd_chirho::tests_chirho::test_batch_add_chirho ... ok
[INFO] [stdout] test core_chirho::simd_chirho::tests_chirho::test_batch_intersect_chirho ... ok
[INFO] [stdout] test core_chirho::simd_chirho::tests_chirho::test_batch_square_chirho ... ok
[INFO] [stdout] test core_chirho::simd_chirho::tests_chirho::test_batch_mul_chirho ... ok
[INFO] [stdout] test core_chirho::simd_chirho::tests_chirho::test_interval_vec_intersect_chirho ... ok
[INFO] [stdout] test core_chirho::simd_chirho::tests_chirho::test_large_batch_chirho ... ok
[INFO] [stdout] test debug_chirho::tracing_chirho::tests_chirho::test_tracing_compiles_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_cell_history_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_cell_history_to_json_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_escape_json_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_impact_based_recording_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_network_snapshot_to_dot_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_trace_creation_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_network_snapshot_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_trace_to_json_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_sub_chirho ... ok
[INFO] [stdout] test lattice_chirho::tests_chirho::test_add_propagator_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::numeric_info_tests_chirho::test_contradiction_merge_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_trace_limit_chirho ... ok
[INFO] [stdout] test lattice_chirho::tests_chirho::test_bounded_lattice_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::numeric_info_tests_chirho::test_nothing_merge_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_trace_stats_chirho ... ok
[INFO] [stdout] test debug_chirho::visualization_chirho::tests_chirho::test_trace_record_events_chirho ... ok
[INFO] [stdout] test core_chirho::simd_chirho::tests_chirho::test_interval_vec_add_chirho ... ok
[INFO] [stdout] test lattice_chirho::tests_chirho::test_lattice_join_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_in_memory_storage_delete_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_in_memory_storage_list_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_in_memory_storage_save_load_chirho ... ok
[INFO] [stdout] test core_chirho::interval_chirho::tests_chirho::interval_tests_chirho::test_interval_mul_mixed_signs_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_network_state_add_cell_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_network_state_to_json_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_in_memory_storage_not_found_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_clamp_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_storage_error_display_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_network_state_creation_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_constant_propagator_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_multiplier_forward_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_negater_backward_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_negater_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_power_backward_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_adder_backward_chirho ... ok
[INFO] [stdout] test lattice_chirho::tests_chirho::test_supported_value_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_power_chirho ... ok
[INFO] [stdout] test perf_chirho::storage_chirho::tests_chirho::test_file_storage_path_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_exp_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_ln_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_adder_forward_chirho ... ok
[INFO] [stdout] test propagators_chirho::propagator_chirho::tests_chirho::test_squarer_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_justification_from_premise_chirho ... ok
[INFO] [stdout] test tests_chirho::test_library_compiles_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_nogood_detection_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_justification_from_rule_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_nogood_suggest_retraction_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_nogood_store_contains_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_supported_value_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_tms_network_basic_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_nogood_store_subsumption_chirho ... ok
[INFO] [stdout] test tms_chirho::worldview_chirho::tests_chirho::test_assume_chirho ... ok
[INFO] [stdout] test tms_chirho::worldview_chirho::tests_chirho::test_empty_worldview_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_tms_network_contradiction_chirho ... ok
[INFO] [stdout] test tms_chirho::worldview_chirho::tests_chirho::test_merge_chirho ... ok
[INFO] [stdout] test tms_chirho::worldview_chirho::tests_chirho::test_fork_chirho ... ok
[INFO] [stdout] test constraints_chirho::amb_chirho::tests_chirho::test_max_value_ordering_chirho ... ok
[INFO] [stdout] test tms_chirho::worldview_chirho::tests_chirho::test_retract_chirho ... ok
[INFO] [stdout] test tms_chirho::worldview_chirho::tests_chirho::test_satisfies_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_bidirectional_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_belief_creation_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_builder_standard_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_nogood_store_basic_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_builder_tms_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_scheduler_bounded_run_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_divider_constraint_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_make_interval_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_pythagorean_unified_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_sqrter_constraint_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_numeric_constraints_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_standard_network_creation_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_squarer_constraint_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_temperature_conversion_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_standard_cell_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_subtractor_constraint_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_type_alias_equivalence_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_tms_network_creation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_partial_violation_chirho ... ok
[INFO] [stdout] test cells_chirho::scheduler_chirho::tests_chirho::test_constraint_weights_violated_count_chirho ... ok
[INFO] [stdout] test unified_chirho::tests_chirho::test_tms_cell_beliefs_chirho ... ok
[INFO] [stdout] test tms_chirho::tms_chirho::tests_chirho::test_tms_cell_worldview_chirho ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 240 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 96 tests
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::ConstraintWeightsChirho (line 848) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::SchedulerChirho::alert_propagator_chirho (line 104) ... ok
[INFO] [stdout] test src/cells_chirho/cell_chirho.rs - cells_chirho::cell_chirho::CellChirho (line 88) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::SchedulerChirho::run_bounded_chirho (line 181) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::SchedulerChirho (line 50) ... ok
[INFO] [stdout] test src/cells_chirho/cell_chirho.rs - cells_chirho::cell_chirho::CellChirho<T>::new_chirho (line 128) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::IncrementalSchedulerChirho (line 281) ... ok
[INFO] [stdout] test src/cells_chirho/generic_cell_chirho.rs - cells_chirho::generic_cell_chirho (line 12) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::SchedulerChirho::new_chirho (line 81) ... ok
[INFO] [stdout] test src/cells_chirho/cell_chirho.rs - cells_chirho::cell_chirho::CellChirho<T>::add_content_chirho (line 202) ... ok
[INFO] [stdout] test src/cells_chirho/cell_chirho.rs - cells_chirho::cell_chirho::CellChirho<T>::content_chirho (line 172) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::SchedulerChirho::run_chirho (line 144) ... ok
[INFO] [stdout] test src/cells_chirho/cell_chirho.rs - cells_chirho::cell_chirho::CellChirho<T>::with_content_chirho (line 146) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::WeightedConstraintChirho (line 771) ... ok
[INFO] [stdout] test src/cells_chirho/scheduler_chirho.rs - cells_chirho::scheduler_chirho::PrioritySchedulerChirho (line 573) ... ok
[INFO] [stdout] test src/cells_chirho/cell_chirho.rs - cells_chirho::cell_chirho::MergeableChirho (line 43) ... ok
[INFO] [stdout] test src/constraints_chirho/amb_chirho.rs - constraints_chirho::amb_chirho::DependencyDirectedSearchChirho (line 339) ... ok
[INFO] [stdout] test src/constraints_chirho/amb_chirho.rs - constraints_chirho::amb_chirho::BacktrackingSearchChirho (line 161) ... ok
[INFO] [stdout] test src/constraints_chirho/amb_chirho.rs - constraints_chirho::amb_chirho::AmbChirho (line 44) ... ok
[INFO] [stdout] test src/constraints_chirho/finite_domain_chirho.rs - constraints_chirho::finite_domain_chirho (line 12) ... ok
[INFO] [stdout] test src/constraints_chirho/amb_chirho.rs - constraints_chirho::amb_chirho::VariableOrderingChirho (line 566) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::deactivate_constraint_chirho (line 1254) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::CheckpointChirho (line 212) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho (line 346) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::activate_constraint_chirho (line 1307) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho (line 12) ... ok
[INFO] [stdout] test src/constraints_chirho/amb_chirho.rs - constraints_chirho::amb_chirho::AmbChirho::range_chirho (line 80) ... ok
[INFO] [stdout] test src/constraints_chirho/finite_domain_chirho.rs - constraints_chirho::finite_domain_chirho::TableChirho (line 469) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::checkpoint_chirho (line 1543) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::CellBuilderChirho (line 2010) ... ok
[INFO] [stdout] test src/core_chirho/algebra_chirho.rs - core_chirho::algebra_chirho::MonoidChirho (line 134) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::get_all_constraints_chirho (line 1005) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho (line 89) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::rollback_to_chirho (line 1589) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::with_cell_chirho (line 2320) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::get_propagation_graph_chirho (line 1130) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::remove_constraint_chirho (line 1195) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::contains_chirho (line 275) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::with_interval_chirho (line 2363) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::with_exact_chirho (line 2342) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::abs_chirho (line 564) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::cell_chirho (line 2294) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho (line 27) ... ok
[INFO] [stdout] test src/constraints_chirho/system_chirho.rs - constraints_chirho::system_chirho::ConstraintSystemChirho::explain_value_chirho (line 1057) ... ok
[INFO] [stdout] test src/core_chirho/algebra_chirho.rs - core_chirho::algebra_chirho::SemigroupChirho (line 51) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::div_chirho (line 462) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::is_exact_chirho (line 210) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::is_empty_chirho (line 228) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::hull_chirho (line 342) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::exact_chirho (line 142) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::intersect_chirho (line 315) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::new_chirho (line 121) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::non_negative_chirho (line 183) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::max_chirho (line 612) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::min_chirho (line 633) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::midpoint_chirho (line 260) ... ok
[INFO] [stdout] test src/debug_chirho/tracing_chirho.rs - debug_chirho::tracing_chirho (line 24) ... ignored
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::sqrt_chirho (line 533) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::mul_chirho (line 421) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::sub_chirho (line 396) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::everything_chirho (line 164) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::NumericInfoChirho (line 699) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::add_chirho (line 371) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::NumericInfoChirho::interval_chirho (line 746) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::neg_chirho (line 592) ... ok
[INFO] [stdout] test src/propagators_chirho/propagator_chirho.rs - propagators_chirho::propagator_chirho::DEFAULT_PRIORITY_CHIRHO (line 58) ... ignored
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::NumericInfoChirho::exact_chirho (line 731) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::square_chirho (line 491) ... ok
[INFO] [stdout] test src/propagators_chirho/propagator_chirho.rs - propagators_chirho::propagator_chirho::PropagatorChirho::priority_chirho (line 120) ... ignored
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::width_chirho (line 245) ... ok
[INFO] [stdout] test src/core_chirho/simd_chirho.rs - core_chirho::simd_chirho (line 21) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::IntervalChirho::subset_of_chirho (line 291) ... ok
[INFO] [stdout] test src/core_chirho/interval_chirho.rs - core_chirho::interval_chirho::NumericInfoChirho::merge_chirho (line 793) ... ok
[INFO] [stdout] test src/lib.rs - (line 134) ... ok
[INFO] [stdout] test src/debug_chirho/visualization_chirho.rs - debug_chirho::visualization_chirho (line 16) ... ok
[INFO] [stdout] test src/propagators_chirho/propagator_chirho.rs - propagators_chirho::propagator_chirho::NegaterChirho (line 729) ... ok
[INFO] [stdout] test src/lattice_chirho.rs - lattice_chirho (line 19) ... ok
[INFO] [stdout] test src/lib.rs - prelude_chirho (line 335) ... ok
[INFO] [stdout] test src/tms_chirho/tms_chirho.rs - tms_chirho::tms_chirho::JustificationChirho (line 53) ... ok
[INFO] [stdout] test src/lib.rs - (line 63) ... ok
[INFO] [stdout] test src/lib.rs - (line 30) ... ok
[INFO] [stdout] test src/tms_chirho/tms_chirho.rs - tms_chirho::tms_chirho::BeliefChirho (line 368) ... ok
[INFO] [stdout] test src/lib.rs - (line 45) ... ok
[INFO] [stdout] test src/propagators_chirho/propagator_chirho.rs - propagators_chirho::propagator_chirho::ConstantChirho (line 334) ... ok
[INFO] [stdout] test src/propagators_chirho/propagator_chirho.rs - propagators_chirho::propagator_chirho::IntervalAdderChirho (line 404) ... ok
[INFO] [stdout] test src/tms_chirho/worldview_chirho.rs - tms_chirho::worldview_chirho (line 13) ... ok
[INFO] [stdout] test src/perf_chirho/storage_chirho.rs - perf_chirho::storage_chirho (line 17) ... ok
[INFO] [stdout] test src/tms_chirho/tms_chirho.rs - tms_chirho::tms_chirho::TmsCellChirho (line 452) ... ok
[INFO] [stdout] test src/tms_chirho/tms_chirho.rs - tms_chirho::tms_chirho::NogoodStoreChirho (line 162) ... ok
[INFO] [stdout] test src/tms_chirho/tms_chirho.rs - tms_chirho::tms_chirho::SupportedChirho (line 289) ... ok
[INFO] [stdout] test src/tms_chirho/worldview_chirho.rs - tms_chirho::worldview_chirho::WorldviewChirho (line 52) ... ok
[INFO] [stdout] test src/tms_chirho/worldview_chirho.rs - tms_chirho::worldview_chirho::WorldviewChirho::retract_chirho (line 143) ... ok
[INFO] [stdout] test src/unified_chirho/mod.rs - unified_chirho (line 16) ... ok
[INFO] [stdout] test src/tms_chirho/worldview_chirho.rs - tms_chirho::worldview_chirho::WorldviewChirho::assume_chirho (line 120) ... ok
[INFO] [stdout] test src/tms_chirho/tms_chirho.rs - tms_chirho::tms_chirho::TmsNetworkChirho (line 580) ... ok
[INFO] [stdout] test src/unified_chirho/mod.rs - unified_chirho::NetworkBuilderChirho (line 418) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 93 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 5.20s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "1432d42674e799088259bd4e0b532748c1aed1502ef20ac82270b43ea733370b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1432d42674e799088259bd4e0b532748c1aed1502ef20ac82270b43ea733370b", kill_on_drop: false }`
[INFO] [stdout] 1432d42674e799088259bd4e0b532748c1aed1502ef20ac82270b43ea733370b
