[INFO] fetching crate pumpkin-core 0.2.1... [INFO] testing pumpkin-core-0.2.1 against master#caccb4d0368bd918ef6668af8e13834d07040417 for pr-146098-1 [INFO] extracting crate pumpkin-core 0.2.1 into /workspace/builds/worker-5-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-5-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate pumpkin-core 0.2.1 on toolchain caccb4d0368bd918ef6668af8e13834d07040417 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "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" "+caccb4d0368bd918ef6668af8e13834d07040417" "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 enumset_derive v0.11.0 [INFO] [stderr] Downloaded bitfield-struct v0.9.5 [INFO] [stderr] Downloaded drcp-format v0.3.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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" "+caccb4d0368bd918ef6668af8e13834d07040417" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] c0b8c5e4b26dcbfc43b923015cc1c9b9565d8e2fdcdd56bb1b482caa6af8c395 [INFO] running `Command { std: "docker" "start" "-a" "c0b8c5e4b26dcbfc43b923015cc1c9b9565d8e2fdcdd56bb1b482caa6af8c395", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "c0b8c5e4b26dcbfc43b923015cc1c9b9565d8e2fdcdd56bb1b482caa6af8c395", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c0b8c5e4b26dcbfc43b923015cc1c9b9565d8e2fdcdd56bb1b482caa6af8c395", kill_on_drop: false }` [INFO] [stdout] c0b8c5e4b26dcbfc43b923015cc1c9b9565d8e2fdcdd56bb1b482caa6af8c395 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 095db7640067e63e3d71f9d1634fdf9a5913ca3c42da5efaafa8beb7484ce9f4 [INFO] running `Command { std: "docker" "start" "-a" "095db7640067e63e3d71f9d1634fdf9a5913ca3c42da5efaafa8beb7484ce9f4", kill_on_drop: false }` [INFO] [stderr] Compiling chumsky v0.10.1 [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling cc v1.2.27 [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 rand_core v0.6.4 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling num-complex v0.4.6 [INFO] [stderr] Compiling syn v2.0.103 [INFO] [stderr] Compiling psm v0.1.26 [INFO] [stderr] Compiling stacker v0.1.21 [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 num v0.4.3 [INFO] [stderr] Compiling darling_core v0.20.11 [INFO] [stderr] Compiling thiserror-impl v2.0.12 [INFO] [stderr] Compiling enum-map-derive v0.17.0 [INFO] [stderr] Compiling bitfield-struct v0.9.5 [INFO] [stderr] Compiling enum-map v2.7.3 [INFO] [stderr] Compiling thiserror v2.0.12 [INFO] [stderr] Compiling drcp-format v0.3.0 [INFO] [stderr] Compiling darling_macro v0.20.11 [INFO] [stderr] Compiling darling v0.20.11 [INFO] [stderr] Compiling enumset_derive v0.11.0 [INFO] [stderr] Compiling enumset v1.1.6 [INFO] [stderr] Compiling pumpkin-core v0.2.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 18.57s [INFO] running `Command { std: "docker" "inspect" "095db7640067e63e3d71f9d1634fdf9a5913ca3c42da5efaafa8beb7484ce9f4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "095db7640067e63e3d71f9d1634fdf9a5913ca3c42da5efaafa8beb7484ce9f4", kill_on_drop: false }` [INFO] [stdout] 095db7640067e63e3d71f9d1634fdf9a5913ca3c42da5efaafa8beb7484ce9f4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] efa4f95956304a3fc18e1fc841262d678fbbc83f1051b3d179ec8361854a2545 [INFO] running `Command { std: "docker" "start" "-a" "efa4f95956304a3fc18e1fc841262d678fbbc83f1051b3d179ec8361854a2545", 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 8.19s [INFO] running `Command { std: "docker" "inspect" "efa4f95956304a3fc18e1fc841262d678fbbc83f1051b3d179ec8361854a2545", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "efa4f95956304a3fc18e1fc841262d678fbbc83f1051b3d179ec8361854a2545", kill_on_drop: false }` [INFO] [stdout] efa4f95956304a3fc18e1fc841262d678fbbc83f1051b3d179ec8361854a2545 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+caccb4d0368bd918ef6668af8e13834d07040417" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 54c05c051bbf1f8aaf4a67c6e7eb03335153bb412be6853f85c23cc21b0ce434 [INFO] running `Command { std: "docker" "start" "-a" "54c05c051bbf1f8aaf4a67c6e7eb03335153bb412be6853f85c23cc21b0ce434", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pumpkin_core-f3666db6bc075187) [INFO] [stdout] [INFO] [stdout] running 305 tests [INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_simple1 ... ok [INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_empty ... ok [INFO] [stdout] test basic_types::moving_averages::cumulative_moving_average::tests::test_constant_value ... 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::last_values_removed ... 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::deletable_predicate_id_generator::tests::holes_in_removed_values ... ok [INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_simple1 ... 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::initial_and_last_values_removed ... ok [INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::holes_in_removed_values ... ok [INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::initial_and_last_values_removed ... ok [INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::initial_values_removed1 ... ok [INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::initial_values_removed2 ... ok [INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::no_removed_values ... ok [INFO] [stdout] test basic_types::propositional_conjunction::tests::conjunction_macro_test ... ok [INFO] [stdout] test basic_types::propositional_conjunction::tests::nested_path_is_forwarded_to_predicate ... ok [INFO] [stdout] test basic_types::propositional_conjunction::tests::order_is_ignored_for_equality ... ok [INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::initial_values_removed1 ... ok [INFO] [stdout] test basic_types::sequence_generators::constant_sequence::tests::test_basic ... 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 ... ok [INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_100 ... ok [INFO] [stdout] test basic_types::moving_averages::windowed_moving_average::tests::test_constant_value ... ok [INFO] [stdout] test basic_types::sequence_generators::geometric_sequence::tests::test_multiply_50_procent ... ok [INFO] [stdout] test basic_types::trail::tests::backtracking_is_nonchronological ... ok [INFO] [stdout] test basic_types::trail::tests::elements_at_current_decision_level ... ok [INFO] [stdout] test basic_types::trail::tests::popped_elements_are_given_in_reverse_order_when_backtracking ... 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_solution ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_maximum ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_minimum ... ok [INFO] [stdout] test basic_types::predicate_id_generators::predicate_id_generator::tests::last_values_removed ... ok [INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_solution ... ok [INFO] [stdout] test basic_types::predicate_id_generators::deletable_predicate_id_generator::tests::all_values_removed ... ok [INFO] [stdout] test basic_types::trail::tests::backtracking_removes_elements_beyond_decision_level ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::uses_fallback ... ok [INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_every_other_restart ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::dormant_values ... ok [INFO] [stdout] test branching::branchers::alternating_brancher::tests::test_switch_to_default_after_first_solution ... ok [INFO] [stdout] test branching::tie_breaking::random_tie_breaker::tests::test_selection_between_values_chooses_random_with_seed_first ... ok [INFO] [stdout] test branching::branchers::autonomous_search::tests::brancher_picks_bumped_values ... ok [INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_picks_lowest_value ... 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::branchers::autonomous_search::tests::uses_stored_solution ... ok [INFO] [stdout] test branching::value_selection::in_domain_max::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_median::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_median::tests::test_returns_correct_literal_removed_median ... 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_negative_upper_bound ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_no_middle ... ok [INFO] [stdout] test branching::value_selection::in_domain_middle::tests::test_returns_correct_literal_size_two_domain ... 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_domain_of_size_two ... ok [INFO] [stdout] test branching::value_selection::in_domain_split_random::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::out_domain_max::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::in_domain_min::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::in_domain_split::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::out_domain_median::tests::test_returns_correct_literal_no_median ... ok [INFO] [stdout] test branching::value_selection::out_domain_median::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::reverse_in_domain_split::tests::test_domain_of_size_two ... ok [INFO] [stdout] test branching::value_selection::random_splitter::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::value_selection::out_domain_min::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::variable_selection::first_fail::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::value_selection::out_domain_random::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::variable_selection::input_order::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::first_fail::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::value_selection::reverse_in_domain_split::tests::test_returns_correct_literal ... ok [INFO] [stdout] test branching::variable_selection::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::input_order::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::anti_first_fail::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::tie_breaking::in_order_tie_breaker::tests::test_selection_first_value ... ok [INFO] [stdout] test branching::variable_selection::largest::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::smallest::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::most_constrained::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test containers::key_value_heap::test::failing_test_case2 ... ok [INFO] [stdout] test branching::variable_selection::most_constrained::tests::test_correctly_selected_tie ... ok [INFO] [stdout] test containers::key_value_heap::test::random2 ... ok [INFO] [stdout] test branching::variable_selection::occurrence::tests::test_correctly_selected ... ok [INFO] [stdout] test branching::variable_selection::random::tests::test_select_nothing_if_all_fixed ... ok [INFO] [stdout] test branching::variable_selection::occurrence::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test branching::variable_selection::random::tests::test_select_unfixed_variable_after_fixing ... ok [INFO] [stdout] test branching::variable_selection::random::tests::test_selects_randomly ... ok [INFO] [stdout] test branching::variable_selection::random::tests::test_selects_randomly_not_unfixed ... 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::sparse_set::tests::iter1 ... ok [INFO] [stdout] test containers::key_value_heap::test::trivial_sort ... ok [INFO] [stdout] test containers::sparse_set::tests::removal ... ok [INFO] [stdout] test containers::sparse_set::tests::iter2 ... ok [INFO] [stdout] test containers::sparse_set::tests::removal_adjusts_size ... ok [INFO] [stdout] test containers::sparse_set::tests::remove_all_elements_leads_to_empty_set ... ok [INFO] [stdout] test containers::sparse_set::tests::test_len ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::hole_lb_override ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::hole_push_lb ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_assign ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound1 ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound3 ... 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_lb_override1 ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_bounds_reset ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_holes ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_nogood ... ok [INFO] [stdout] test containers::key_value_heap::test::duplicates ... ok [INFO] [stdout] test branching::variable_selection::smallest::tests::fixed_variables_are_not_selected ... ok [INFO] [stdout] test containers::key_value_heap::test::failing_test_case ... ok [INFO] [stdout] test containers::key_value_heap::test::random1 ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::check_can_compute_1uip_with_propagator_initialisation_conflict ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_equality_assumption ... ok [INFO] [stdout] test engine::conflict_analysis::minimisers::semantic_minimiser::tests::trivial_conflict_assignment ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_2 ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_1 ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_2_long_assumptions_with_inconsistency_at_the_end ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_2 ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_3_1 ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_core_conflicting ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::simple_core_extraction_1_infeasible ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::new_domain_with_negative_lower_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::an_empty_domain_accepts_removal_operations ... ok [INFO] [stdout] test engine::constraint_satisfaction_solver::tests::core_extraction_unit_core ... ok [INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_removed_bounds ... ok [INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_simple ... 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_lower_and_upper_bound_event_backtrack ... ok [INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_lower_bound_event_backtrack ... ok [INFO] [stdout] test engine::cp::assignments::tests::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::domain_iterator_removed_values_present_beyond_bounds ... 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_beyond_trail_position ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_at_update ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_lower_bound_event ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_inbetween_updates ... ok [INFO] [stdout] test engine::cp::assignments::tests::domain_iterator_skip_holes ... ok [INFO] [stdout] test engine::cp::assignments::tests::jump_in_bound_change_assign_event_backtrack ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_change_backtrack ... 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::simple_core_extraction_1_1 ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_beyond_value ... ok [INFO] [stdout] test engine::cp::assignments::tests::bounds_change_can_also_trigger_assign_event ... 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::conflict_analysis::minimisers::semantic_minimiser::tests::simple_bound2 ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_inbetween_value ... ok [INFO] [stdout] test engine::cp::assignments::tests::removing_the_lower_bound_updates_that_lower_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::removing_the_upper_bound_updates_the_upper_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::lower_bound_trail_position_with_removals ... 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::removal_trail_position ... 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::removal_trail_position_after_lower_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::upper_bound_change_triggers_upper_bound_event ... ok [INFO] [stdout] test engine::cp::assignments::tests::making_assignment_triggers_appropriate_events ... ok [INFO] [stdout] test engine::cp::assignments::tests::undo_removal_at_bounds_indexes_into_values_domain_correctly ... ok [INFO] [stdout] test engine::cp::tests::test_no_update_reason_store_if_no_update_lower_bound ... ok [INFO] [stdout] test engine::cp::assignments::tests::various_tests_evaluate_predicate ... 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::notifications::domain_event_notification::event_sink::tests::a_captured_event_is_observed_in_the_drain ... ok [INFO] [stdout] test engine::cp::propagation::constructor::tests::reborrowing_remembers_next_local_id ... ok [INFO] [stdout] test engine::cp::assignments::tests::value_can_be_removed_from_domains ... ok [INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::after_draining_the_event_sink_is_empty ... ok [INFO] [stdout] test engine::cp::assignments::tests::removal_triggers_removal_event ... ok [INFO] [stdout] test engine::cp::reason::tests::computing_an_eager_reason_returns_a_reference_to_the_conjunction ... ok [INFO] [stdout] test engine::cp::reason::tests::pushing_a_reason_gives_a_reason_ref_that_can_be_computed ... ok [INFO] [stdout] test engine::cp::reason::tests::reified_lazy_explanation_has_reification_added_after_compute ... ok [INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_1_long ... ok [INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::duplicate_events_are_ignored ... ok [INFO] [stdout] test engine::notifications::domain_event_notification::event_sink::tests::the_default_sink_is_empty ... ok [INFO] [stdout] test engine::predicates::predicate::test::are_mutually_exclusive ... ok [INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_false_predicate ... ok [INFO] [stdout] test engine::predicates::predicate::test::negating_trivially_true_predicate ... ok [INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_index_expressions_are_matched ... ok [INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_local_identifiers_are_matched ... ok [INFO] [stdout] test engine::predicates::predicate_constructor::tests::macro_nested_identifiers_are_matched ... ok [INFO] [stdout] test basic_types::sequence_generators::luby_sequence::tests::test_base_50_long ... ok [INFO] [stdout] test engine::variables::affine_view::tests::offsetting_an_affine_view ... ok [INFO] [stdout] test engine::variables::affine_view::tests::test_negated_variable_has_bounds_rounded_correctly ... ok [INFO] [stdout] test engine::variables::affine_view::tests::affine_view_obtaining_a_bound_should_round_optimistically_in_inner_domain ... 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::scaling_an_affine_view ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::absolute_bounds_are_propagated_at_initialise ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::lower_bound_on_absolute_can_propagate_negative_upper_bound_on_signed ... 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::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_equals::tests::test_propagation_of_bounds ... ok [INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::detects_conflict ... ok [INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_propagation_of_holes_incremental ... ok [INFO] [stdout] test propagators::arithmetic::absolute_value::tests::signed_bounds_are_propagated_at_initialise ... ok [INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::propagate_when_one_is_fixed ... ok [INFO] [stdout] test propagators::arithmetic::binary::binary_equals::tests::test_conflict ... ok [INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_bounds_are_propagated ... ok [INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::overflow_leads_to_conflict ... ok [INFO] [stdout] test propagators::arithmetic::linear_less_or_equal::tests::test_explanations ... ok [INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_empty_domain_is_detected ... ok [INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::test_value_is_removed ... ok [INFO] [stdout] test propagators::arithmetic::division::tests::detects_conflicts ... ok [INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_b_propagate_bounds_c ... ok [INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_a_and_c_propagate_bounds_b ... ok [INFO] [stdout] test propagators::arithmetic::integer_multiplication::tests::bounds_of_b_and_c_propagate_bounds_a ... 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::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound ... ok [INFO] [stdout] test propagators::arithmetic::binary::binary_not_equals::tests::incremental_propagation ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_lower_bound_sequence ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::big_step::tests::test_big_step_explanation_upper_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::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::arithmetic::maximum::tests::upper_bound_of_rhs_matches_maximum_upper_bound_of_array_at_initialise ... 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::naive::tests::test_naive_explanation_upper_bound ... ok [INFO] [stdout] test propagators::arithmetic::maximum::tests::upper_bound_of_all_array_elements_at_most_rhs_max_at_initialise ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::naive::tests::test_naive_explanation_upper_bound_sequence ... 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::binary::binary_not_equals::tests::non_overlapping_is_ok ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_pointwise_explanation_upper_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::explanations::pointwise::tests::test_conflict_point_wise ... 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::explanations::pointwise::tests::test_pointwise_explanation_lower_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_detects_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_after_assignment ... 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::arithmetic::linear_less_or_equal::tests::underflow_leads_to_no_propagation ... 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::explanation_for_propagation ... 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::explanations::pointwise::tests::test_pointwise_explanation_lower_bound_sequence ... ok [INFO] [stdout] test propagators::arithmetic::linear_not_equal::tests::satisfied_constraint_does_not_trigger_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_example_4_3_schutt_multiple_profiles ... 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::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_detects_conflict ... 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_from_profile_reason ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_from_profile ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::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_after_assignment ... 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_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::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_from_profile_reason ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_generic_bounds ... ok [INFO] [stdout] test propagators::cumulative::time_table::over_interval_incremental_propagator::time_table_over_interval_incremental::tests::propagator_propagates_with_holes ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::per_point_incremental_propagator::time_table_per_point_incremental::tests::no_synchronisation_leads_to_different_conflict_explanation ... ok [INFO] [stdout] test propagators::cumulative::time_table::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::no_synchronisation_leads_to_different_explanation ... 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_nothing ... 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::time_table_over_interval::tests::propagator_propagates_after_assignment ... 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::per_point_incremental_propagator::time_table_per_point_incremental::tests::synchronisation_leads_to_same_conflict_explanation ... 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_per_point::tests::propagator_propagates_after_assignment ... 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::per_point_incremental_propagator::time_table_per_point_incremental::tests::propagator_propagates_with_holes ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_detects_conflict ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_over_interval::tests::propagator_propagates_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 ... 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_over_interval::tests::propagator_propagates_from_profile ... 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_over_interval::tests::propagator_propagates_from_profile_reason ... 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_with_holes ... 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_generic_bounds ... 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_util::tests::test_finding_last_index_lower_bound ... 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_util::tests::test_finding_last_index_upper_bound ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_with_holes ... ok [INFO] [stdout] test propagators::element::tests::fixed_index_propagates_bounds_on_element ... ok [INFO] [stdout] test propagators::element::tests::elements_from_array_with_disjoint_domains_to_rhs_are_filtered_from_index ... ok [INFO] [stdout] test propagators::reified_propagator::tests::a_true_literal_is_added_to_reason_for_propagation ... ok [INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::ternary_nogood_propagate ... 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::reified_propagator::tests::notify_propagator_is_enqueued_if_inconsistency_can_be_detected ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile ... ok [INFO] [stdout] test propagators::nogoods::nogood_propagator::tests::unsat ... ok [INFO] [stdout] test propagators::reified_propagator::tests::a_detected_inconsistency_is_given_as_reason_for_propagating_reification_literal_to_false ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_from_profile_reason ... ok [INFO] [stdout] test propagators::element::tests::index_hole_propagates_bounds_on_rhs ... ok [INFO] [stdout] test propagators::cumulative::time_table::time_table_per_point::tests::propagator_propagates_generic_bounds ... 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::reified_propagator::tests::a_true_literal_is_added_to_a_conflict_conjunction ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 305 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.05s [INFO] [stdout] [INFO] [stderr] Doc-tests pumpkin_core [INFO] [stdout] [INFO] [stdout] running 34 tests [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::new_named_sparse_integer (line 285) ... FAILED [INFO] [stdout] test src/branching/tie_breaking/mod.rs - branching::tie_breaking (line 24) ... 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_named_bounded_integer (line 244) ... FAILED [INFO] [stdout] test src/branching/mod.rs - branching (line 42) ... FAILED [INFO] [stdout] test src/api/solver.rs - api::solver::Solver (line 50) ... 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::add_constraint (line 439) ... FAILED [INFO] [stdout] test src/basic_types/random.rs - basic_types::random::Random::generate_bool (line 25) ... FAILED [INFO] [stdout] test src/constraints/mod.rs - constraints (line 8) ... FAILED [INFO] [stdout] test src/lib.rs - (line 113) ... FAILED [INFO] [stdout] test src/branching/mod.rs - branching (line 15) ... FAILED [INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_sparse_integer (line 268) ... 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/proof/inference_code.rs - proof::inference_code::declare_inference_label (line 68) ... ignored [INFO] [stdout] test src/api/solver.rs - api::solver::Solver::new_literals (line 162) ... 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_bounded_integer (line 229) ... FAILED [INFO] [stdout] test src/lib.rs - (line 132) ... FAILED [INFO] [stdout] test src/constraints/cumulative.rs - constraints::cumulative::cumulative (line 34) ... 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/lib.rs - (line 65) ... FAILED [INFO] [stdout] test src/statistics/mod.rs - statistics::create_statistics_struct (line 36) ... FAILED [INFO] [stdout] test src/lib.rs - (line 25) ... FAILED [INFO] [stdout] test src/propagators/cumulative/mod.rs - propagators::cumulative (line 34) ... FAILED [INFO] [stdout] test src/lib.rs - (line 188) ... FAILED [INFO] [stdout] test src/containers/keyed_vec.rs - containers::keyed_vec::KeyedVec::new_slot (line 63) ... FAILED [INFO] [stdout] test src/lib.rs - (line 255) ... 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 42) ... FAILED [INFO] [stdout] test src/lib.rs - (line 77) ... FAILED [INFO] [stdout] test src/basic_types/random.rs - basic_types::random::Random::generate_usize_in_range (line 48) ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [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::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/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_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/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/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/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::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/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/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 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/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_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/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_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/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_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/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/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] ---- 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/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/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/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/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 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/containers/keyed_vec.rs - containers::keyed_vec::KeyedVec::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/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/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 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 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/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; [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] [stderr] error: doctest failed, to rerun pass `--doc` [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] [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::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.91s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "54c05c051bbf1f8aaf4a67c6e7eb03335153bb412be6853f85c23cc21b0ce434", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "54c05c051bbf1f8aaf4a67c6e7eb03335153bb412be6853f85c23cc21b0ce434", kill_on_drop: false }` [INFO] [stdout] 54c05c051bbf1f8aaf4a67c6e7eb03335153bb412be6853f85c23cc21b0ce434