[INFO] fetching crate pumpkin-core 0.2.1...
[INFO] testing pumpkin-core-0.2.1 against master#d98a5da813da67eb189387b8ccfb73cf481275d8+rustflags=-Copt-level=3 for pr-138759
[INFO] extracting crate pumpkin-core 0.2.1 into /workspace/builds/worker-7-tc1/source
[INFO] started tweaking crates.io crate pumpkin-core 0.2.1
[INFO] finished tweaking crates.io crate pumpkin-core 0.2.1
[INFO] tweaked toml for crates.io crate pumpkin-core 0.2.1 written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate pumpkin-core 0.2.1 on toolchain d98a5da813da67eb189387b8ccfb73cf481275d8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate pumpkin-core 0.2.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded enumset v1.1.6
[INFO] [stderr]   Downloaded bitfield-struct v0.9.5
[INFO] [stderr]   Downloaded drcp-format v0.3.0
[INFO] [stderr]   Downloaded enumset_derive v0.11.0
[INFO] [stderr]   Downloaded chumsky v0.10.1
[INFO] [stderr]   Downloaded regex-automata v0.3.9
[INFO] [stderr]   Downloaded regex-syntax v0.7.5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4a9273a16d7a1ed0fc7edf4d23f3370c4427adeb4b24cb60fa1ac1aae491bd73
[INFO] running `Command { std: "docker" "start" "-a" "4a9273a16d7a1ed0fc7edf4d23f3370c4427adeb4b24cb60fa1ac1aae491bd73", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4a9273a16d7a1ed0fc7edf4d23f3370c4427adeb4b24cb60fa1ac1aae491bd73", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4a9273a16d7a1ed0fc7edf4d23f3370c4427adeb4b24cb60fa1ac1aae491bd73", kill_on_drop: false }`
[INFO] [stdout] 4a9273a16d7a1ed0fc7edf4d23f3370c4427adeb4b24cb60fa1ac1aae491bd73
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dd1e82b2e97dc5f6d77640c090aeedfc978fec2987ed3f4709e03f65a076e31d
[INFO] running `Command { std: "docker" "start" "-a" "dd1e82b2e97dc5f6d77640c090aeedfc978fec2987ed3f4709e03f65a076e31d", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling zerocopy v0.8.26
[INFO] [stderr]    Compiling chumsky v0.10.1
[INFO] [stderr]    Compiling cc v1.2.27
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling hashbrown v0.15.4
[INFO] [stderr]    Compiling convert_case v0.6.0
[INFO] [stderr]    Compiling bitfield v0.14.0
[INFO] [stderr]    Compiling getrandom v0.2.16
[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 syn v2.0.103
[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 psm v0.1.26
[INFO] [stderr]    Compiling stacker v0.1.21
[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 darling_macro v0.20.11
[INFO] [stderr]    Compiling enum-map v2.7.3
[INFO] [stderr]    Compiling darling v0.20.11
[INFO] [stderr]    Compiling enumset_derive v0.11.0
[INFO] [stderr]    Compiling thiserror v2.0.12
[INFO] [stderr]    Compiling drcp-format v0.3.0
[INFO] [stderr]    Compiling enumset v1.1.6
[INFO] [stderr]    Compiling pumpkin-core v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 30s
[INFO] running `Command { std: "docker" "inspect" "dd1e82b2e97dc5f6d77640c090aeedfc978fec2987ed3f4709e03f65a076e31d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd1e82b2e97dc5f6d77640c090aeedfc978fec2987ed3f4709e03f65a076e31d", kill_on_drop: false }`
[INFO] [stdout] dd1e82b2e97dc5f6d77640c090aeedfc978fec2987ed3f4709e03f65a076e31d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 2918eb8e8e188232ec2cf2b515084fa11874fc52aff116a3b3885c06bb34ab6b
[INFO] running `Command { std: "docker" "start" "-a" "2918eb8e8e188232ec2cf2b515084fa11874fc52aff116a3b3885c06bb34ab6b", kill_on_drop: false }`
[INFO] [stderr]    Compiling pumpkin-core v0.2.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 30.18s
[INFO] running `Command { std: "docker" "inspect" "2918eb8e8e188232ec2cf2b515084fa11874fc52aff116a3b3885c06bb34ab6b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2918eb8e8e188232ec2cf2b515084fa11874fc52aff116a3b3885c06bb34ab6b", kill_on_drop: false }`
[INFO] [stdout] 2918eb8e8e188232ec2cf2b515084fa11874fc52aff116a3b3885c06bb34ab6b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-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 -Copt-level=3" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+d98a5da813da67eb189387b8ccfb73cf481275d8" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 85ef89f5acc0e0f6bec883add32f6663f73c6b3f5ae35a673fcb95b25fadd325
[INFO] running `Command { std: "docker" "start" "-a" "85ef89f5acc0e0f6bec883add32f6663f73c6b3f5ae35a673fcb95b25fadd325", kill_on_drop: false }`
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stdout] running 305 tests
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_core-868d2cd2ea001906)
[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_simple1 ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_simple1 ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_empty ... 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::no_removed_values ... ok
[INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::holes_in_removed_values ... ok
[INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_constant_value ... 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::predicate_id_generator::tests::initial_values_removed2 ... 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::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::predicate_id_generator::tests::initial_values_removed1 ... 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::deletable_predicate_id_generator::tests::initial_values_removed1 ... 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::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::nested_path_is_forwarded_to_predicate ... ok
[INFO] [stdout] test basic_types::propositional_conjunction::tests::conjunction_macro_test ... 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_multiply_50_procent ... ok
[INFO] [stdout] test basic_types::sequence_generators::constant_sequence::tests::test_basic ... 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::pushed_values_are_observed_through_indexing ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_restart ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_solution ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::brancher_picks_bumped_values ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_solution ... ok
[INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_picks_lowest_value ... ok
[INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_first_value ... ok
[INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_switch_to_default_after_first_solution ... ok
[INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_2_pow_n ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1_long ... ok
[INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_50_long ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_stored_solution ... ok
[INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_maximum ... ok
[INFO] [stdout] test basic_types::trail::tests::elements_at_current_decision_level ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_removes_elements_beyond_decision_level ... ok
[INFO] [stdout] test basic_types::trail::tests::popped_elements_are_given_in_reverse_order_when_backtracking ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_fallback ... ok
[INFO] [stdout] test basic_types::trail::tests::backtracking_is_nonchronological ... 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::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_random_with_seed_second ... 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_middle::tests::test_returns_correct_literal_negative_upper_bound ... 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_no_middle ... 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 ... ok
[INFO] [stdout] test branching::value_selection::in_domain_interval::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::in_domain_random::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::out_domain_max::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::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::in_domain_middle::tests::test_returns_correct_literal ... 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_split::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::in_domain_median::tests::test_returns_correct_literal_removed_median ... ok
[INFO] [stdout] test branching::branchers::autonomous_search::tests::dormant_values ... ok
[INFO] [stdout] test branching::value_selection::out_domain_random::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::value_selection::random_splitter::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::fixed_variables_are_not_selected ... 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::test_correctly_selected ... ok
[INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_returns_correct_literal ... ok
[INFO] [stdout] test branching::variable_selection::first_fail::tests::test_correctly_selected ... 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::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::variable_selection::largest::tests::test_correctly_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::variable_selection::most_constrained::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::random::tests::test_select_nothing_if_all_fixed ... ok
[INFO] [stdout] test branching::variable_selection::occurrence::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::random::tests::test_selects_randomly ... 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 containers::key_value_heap::test::duplicates ... ok
[INFO] [stdout] test branching::variable_selection::random::tests::test_select_unfixed_variable_after_fixing ... ok
[INFO] [stdout] test containers::key_value_heap::test::failing_test_case ... 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::random3 ... ok
[INFO] [stdout] test containers::key_value_heap::test::simple ... ok
[INFO] [stdout] test containers::key_value_heap::test::trivial ... ok
[INFO] [stdout] test containers::key_value_heap::test::trivial_sort ... ok
[INFO] [stdout] test branching::variable_selection::smallest::tests::test_correctly_selected ... ok
[INFO] [stdout] test branching::variable_selection::first_fail::tests::fixed_variables_are_not_selected ... ok
[INFO] [stdout] test branching::value_selection::in_domain_split::tests::test_domain_of_size_two ... 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::conflict_analysis::minimisers::semantic_minimiser::tests::hole_lb_override ... ok
[INFO] [stdout] test containers::sparse_set::tests::removal ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_assign ... 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_no_equality ... 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_bound1 ... 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 containers::sparse_set::tests::remove_all_elements_leads_to_empty_set ... 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_conflict_assignment ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_nogood ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds_reset ... 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 engine::constraint_satisfaction_solver::tests::core_extraction_equality_assumption ... ok
[INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_2 ... ok
[INFO] [stdout] test containers::sparse_set::tests::iter2 ... 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_2_long_assumptions_with_inconsistency_at_the_end ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_1 ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_inconsistent_long_assumptions ... 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::simple_core_extraction_1_core_conflicting ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_1 ... ok
[INFO] [stdout] test containers::sparse_set::tests::test_len ... ok
[INFO] [stdout] test engine::cp::assignments::tests::an_empty_domain_accepts_removal_operations ... ok
[INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_2 ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_skip_holes ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_bounds ... 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_upper_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::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::constraint_satisfaction_solver::tests::simple_core_extraction_3_1 ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_simple ... 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::bounds_change_can_also_trigger_assign_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_values_present_beyond_bounds ... 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_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_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::making_assignment_triggers_appropriate_events ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_with_removals ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_trail_position_after_lower_bound ... ok
[INFO] [stdout] test engine::cp::assignments::tests::removal_triggers_removal_event ... 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::removing_the_upper_bound_updates_the_upper_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::various_tests_evaluate_predicate ... ok
[INFO] [stdout] test engine::cp::propagation::constructor::tests::reborrowing_remembers_next_local_id ... 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::reason::tests::computing_an_eager_reason_returns_a_reference_to_the_conjunction ... ok
[INFO] [stdout] test engine::cp::reason::tests::reified_lazy_explanation_has_reification_added_after_compute ... 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::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::assignments::tests::value_can_be_removed_from_domains ... ok
[INFO] [stdout] test engine::cp::assignments::tests::upper_bound_change_triggers_upper_bound_event ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_inbetween_updates ... ok
[INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_empty ... ok
[INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_lower_bound_event ... 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::the_default_sink_is_empty ... 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::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 engine::predicates::predicate_constructor::tests::macro_nested_identifiers_are_matched ... ok
[INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_lower_bound_can_be_strictly_positive ... ok
[INFO] [stdout] test engine::variables::affine_view::tests::test_negated_variable_has_bounds_rounded_correctly ... 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_equals::tests::test_propagation_of_bounds ... 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::binary::binary_equals::tests::test_propagation_of_holes ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::non_overlapping_is_ok ... 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::lower_bound_on_absolute_can_propagate_negative_upper_bound_on_signed ... ok
[INFO] [stdout] test propagators::arithmetic::division::tests::detects_conflicts ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::incremental_propagation ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_propagation_of_holes_incremental ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_b_and_c_propagate_bounds_a ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::overflow_leads_to_conflict ... ok
[INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::duplicate_events_are_ignored ... ok
[INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_bounds_are_propagated ... 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_explanations ... ok
[INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_conflict ... 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::test_value_is_removed ... ok
[INFO] [stderr]    Doc-tests pumpkin_core
[INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::detects_conflict ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound_sequence ... 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::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::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 ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::explanation_for_propagation ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_b_propagate_bounds_c ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::satisfied_constraint_does_not_trigger_conflict ... ok
[INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_c_propagate_bounds_b ... ok
[INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_conflict_big_step ... ok
[INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_empty_domain_is_detected ... 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_lower_bound ... 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::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::big_step::tests::test_big_step_explanation_lower_bound_sequence ... 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::pointwise::tests::test_pointwise_explanation_lower_bound_sequence ... 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_propagates_end_time ... 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::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_from_profile ... 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_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_generic_bounds ... 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_detects_conflict ... 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::explanations::pointwise::tests::test_pointwise_explanation_upper_bound ... 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::no_synchronisation_leads_to_different_explanation ... 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::propagator_detects_conflict ... 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::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_example_4_3_schutt ... 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::over_interval_incremental_propagator::time_table_over_interval_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_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_from_profile_reason ... ok
[INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_generic_bounds ... 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::no_synchronisation_leads_to_different_conflict ... 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::synchronisation_leads_to_same_conflict_after_propagating ... 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::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::time_table_over_interval::tests::propagator_detects_conflict ... 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_propagates_after_assignment ... 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::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::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 ... 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::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_generic_bounds ... 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::time_table_per_point::tests::propagator_detects_conflict ... 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_per_point::tests::propagator_propagates_end_time ... 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_per_point::tests::propagator_propagates_example_4_3_schutt_after_update ... 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_from_profile ... 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_nothing ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_with_holes ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_generic_bounds ... ok
[INFO] [stdout] test propagators::cumulative::time_table::time_table_util::tests::test_finding_last_index_lower_bound ... 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::cumulative::time_table::time_table_util::tests::test_finding_last_index_upper_bound ... ok
[INFO] [stdout] test propagators::element::tests::elements_from_array_with_disjoint_domains_to_rhs_are_filtered_from_index ... ok
[INFO] [stdout] test propagators::element::tests::fixed_index_propagates_bounds_on_element ... ok
[INFO] [stdout] test propagators::element::tests::index_hole_propagates_bounds_on_rhs ... 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_true_literal_is_added_to_a_conflict_conjunction ... 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::reified_propagator::tests::a_detected_inconsistency_is_given_as_reason_for_propagating_reification_literal_to_false ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 305 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.12s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 34 tests
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::add_constraint (line 439) ... FAILED
[INFO] [stdout] test src/branching/tie_breaking/mod.rs - branching::tie_breaking (line 24) ... FAILED
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_bounded_integer (line 229) ... FAILED
[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_literals (line 162) ... FAILED
[INFO] [stdout] test src/basic_types/propositional_conjunction.rs - basic_types::propositional_conjunction::conjunction (line 181) ... FAILED
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_named_literal (line 204) ... FAILED
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_named_bounded_integer (line 244) ... FAILED
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_named_sparse_integer (line 285) ... FAILED
[INFO] [stdout] test src/api/outputs/unsatisfiable.rs - api::outputs::unsatisfiable::UnsatisfiableUnderAssumptions<'solver,'brancher,B>::extract_core (line 48) ... FAILED
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_sparse_integer (line 268) ... FAILED
[INFO] [stdout] test src/branching/mod.rs - branching (line 42) ... FAILED
[INFO] [stdout] test src/basic_types/random.rs - basic_types::random::Random::generate_bool (line 25) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 188) ... FAILED
[INFO] [stdout] test src/branching/mod.rs - branching (line 15) ... FAILED
[INFO] [stdout] test src/proof/inference_code.rs - proof::inference_code::declare_inference_label (line 68) ... ignored
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_literal (line 180) ... FAILED
[INFO] [stdout] test src/api/solver.rs - api::solver::Solver (line 50) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 132) ... FAILED
[INFO] [stdout] test src/containers/keyed_vec.rs - containers::keyed_vec::KeyedVec<Key,Value>::new_slot (line 63) ... FAILED
[INFO] [stdout] test src/engine/predicates/predicate_constructor.rs - engine::predicates::predicate_constructor::predicate (line 46) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 77) ... FAILED
[INFO] [stdout] test src/constraints/mod.rs - constraints (line 8) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 255) ... FAILED
[INFO] [stdout] test src/basic_types/random.rs - basic_types::random::Random::generate_usize_in_range (line 48) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 42) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 113) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 65) ... FAILED
[INFO] [stdout] test src/engine/constraint_satisfaction_solver.rs - engine::constraint_satisfaction_solver::ConstraintSatisfactionSolver::extract_clausal_core (line 472) ... FAILED
[INFO] [stdout] test src/propagators/cumulative/mod.rs - propagators::cumulative (line 34) ... FAILED
[INFO] [stdout] test src/lib.rs - (line 25) ... FAILED
[INFO] [stdout] test src/statistics/mod.rs - statistics::create_statistics_struct (line 36) ... FAILED
[INFO] [stdout] test src/constraints/cumulative.rs - constraints::cumulative::cumulative (line 34) ... FAILED
[INFO] [stderr] error: doctest failed, to rerun pass `--doc`
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::add_constraint (line 439) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:440:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::constraints;
[INFO] [stdout] 3 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:441:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::Solver;
[INFO] [stdout] 4 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/branching/tie_breaking/mod.rs - branching::tie_breaking (line 24) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/tie_breaking/mod.rs:25:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::branching::tie_breaking::InOrderTieBreaker;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::branching::tie_breaking::InOrderTieBreaker;
[INFO] [stdout] 3 + use pumpkin_core::branching::tie_breaking::InOrderTieBreaker;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/tie_breaking/mod.rs:26:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::variables::DomainId;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::variables::DomainId;
[INFO] [stdout] 4 + use pumpkin_core::variables::DomainId;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/tie_breaking/mod.rs:27:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::branching::tie_breaking::Direction;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::branching::tie_breaking::Direction;
[INFO] [stdout] 5 + use pumpkin_core::branching::tie_breaking::Direction;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/tie_breaking/mod.rs:28:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::branching::tie_breaking::TieBreaker;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::branching::tie_breaking::TieBreaker;
[INFO] [stdout] 6 + use pumpkin_core::branching::tie_breaking::TieBreaker;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::new_bounded_integer (line 229) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:230:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::new_literals (line 162) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:164:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::variables::Literal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::variables::Literal;
[INFO] [stdout] 4 + use pumpkin_core::variables::Literal;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:163:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/basic_types/propositional_conjunction.rs - basic_types::propositional_conjunction::conjunction (line 181) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/basic_types/propositional_conjunction.rs:182:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::predicates::PropositionalConjunction;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::predicates::PropositionalConjunction;
[INFO] [stdout] 3 + use pumpkin_core::predicates::PropositionalConjunction;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/basic_types/propositional_conjunction.rs:183:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::Solver;
[INFO] [stdout] 4 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/basic_types/propositional_conjunction.rs:184:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::conjunction;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::conjunction;
[INFO] [stdout] 5 + use pumpkin_core::conjunction;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/basic_types/propositional_conjunction.rs:185:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::predicate;
[INFO] [stdout] 6 + use pumpkin_core::predicate;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 4 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::new_named_literal (line 204) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:205:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::new_named_bounded_integer (line 244) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:245:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::new_named_sparse_integer (line 285) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:286:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/outputs/unsatisfiable.rs - api::outputs::unsatisfiable::UnsatisfiableUnderAssumptions<'solver,'brancher,B>::extract_core (line 48) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/api/outputs/unsatisfiable.rs:50:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout] 4 + use pumpkin_core::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/api/outputs/unsatisfiable.rs:51:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/outputs/unsatisfiable.rs:49:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/outputs/unsatisfiable.rs:52:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::predicate;
[INFO] [stdout] 6 + use pumpkin_core::predicate;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/api/outputs/unsatisfiable.rs:54:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 8 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 8 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/outputs/unsatisfiable.rs:53:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::constraints;
[INFO] [stdout] 7 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 6 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::new_sparse_integer (line 268) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:269:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/branching/mod.rs - branching (line 42) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:44:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::variables::Literal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::variables::Literal;
[INFO] [stdout] 4 + use pumpkin_core::variables::Literal;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:45:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:46:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout] 6 + use pumpkin_core::results::SatisfactionResult;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `pumpkin_solver` in the crate root
[INFO] [stdout]  --> src/branching/mod.rs:47:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]   |            ^^^^^^^^^^^^^^ could not find `pumpkin_solver` in the crate root
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:43:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/basic_types/random.rs - basic_types::random::Random::generate_bool (line 25) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/basic_types/random.rs:28:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::Random;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::Random;
[INFO] [stdout] 5 + use pumpkin_core::Random;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `generate_bool` found for struct `SmallRng` in the current scope
[INFO] [stdout]   --> src/basic_types/random.rs:32:29
[INFO] [stdout]    |
[INFO] [stdout] 9  | let coin_flip_outcome = rng.generate_bool(0.5);
[INFO] [stdout]    |                             ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/basic_types/random.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 40 |     fn generate_bool(&mut self, probability: f64) -> bool;
[INFO] [stdout]    |        ------------- the method is available for `SmallRng` here
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Random` which provides `generate_bool` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 2  + use pumpkin_core::Random;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `gen_bool` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 9  - let coin_flip_outcome = rng.generate_bool(0.5);
[INFO] [stdout] 9  + let coin_flip_outcome = rng.gen_bool(0.5);
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `generate_bool` found for struct `SmallRng` in the current scope
[INFO] [stdout]   --> src/basic_types/random.rs:37:54
[INFO] [stdout]    |
[INFO] [stdout] 14 | let result = std::panic::catch_unwind(|| rng.clone().generate_bool(120.0));
[INFO] [stdout]    |                                                      ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/basic_types/random.rs:40:8
[INFO] [stdout]    |
[INFO] [stdout] 40 |     fn generate_bool(&mut self, probability: f64) -> bool;
[INFO] [stdout]    |        ------------- the method is available for `SmallRng` here
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Random` which provides `generate_bool` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 2  + use pumpkin_core::Random;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `gen_bool` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 14 - let result = std::panic::catch_unwind(|| rng.clone().generate_bool(120.0));
[INFO] [stdout] 14 + let result = std::panic::catch_unwind(|| rng.clone().gen_bool(120.0));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 188) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:190:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout] 4 + use pumpkin_core::results::SatisfactionResult;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:191:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:192:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout] 6 + use pumpkin_core::results::ProblemSolution;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:193:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::results::solution_iterator::IteratedSolution;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::results::solution_iterator::IteratedSolution;
[INFO] [stdout] 7 + use pumpkin_core::results::solution_iterator::IteratedSolution;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:189:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:195:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 9 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 9 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:194:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 8 - use pumpkin_solver::constraints;
[INFO] [stdout] 8 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 7 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/branching/mod.rs - branching (line 15) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:17:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::variables::Literal;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::variables::Literal;
[INFO] [stdout] 4 + use pumpkin_core::variables::Literal;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:18:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:19:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout] 6 + use pumpkin_core::results::SatisfactionResult;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `pumpkin_solver` in the crate root
[INFO] [stdout]  --> src/branching/mod.rs:20:12
[INFO] [stdout]   |
[INFO] [stdout] 7 | use crate::pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]   |            ^^^^^^^^^^^^^^ could not find `pumpkin_solver` in the crate root
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/branching/mod.rs:16:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver::new_literal (line 180) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:181:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 1 previous error
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/api/solver.rs - api::solver::Solver (line 50) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: could not find `pumpkin_solver` in the crate root
[INFO] [stdout]  --> src/api/solver.rs:52:12
[INFO] [stdout]   |
[INFO] [stdout] 4 | use crate::pumpkin_solver::variables::TransformableVariable;
[INFO] [stdout]   |            ^^^^^^^^^^^^^^ could not find `pumpkin_solver` in the crate root
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/api/solver.rs:51:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 132) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:134:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::results::OptimisationResult;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::results::OptimisationResult;
[INFO] [stdout] 4 + use pumpkin_core::results::OptimisationResult;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:135:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:136:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout] 6 + use pumpkin_core::results::ProblemSolution;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:133:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:138:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 8 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 8 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:139:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use pumpkin_solver::optimisation::OptimisationDirection;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 9 - use pumpkin_solver::optimisation::OptimisationDirection;
[INFO] [stdout] 9 + use pumpkin_core::optimisation::OptimisationDirection;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   --> src/lib.rs:140:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use pumpkin_solver::optimisation::linear_sat_unsat::LinearSatUnsat;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 10 - use pumpkin_solver::optimisation::linear_sat_unsat::LinearSatUnsat;
[INFO] [stdout] 10 + use pumpkin_core::optimisation::linear_sat_unsat::LinearSatUnsat;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `pumpkin_solver` in the crate root
[INFO] [stdout]   --> src/lib.rs:142:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | use crate::pumpkin_solver::optimisation::OptimisationProcedure;
[INFO] [stdout]    |            ^^^^^^^^^^^^^^ could not find `pumpkin_solver` in the crate root
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   --> src/lib.rs:143:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use pumpkin_solver::results::SolutionReference;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 13 - use pumpkin_solver::results::SolutionReference;
[INFO] [stdout] 13 + use pumpkin_core::results::SolutionReference;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:137:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::constraints;
[INFO] [stdout] 7 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]   --> src/lib.rs:144:5
[INFO] [stdout]    |
[INFO] [stdout] 14 | use pumpkin_solver::DefaultBrancher;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 14 - use pumpkin_solver::DefaultBrancher;
[INFO] [stdout] 14 + use pumpkin_core::DefaultBrancher;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 11 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/containers/keyed_vec.rs - containers::keyed_vec::KeyedVec<Key,Value>::new_slot (line 63) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/containers/keyed_vec.rs:64:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::containers::StorageKey;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::containers::StorageKey;
[INFO] [stdout] 3 + use pumpkin_core::containers::StorageKey;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/containers/keyed_vec.rs:65:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::containers::KeyedVec;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::containers::KeyedVec;
[INFO] [stdout] 4 + use pumpkin_core::containers::KeyedVec;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0433`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/engine/predicates/predicate_constructor.rs - engine::predicates::predicate_constructor::predicate (line 46) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/engine/predicates/predicate_constructor.rs:47:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/engine/predicates/predicate_constructor.rs:49:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::predicates::Predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::predicates::Predicate;
[INFO] [stdout] 5 + use pumpkin_core::predicates::Predicate;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/engine/predicates/predicate_constructor.rs:48:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::predicate;
[INFO] [stdout] 4 + use pumpkin_core::predicate;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 77) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:79:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout] 4 + use pumpkin_core::results::SatisfactionResult;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:80:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:81:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout] 6 + use pumpkin_core::results::ProblemSolution;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:78:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:83:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 8 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 8 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:82:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::constraints;
[INFO] [stdout] 7 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 6 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/constraints/mod.rs - constraints (line 8) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/constraints/mod.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::constraints;
[INFO] [stdout] 3 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/constraints/mod.rs:10:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::Solver;
[INFO] [stdout] 4 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 255) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:257:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout] 4 + use pumpkin_core::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:258:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:256:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:259:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::predicate;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::predicate;
[INFO] [stdout] 6 + use pumpkin_core::predicate;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:261:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 8 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 8 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:260:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::constraints;
[INFO] [stdout] 7 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 6 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/basic_types/random.rs - basic_types::random::Random::generate_usize_in_range (line 48) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/basic_types/random.rs:51:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::Random;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::Random;
[INFO] [stdout] 5 + use pumpkin_core::Random;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0599]: no method named `generate_usize_in_range` found for struct `SmallRng` in the current scope
[INFO] [stdout]   --> src/basic_types/random.rs:57:26
[INFO] [stdout]    |
[INFO] [stdout] 11 | let selected_index = rng.generate_usize_in_range(0..elements.len());
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]   ::: /opt/rustwide/workdir/src/basic_types/random.rs:60:8
[INFO] [stdout]    |
[INFO] [stdout] 60 |     fn generate_usize_in_range(&mut self, range: Range<usize>) -> usize;
[INFO] [stdout]    |        ----------------------- the method is available for `SmallRng` here
[INFO] [stdout]    |
[INFO] [stdout]    = help: items from traits can only be used if the trait is in scope
[INFO] [stdout] help: trait `Random` which provides `generate_usize_in_range` is implemented but not in scope; perhaps you want to import it
[INFO] [stdout]    |
[INFO] [stdout] 2  + use pumpkin_core::Random;
[INFO] [stdout]    |
[INFO] [stdout] help: there is a method `generate_i32_in_range` with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 11 - let selected_index = rng.generate_usize_in_range(0..elements.len());
[INFO] [stdout] 11 + let selected_index = rng.generate_i32_in_range(0..elements.len());
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0599.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 42) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:44:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::results::OptimisationResult;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::results::OptimisationResult;
[INFO] [stdout] 4 + use pumpkin_core::results::OptimisationResult;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:45:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:46:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout] 6 + use pumpkin_core::results::ProblemSolution;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:43:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:48:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 8 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 8 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:47:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::constraints;
[INFO] [stdout] 7 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 6 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 113) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:114:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:116:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 5 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:115:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::constraints;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::constraints;
[INFO] [stdout] 4 + use pumpkin_core::constraints;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 65) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:67:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 4 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:66:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/engine/constraint_satisfaction_solver.rs - engine::constraint_satisfaction_solver::ConstraintSatisfactionSolver::extract_clausal_core (line 472) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/engine/constraint_satisfaction_solver.rs:478:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 8 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 8 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/engine/constraint_satisfaction_solver.rs:479:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use pumpkin_solver::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 9 - use pumpkin_solver::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout] 9 + use pumpkin_core::results::SatisfactionResultUnderAssumptions;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/engine/constraint_satisfaction_solver.rs:477:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::Solver;
[INFO] [stdout] 7 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 3 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/propagators/cumulative/mod.rs - propagators::cumulative (line 34) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/propagators/cumulative/mod.rs:41:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 9 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 9 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   --> src/propagators/cumulative/mod.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 11 - use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout] 11 + use pumpkin_core::results::SatisfactionResult;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]   --> src/propagators/cumulative/mod.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use pumpkin_solver::Solver;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 10 - use pumpkin_solver::Solver;
[INFO] [stdout] 10 + use pumpkin_core::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   --> src/propagators/cumulative/mod.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 13 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 13 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `pumpkin_solver` in the crate root
[INFO] [stdout]   --> src/propagators/cumulative/mod.rs:46:12
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]    |            ^^^^^^^^^^^^^^ could not find `pumpkin_solver` in the crate root
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]   --> src/propagators/cumulative/mod.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use pumpkin_solver::constraints;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 12 - use pumpkin_solver::constraints;
[INFO] [stdout] 12 + use pumpkin_core::constraints;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 6 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/lib.rs - (line 25) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:27:5
[INFO] [stdout]   |
[INFO] [stdout] 4 | use pumpkin_solver::results::OptimisationResult;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 4 - use pumpkin_solver::results::OptimisationResult;
[INFO] [stdout] 4 + use pumpkin_core::results::OptimisationResult;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:28:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 5 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 5 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:29:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 6 - use pumpkin_solver::results::ProblemSolution;
[INFO] [stdout] 6 + use pumpkin_core::results::ProblemSolution;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:30:5
[INFO] [stdout]   |
[INFO] [stdout] 7 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 7 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 7 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/lib.rs:26:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::Solver;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::Solver;
[INFO] [stdout] 3 + use pumpkin_core::Solver;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 5 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/statistics/mod.rs - statistics::create_statistics_struct (line 36) stdout ----
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]  --> src/statistics/mod.rs:37:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use pumpkin_solver::create_statistics_struct;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 3 - use pumpkin_solver::create_statistics_struct;
[INFO] [stdout] 3 + use pumpkin_core::create_statistics_struct;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of undeclared type `Statistics`
[INFO] [stdout]  --> src/statistics/mod.rs:42:18
[INFO] [stdout]   |
[INFO] [stdout] 8 | let statistics = Statistics::default();
[INFO] [stdout]   |                  ^^^^^^^^^^ use of undeclared type `Statistics`
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 2 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/constraints/cumulative.rs - constraints::cumulative::cumulative (line 34) stdout ----
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]  --> src/constraints/cumulative.rs:41:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use pumpkin_solver::termination::Indefinite;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]   |
[INFO] [stdout] 9 - use pumpkin_solver::termination::Indefinite;
[INFO] [stdout] 9 + use pumpkin_core::termination::Indefinite;
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   --> src/constraints/cumulative.rs:43:5
[INFO] [stdout]    |
[INFO] [stdout] 11 | use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 11 - use pumpkin_solver::results::SatisfactionResult;
[INFO] [stdout] 11 + use pumpkin_core::results::SatisfactionResult;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]   --> src/constraints/cumulative.rs:42:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use pumpkin_solver::Solver;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 10 - use pumpkin_solver::Solver;
[INFO] [stdout] 10 + use pumpkin_core::Solver;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]   --> src/constraints/cumulative.rs:45:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use pumpkin_solver::constraints::Constraint;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 13 - use pumpkin_solver::constraints::Constraint;
[INFO] [stdout] 13 + use pumpkin_core::constraints::Constraint;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error[E0433]: failed to resolve: could not find `pumpkin_solver` in the crate root
[INFO] [stdout]   --> src/constraints/cumulative.rs:46:12
[INFO] [stdout]    |
[INFO] [stdout] 14 | use crate::pumpkin_solver::results::ProblemSolution;
[INFO] [stdout]    |            ^^^^^^^^^^^^^^ could not find `pumpkin_solver` in the crate root
[INFO] [stdout] 
[INFO] [stdout] error[E0432]: unresolved import `pumpkin_solver`
[INFO] [stdout]   --> src/constraints/cumulative.rs:44:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use pumpkin_solver::constraints;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^ use of unresolved module or unlinked crate `pumpkin_solver`
[INFO] [stdout]    |
[INFO] [stdout] help: there is a crate or module with a similar name
[INFO] [stdout]    |
[INFO] [stdout] 12 - use pumpkin_solver::constraints;
[INFO] [stdout] 12 + use pumpkin_core::constraints;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 6 previous errors
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0432, E0433.
[INFO] [stdout] For more information about an error, try `rustc --explain E0432`.
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     src/api/outputs/unsatisfiable.rs - api::outputs::unsatisfiable::UnsatisfiableUnderAssumptions<'solver,'brancher,B>::extract_core (line 48)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver (line 50)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::add_constraint (line 439)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::new_bounded_integer (line 229)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::new_literal (line 180)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::new_literals (line 162)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::new_named_bounded_integer (line 244)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::new_named_literal (line 204)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::new_named_sparse_integer (line 285)
[INFO] [stdout]     src/api/solver.rs - api::solver::Solver::new_sparse_integer (line 268)
[INFO] [stdout]     src/basic_types/propositional_conjunction.rs - basic_types::propositional_conjunction::conjunction (line 181)
[INFO] [stdout]     src/basic_types/random.rs - basic_types::random::Random::generate_bool (line 25)
[INFO] [stdout]     src/basic_types/random.rs - basic_types::random::Random::generate_usize_in_range (line 48)
[INFO] [stdout]     src/branching/mod.rs - branching (line 15)
[INFO] [stdout]     src/branching/mod.rs - branching (line 42)
[INFO] [stdout]     src/branching/tie_breaking/mod.rs - branching::tie_breaking (line 24)
[INFO] [stdout]     src/constraints/cumulative.rs - constraints::cumulative::cumulative (line 34)
[INFO] [stdout]     src/constraints/mod.rs - constraints (line 8)
[INFO] [stdout]     src/containers/keyed_vec.rs - containers::keyed_vec::KeyedVec<Key,Value>::new_slot (line 63)
[INFO] [stdout]     src/engine/constraint_satisfaction_solver.rs - engine::constraint_satisfaction_solver::ConstraintSatisfactionSolver::extract_clausal_core (line 472)
[INFO] [stdout]     src/engine/predicates/predicate_constructor.rs - engine::predicates::predicate_constructor::predicate (line 46)
[INFO] [stdout]     src/lib.rs - (line 113)
[INFO] [stdout]     src/lib.rs - (line 132)
[INFO] [stdout]     src/lib.rs - (line 188)
[INFO] [stdout]     src/lib.rs - (line 25)
[INFO] [stdout]     src/lib.rs - (line 255)
[INFO] [stdout]     src/lib.rs - (line 42)
[INFO] [stdout]     src/lib.rs - (line 65)
[INFO] [stdout]     src/lib.rs - (line 77)
[INFO] [stdout]     src/propagators/cumulative/mod.rs - propagators::cumulative (line 34)
[INFO] [stdout]     src/statistics/mod.rs - statistics::create_statistics_struct (line 36)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 31 failed; 3 ignored; 0 measured; 0 filtered out; finished in 0.78s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "85ef89f5acc0e0f6bec883add32f6663f73c6b3f5ae35a673fcb95b25fadd325", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "85ef89f5acc0e0f6bec883add32f6663f73c6b3f5ae35a673fcb95b25fadd325", kill_on_drop: false }`
[INFO] [stdout] 85ef89f5acc0e0f6bec883add32f6663f73c6b3f5ae35a673fcb95b25fadd325
