[INFO] fetching crate pumpkin-core 0.2.2...
[INFO] testing pumpkin-core-0.2.2 against master#c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38 for pr-146098-8
[INFO] extracting crate pumpkin-core 0.2.2 into /workspace/builds/worker-0-tc1/source
[INFO] started tweaking crates.io crate pumpkin-core 0.2.2
[INFO] finished tweaking crates.io crate pumpkin-core 0.2.2
[INFO] tweaked toml for crates.io crate pumpkin-core 0.2.2 written to /workspace/builds/worker-0-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate pumpkin-core 0.2.2 on toolchain c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate pumpkin-core 0.2.2 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" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded enumset_derive v0.11.0
[INFO] [stderr]   Downloaded enumset v1.1.6
[INFO] [stderr]   Downloaded chumsky v0.10.1
[INFO] [stderr]   Downloaded bitfield v0.14.0
[INFO] [stderr]   Downloaded bitfield-struct v0.9.5
[INFO] [stderr]   Downloaded drcp-format v0.3.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4bc723967f356862a7a5c40f86260691934ab4f5e993c9c70893a30cb9ddbf3b
[INFO] running `Command { std: "docker" "start" "-a" "4bc723967f356862a7a5c40f86260691934ab4f5e993c9c70893a30cb9ddbf3b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4bc723967f356862a7a5c40f86260691934ab4f5e993c9c70893a30cb9ddbf3b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4bc723967f356862a7a5c40f86260691934ab4f5e993c9c70893a30cb9ddbf3b", kill_on_drop: false }`
[INFO] [stdout] 4bc723967f356862a7a5c40f86260691934ab4f5e993c9c70893a30cb9ddbf3b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] bdd6bf307651d19803536e2db0d1c06365631eafdefe19ba9b2c1d9530250fbf
[INFO] running `Command { std: "docker" "start" "-a" "bdd6bf307651d19803536e2db0d1c06365631eafdefe19ba9b2c1d9530250fbf", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling cfg-if v1.0.1
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling zerocopy v0.8.26
[INFO] [stderr]    Compiling chumsky v0.10.1
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling hashbrown v0.15.4
[INFO] [stderr]    Compiling bitfield v0.14.0
[INFO] [stderr]    Compiling stacker v0.1.22
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling convert_case v0.6.0
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling crc32fast v1.5.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling indexmap v2.10.0
[INFO] [stderr]    Compiling syn v2.0.103
[INFO] [stderr]    Compiling object v0.32.2
[INFO] [stderr]    Compiling flate2 v1.1.2
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling num-iter v0.1.45
[INFO] [stderr]    Compiling num-rational v0.4.2
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling num v0.4.3
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling ar_archive_writer v0.2.0
[INFO] [stderr]    Compiling psm v0.1.28
[INFO] [stderr]    Compiling darling_core v0.20.11
[INFO] [stderr]    Compiling thiserror-impl v2.0.12
[INFO] [stderr]    Compiling enum-map-derive v0.17.0
[INFO] [stderr]    Compiling bitfield-struct v0.9.5
[INFO] [stderr]    Compiling enum-map v2.7.3
[INFO] [stderr]    Compiling darling_macro v0.20.11
[INFO] [stderr]    Compiling drcp-format v0.3.0
[INFO] [stderr]    Compiling darling v0.20.11
[INFO] [stderr]    Compiling enumset_derive v0.11.0
[INFO] [stderr]    Compiling enumset v1.1.6
[INFO] [stderr]    Compiling pumpkin-core v0.2.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.18s
[INFO] running `Command { std: "docker" "inspect" "bdd6bf307651d19803536e2db0d1c06365631eafdefe19ba9b2c1d9530250fbf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "bdd6bf307651d19803536e2db0d1c06365631eafdefe19ba9b2c1d9530250fbf", kill_on_drop: false }`
[INFO] [stdout] bdd6bf307651d19803536e2db0d1c06365631eafdefe19ba9b2c1d9530250fbf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 281159205cac686ff996b000a6b8e064e3caab34bc3801d7ca1bbe4ba21c4d1d
[INFO] running `Command { std: "docker" "start" "-a" "281159205cac686ff996b000a6b8e064e3caab34bc3801d7ca1bbe4ba21c4d1d", kill_on_drop: false }`
[INFO] [stderr]    Compiling pumpkin-core v0.2.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 8.61s
[INFO] running `Command { std: "docker" "inspect" "281159205cac686ff996b000a6b8e064e3caab34bc3801d7ca1bbe4ba21c4d1d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "281159205cac686ff996b000a6b8e064e3caab34bc3801d7ca1bbe4ba21c4d1d", kill_on_drop: false }`
[INFO] [stdout] 281159205cac686ff996b000a6b8e064e3caab34bc3801d7ca1bbe4ba21c4d1d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-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:4848fb76d95f26979359cc7e45710b1dbc8f3acb7aeedee7c460d7702230f228" "/opt/rustwide/cargo-home/bin/cargo" "+c90bcb9571b7aab0d8beaa2ce8a998ffaf079d38" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 16be3a7ecfafcc04fdf20fae2151da0050dd0249c5b8d5183a6e9ce2fade1be6
[INFO] running `Command { std: "docker" "start" "-a" "16be3a7ecfafcc04fdf20fae2151da0050dd0249c5b8d5183a6e9ce2fade1be6", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_core-55b89919eb9dbf29)
[INFO] [stdout] 
[INFO] [stdout] running 309 tests
[INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_constant_value ... ok
[INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_empty ... ok
[INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_simple1 ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::no_removed_values ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_constant_value ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_empty ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_simple1 ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::all_values_removed ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::holes_in_removed_values ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::initial_and_last_values_removed ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::initial_values_removed1 ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::initial_values_removed2 ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::last_values_removed ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::all_values_removed ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::holes_in_removed_values ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::initial_and_last_values_removed ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::initial_values_removed1 ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::initial_values_removed2 ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::last_values_removed ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::no_removed_values ... ok
[INFO] [stdout] test basic_types::propositional_conjunction::tests::conjunction_macro_test ... ok
[INFO] [stdout] test basic_types::propositional_conjunction::tests::nested_path_is_forwarded_to_predicate ... ok
[INFO] [stdout] test basic_types::sequence_generators::constant_sequence::tests::test_basic ... ok
[INFO] [stdout] test basic_types::propositional_conjunction::tests::order_is_ignored_for_equality ... ok
[INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_2_pow_n ... ok
[INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_multiply_50_procent ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1 ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_100 ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_removes_elements_beyond_decision_level ... ok
[INFO] [stdout] test basic_types::trail::tests::pushed_values_are_observed_through_indexing ... ok
[INFO] [stdout] test branching::branchers::alternating::strategies::every_x_restarts::tests::test_every_other_restart ... ok
[INFO] [stdout] test branching::branchers::alternating::strategies::until_solution::tests::test_switch_to_default_after_first_solution ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::brancher_picks_bumped_values ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_is_nonchronological ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::dormant_values ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_fallback ... ok
[INFO] [stdout] test basic_types::trail::tests::elements_at_current_decision_level ... ok
[INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_first_value ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_stored_solution ... ok
[INFO] [stdout] test basic_types::trail::tests::popped_elements_are_given_in_reverse_order_when_backtracking ... ok
[INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_minimum ... ok
[INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_random_with_seed_first ... ok
[INFO] [stdout] test branching::branchers::alternating::strategies::every_x_restarts::tests::test_every_restart ... ok
[INFO] [stdout] test branching::branchers::alternating::strategies::until_solution::tests::test_every_restart_until_first_solution ... ok
[INFO] [stdout] test branching::branchers::alternating::strategies::until_solution::tests::test_switch_after_first_solution ... ok
[INFO] [stdout] test branching::branchers::alternating::strategies::every_x_solutions::tests::test_every_other_solution ... ok
[INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_new_value ... ok
[INFO] [stdout] test branching::value_selection::in_domain_interval::tests::test_domain_of_size_two ... ok
[INFO] [stdout] test branching::value_selection::in_domain_interval::tests::test_no_holes_in_domain_bisects_domain ... ok
[INFO] [stdout] test branching::value_selection::in_domain_interval::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_max::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_maximum ... ok
[INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_random_with_seed_second ... ok
[INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_picks_lowest_value ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_negative_upper_bound ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_no_middle ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_size_three_domain ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_size_two_domain ... ok
[INFO] [stdout] test branching::value_selection::in_domain_min::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal_no_median ... ok
[INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal_removed_median ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_negative_lower_bound ... ok
[INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_split::tests::test_domain_of_size_two ... ok
[INFO] [stdout] test branching::value_selection::in_domain_random::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_split::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_split_random::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::out_domain_max::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::out_domain_median::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::out_domain_median::tests::test_returns_correct_literal_no_median ... ok
[INFO] [stdout] test branching::value_selection::out_domain_min::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::random_splitter::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_domain_of_size_two ... ok
[INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::first_fail::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::first_fail::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::largest::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::max_regret::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::max_regret::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::most_constrained::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::occurrence::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::random::tests::test_select_nothing_if_all_fixed ... ok
[INFO] [stdout] test branching::variable_selection::random::tests::test_select_unfixed_variable_after_fixing ... ok
[INFO] [stdout] test branching::variable_selection::random::tests::test_selects_randomly ... ok
[INFO] [stdout] test branching::value_selection::out_domain_random::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::variable_selection::input_order::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::input_order::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::largest::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected_tie ... ok
[INFO] [stdout] test branching::variable_selection::occurrence::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::random::tests::test_selects_randomly_not_unfixed ... ok
[INFO] [stdout] test branching::variable_selection::smallest::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::smallest::tests::test_correctly_selected ... ok
[INFO] [stdout] test containers::key_value_heap::test::failing_test_case2 ... ok
[INFO] [stdout] test containers::key_value_heap::test::random1 ... ok
[INFO] [stdout] test containers::key_value_heap::test::random2 ... ok
[INFO] [stdout] test containers::key_value_heap::test::duplicates ... ok
[INFO] [stdout] test containers::key_value_heap::test::random3 ... ok
[INFO] [stdout] test containers::sparse_set::tests::iter2 ... ok
[INFO] [stdout] test containers::sparse_set::tests::remove_all_elements_leads_to_empty_set ... ok
[INFO] [stdout] test containers::sparse_set::tests::test_len ... ok
[INFO] [stdout] test containers::key_value_heap::test::failing_test_case ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::hole_lb_override ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::hole_push_lb ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_assign ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound1 ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound2 ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound3 ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_lb_override1 ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_assignment ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds_reset ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_holes ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_nogood ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::check_can_compute_1uip_with_propagator_initialisation_conflict ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_equality_assumption ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_assign_no_equality ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_unit_core ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_1 ... ok
[INFO] [stdout] test containers::key_value_heap::test::simple ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_2 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_core_conflicting ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::new_domain_with_negative_lower_bound ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_infeasible ... ok
[INFO] [stdout] test containers::key_value_heap::test::trivial ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_1 ... ok
[INFO] [stdout] test containers::key_value_heap::test::trivial_sort ... ok
[INFO] [stdout] test containers::sparse_set::tests::removal ... ok
[INFO] [stdout] test containers::sparse_set::tests::iter1 ... ok
[INFO] [stdout] test containers::sparse_set::tests::removal_adjusts_size ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_long_assumptions_with_inconsistency_at_the_end ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_1 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_2 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_inconsistent_long_assumptions ... ok
[INFO] [stdout] test engine::cp::assignments::tests::an_empty_domain_accepts_removal_operations ... ok
[INFO] [stdout] test engine::cp::assignments::tests::bounds_change_can_also_trigger_assign_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_bounds ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_values_present_beyond_bounds ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_simple ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1_long ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_skip_holes ... ok
[INFO] [stdout] test engine::cp::assignments::tests::inconsistent_bound_updates ... ok
[INFO] [stdout] test engine::cp::assignments::tests::inconsistent_domain_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_assign_event_backtrack ... ok
[INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_lower_and_upper_bound_event_backtrack ... ok
[INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_lower_bound_event_backtrack ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_trail_position_after_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_upper_bound_event_backtrack ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_trail_position_after_removals_and_bound_update ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_update ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_beyond_trail_position ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_backtrack ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_lower_bound_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_inbetween_updates ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_beyond_value ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_inbetween_value ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_last_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_trivial ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_with_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::making_assignment_triggers_appropriate_events ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_triggers_removal_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removing_the_upper_bound_updates_the_upper_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position_after_lower_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::setting_lower_bound_rounds_up_to_nearest_value_in_domain ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removing_the_lower_bound_updates_that_lower_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::setting_upper_bound_rounds_down_to_nearest_value_in_domain ... ok
[INFO] [stdout] test engine::cp::assignments::tests::undo_removal_at_bounds_indexes_into_values_domain_correctly ... ok
[INFO] [stdout] test engine::cp::assignments::tests::upper_bound_change_triggers_upper_bound_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::value_can_be_removed_from_domains ... ok
[INFO] [stdout] test engine::cp::assignments::tests::various_tests_evaluate_predicate ... ok
[INFO] [stdout] test engine::cp::reason::tests::computing_an_eager_reason_returns_a_reference_to_the_conjunction ... ok
[INFO] [stdout] test engine::cp::reason::tests::pushing_a_reason_gives_a_reason_ref_that_can_be_computed ... ok
[INFO] [stdout] test engine::cp::propagation::constructor::tests::reborrowing_remembers_next_local_id ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_upper_bound ... ok
[INFO] [stdout] test engine::cp::trailed::trailed_values::tests::test_write_resets ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_lower_bound ... ok
[INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_remove ... ok
[INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::a_captured_event_is_observed_in_the_drain ... ok
[INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::after_draining_the_event_sink_is_empty ... ok
[INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::duplicate_events_are_ignored ... ok
[INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::the_default_sink_is_empty ... ok
[INFO] [stdout] test engine::notifications::predicate_notification::predicate_trackers::tests::is_fixed ... ok
[INFO] [stdout] test engine::predicates::predicate::test::are_mutually_exclusive ... ok
[INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_false_predicate ... ok
[INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_true_predicate ... ok
[INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_index_expressions_are_matched ... ok
[INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_local_identifiers_are_matched ... ok
[INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_nested_identifiers_are_matched ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::affine_view_obtaining_a_bound_should_round_optimistically_in_inner_domain ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::offsetting_an_affine_view ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::scaling_an_affine_view ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_bounds_are_propagated_at_initialise ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_propagation_of_bounds ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_propagation_of_holes ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::detects_conflict ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_propagation_of_holes_incremental ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_lower_bound_can_be_strictly_positive ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::overflow_leads_to_conflict ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_b_propagate_bounds_c ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::lower_bound_on_absolute_can_propagate_negative_upper_bound_on_signed ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_c_propagate_bounds_b ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_conflict ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::incremental_propagation ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_50_long ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::test_negated_variable_has_bounds_rounded_correctly ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_b_and_c_propagate_bounds_a ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::lower_bound_on_absolute_can_propagate_positive_lower_bound_on_signed ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::propagate_when_one_is_fixed ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::strictly_negative_signed_value_can_propagate_lower_bound_on_absolute ... ok
[INFO] [stdout] test propagators::arithmetic::integer_division::tests::detects_conflicts ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::signed_bounds_are_propagated_at_initialise ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_bounds_are_propagated ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_explanations ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::underflow_leads_to_no_propagation ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::explanation_for_propagation ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_empty_domain_is_detected ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::satisfied_constraint_does_not_trigger_conflict ... ok
[INFO] [stdout] test propagators::arithmetic::maximum::tests::lower_bound_of_rhs_is_maximum_of_lower_bounds_in_array ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_value_is_removed ... ok
[INFO] [stdout] test propagators::arithmetic::maximum::tests::single_variable_propagate ... ok
[INFO] [stdout] test propagators::arithmetic::maximum::tests::upper_bound_of_all_array_elements_at_most_rhs_max_at_initialise ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound ... ok
[INFO] [stdout] test propagators::arithmetic::maximum::tests::upper_bound_of_rhs_matches_maximum_upper_bound_of_array_at_initialise ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_conflict_big_step ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_conflict_naive ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_upper_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_lower_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_lower_bound_sequence ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::non_overlapping_is_ok ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_lower_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_lower_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_upper_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_upper_bound_sequence ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_end_time ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_conflict_point_wise ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_detects_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_from_profile_reason ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_example_4_3_schutt ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::synchronisation::tests::test_correct_conflict_returned ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_with_holes ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict_explanation ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_detects_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_example_4_3_schutt_after_update ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok
[INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_from_profile ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_end_time ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_from_profile_reason ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_with_holes ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt_after_update ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_example_4_3_schutt ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_explanation ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_detects_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_end_time ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt_after_update ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_from_profile ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict_after_propagating ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_from_profile_reason ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_from_profile ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_after_assignment ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_with_holes ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_upper_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_detects_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt_after_update ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_explanation ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile_reason ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_example_4_3_schutt ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_upper_bound ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_with_holes ... ok
[INFO] [stdout] test propagators::disjunctive::disjunctive_propagator::tests::propagator_propagates_lower_bound ... ok
[INFO] [stdout] test propagators::disjunctive::theta_lambda_tree::tests::tree_built_correctly ... ok
[INFO] [stdout] test propagators::element::tests::bounds_of_rhs_are_min_and_max_of_lower_and_upper_in_array ... ok
[INFO] [stdout] test propagators::element::tests::elements_from_array_with_disjoint_domains_to_rhs_are_filtered_from_index ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_end_time ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_lower_bound ... ok
[INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::ternary_nogood_propagate ... ok
[INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::unsat ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::a_detected_inconsistency_is_given_as_reason_for_propagating_reification_literal_to_false ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict_explanation ... ok
[INFO] [stdout] test propagators::element::tests::index_hole_propagates_bounds_on_rhs ... ok
[INFO] [stdout] test propagators::element::tests::fixed_index_propagates_bounds_on_element ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::a_true_literal_is_added_to_a_conflict_conjunction ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::a_true_literal_is_added_to_reason_for_propagation ... ok
[INFO] [stdout] test propagators::reified_propagator::tests::notify_propagator_is_enqueued_if_inconsistency_can_be_detected ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stderr]    Doc-tests pumpkin_core
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 309 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 26 tests
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_named_bounded_integer (line 260) ... ok
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_literals (line 178) ... ok
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_named_sparse_integer (line 301) ... ok
[INFO] [stdout] test src/constraints/table.rs - constraints::table::negative_table (line 38) ... ignored
[INFO] [stdout] test src/constraints/table.rs - constraints::table::table (line 15) ... ignored
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_named_literal (line 220) ... ok
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_literal (line 196) ... ok
[INFO] [stdout] test src/basic_types/random.rs - basic_types::random::Random::generate_bool (line 25) ... ok
[INFO] [stdout] test src/proof/inference_code.rs - proof::inference_code::declare_inference_label (line 68) ... ignored
[INFO] [stdout] test src/basic_types/propositional_conjunction.rs - basic_types::propositional_conjunction::conjunction (line 181) ... ok
[INFO] [stdout] test src/branching/mod.rs - branching (line 42) ... ok
[INFO] [stdout] test src/branching/tie_breaking/mod.rs - branching::tie_breaking (line 24) ... ok
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_bounded_integer (line 245) ... ok
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::add_constraint (line 455) ... ok
[INFO] [stdout] test src/basic_types/random.rs - basic_types::random::Random::generate_usize_in_range (line 48) ... ok
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_sparse_integer (line 284) ... ok
[INFO] [stdout] test src/engine/predicates/predicate_constructor.rs - engine::predicates::predicate_constructor::predicate (line 46) ... ok
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver (line 52) ... ok
[INFO] [stdout] test src/containers/keyed_vec.rs - containers::keyed_vec::KeyedVec<Key,Value>::new_slot (line 63) ... ok
[INFO] [stdout] test src/branching/mod.rs - branching (line 15) ... ok
[INFO] [stdout] test src/api/outputs/unsatisfiable.rs - api::outputs::unsatisfiable::UnsatisfiableUnderAssumptions<'solver,'brancher,B>::extract_core (line 48) ... ok
[INFO] [stdout] test src/statistics/mod.rs - statistics::create_statistics_struct (line 36) ... ok
[INFO] [stdout] test src/constraints/mod.rs - constraints (line 8) ... ok
[INFO] [stdout] test src/engine/constraint_satisfaction_solver.rs - engine::constraint_satisfaction_solver::ConstraintSatisfactionSolver::extract_clausal_core (line 489) ... ok
[INFO] [stdout] test src/constraints/cumulative.rs - constraints::cumulative::cumulative (line 34) ... ok
[INFO] [stdout] test src/propagators/cumulative/mod.rs - propagators::cumulative (line 34) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 23 passed; 0 failed; 3 ignored; 0 measured; 0 filtered out; finished in 3.55s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "16be3a7ecfafcc04fdf20fae2151da0050dd0249c5b8d5183a6e9ce2fade1be6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "16be3a7ecfafcc04fdf20fae2151da0050dd0249c5b8d5183a6e9ce2fade1be6", kill_on_drop: false }`
[INFO] [stdout] 16be3a7ecfafcc04fdf20fae2151da0050dd0249c5b8d5183a6e9ce2fade1be6