[INFO] cloning repository https://github.com/tuzz/supersat [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tuzz/supersat" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzz%2Fsupersat", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzz%2Fsupersat'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] cf16153a5d25cd73de636b16138287fdea9299e0 [INFO] testing tuzz/supersat against try#b83b707f97d809763b7861afa7638871f3339a33 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzz%2Fsupersat" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/tuzz/supersat [INFO] finished tweaking git repo https://github.com/tuzz/supersat [INFO] tweaked toml for git repo https://github.com/tuzz/supersat written to /workspace/builds/worker-7-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/tuzz/supersat on toolchain b83b707f97d809763b7861afa7638871f3339a33 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/tuzz/supersat 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" "+b83b707f97d809763b7861afa7638871f3339a33" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e91ae63cc054d2e8df88a4b730d05c1255862adcff6f26b2a67a11e723b1748b [INFO] running `Command { std: "docker" "start" "-a" "e91ae63cc054d2e8df88a4b730d05c1255862adcff6f26b2a67a11e723b1748b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e91ae63cc054d2e8df88a4b730d05c1255862adcff6f26b2a67a11e723b1748b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e91ae63cc054d2e8df88a4b730d05c1255862adcff6f26b2a67a11e723b1748b", kill_on_drop: false }` [INFO] [stdout] e91ae63cc054d2e8df88a4b730d05c1255862adcff6f26b2a67a11e723b1748b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9469f1eef52b5e3b769e6fb7f0953e8fafbbaa9c88245634623bbd75dfff6532 [INFO] running `Command { std: "docker" "start" "-a" "9469f1eef52b5e3b769e6fb7f0953e8fafbbaa9c88245634623bbd75dfff6532", kill_on_drop: false }` [INFO] [stderr] Compiling either v1.5.0 [INFO] [stderr] Compiling bitvec v0.9.0 [INFO] [stderr] Compiling itertools v0.7.8 (https://github.com/tobz1000/rust-itertools?branch=permutations#d76bfc2a) [INFO] [stderr] Compiling supersat v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/snapshot/mod.rs:34:42 [INFO] [stdout] | [INFO] [stdout] 34 | let states = (0..=index).map(|i| (n - i)).product::(); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 34 - let states = (0..=index).map(|i| (n - i)).product::(); [INFO] [stdout] 34 + let states = (0..=index).map(|i| n - i).product::(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `negative` is never used [INFO] [stdout] --> src/literal/mod.rs:19:12 [INFO] [stdout] | [INFO] [stdout] 10 | impl Literal { [INFO] [stdout] | ------------ associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 19 | pub fn negative(variable: Variable) -> Self { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 2.68s [INFO] running `Command { std: "docker" "inspect" "9469f1eef52b5e3b769e6fb7f0953e8fafbbaa9c88245634623bbd75dfff6532", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9469f1eef52b5e3b769e6fb7f0953e8fafbbaa9c88245634623bbd75dfff6532", kill_on_drop: false }` [INFO] [stdout] 9469f1eef52b5e3b769e6fb7f0953e8fafbbaa9c88245634623bbd75dfff6532 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f26bda5b9492728bd41916bb42749e416ac0584058e43ce9f3c2cf89092b3f94 [INFO] running `Command { std: "docker" "start" "-a" "f26bda5b9492728bd41916bb42749e416ac0584058e43ce9f3c2cf89092b3f94", kill_on_drop: false }` [INFO] [stderr] Compiling supersat v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unnecessary parentheses around closure body [INFO] [stdout] --> src/snapshot/mod.rs:34:42 [INFO] [stdout] | [INFO] [stdout] 34 | let states = (0..=index).map(|i| (n - i)).product::(); [INFO] [stdout] | ^ ^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] help: remove these parentheses [INFO] [stdout] | [INFO] [stdout] 34 - let states = (0..=index).map(|i| (n - i)).product::(); [INFO] [stdout] 34 + let states = (0..=index).map(|i| n - i).product::(); [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.52s [INFO] running `Command { std: "docker" "inspect" "f26bda5b9492728bd41916bb42749e416ac0584058e43ce9f3c2cf89092b3f94", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f26bda5b9492728bd41916bb42749e416ac0584058e43ce9f3c2cf89092b3f94", kill_on_drop: false }` [INFO] [stdout] f26bda5b9492728bd41916bb42749e416ac0584058e43ce9f3c2cf89092b3f94 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+b83b707f97d809763b7861afa7638871f3339a33" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] bcb516ee847b6317ab28df6c04651362afd65d28952776ecb39c51c9386c455d [INFO] running `Command { std: "docker" "start" "-a" "bcb516ee847b6317ab28df6c04651362afd65d28952776ecb39c51c9386c455d", kill_on_drop: false }` [INFO] [stderr] warning: unnecessary parentheses around closure body [INFO] [stderr] --> src/snapshot/mod.rs:34:42 [INFO] [stderr] | [INFO] [stderr] 34 | let states = (0..=index).map(|i| (n - i)).product::(); [INFO] [stderr] | ^ ^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] help: remove these parentheses [INFO] [stderr] | [INFO] [stderr] 34 - let states = (0..=index).map(|i| (n - i)).product::(); [INFO] [stderr] 34 + let states = (0..=index).map(|i| n - i).product::(); [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: `supersat` (bin "supersat" test) generated 1 warning (run `cargo fix --bin "supersat" --tests` to apply 1 suggestion) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s [INFO] [stderr] Running unittests src/main.rs (/opt/rustwide/target/debug/deps/supersat-641d8d769226a4d1) [INFO] [stdout] [INFO] [stdout] running 77 tests [INFO] [stdout] test binary::test::from_decimal::it_uses_the_variables_to_build_the_struct_according_to_the_decimals_binary_representation ... ok [INFO] [stdout] test bounds::test::allowed_waste::it_returns_how_many_wasted_symbols_can_reach_the_goal_for_each_index ... ok [INFO] [stdout] test bounds::test::allowed_waste::it_returns_zero_if_max_permutations_isnt_known ... ok [INFO] [stdout] test bounds::test::goal_index::it_returns_the_index_of_the_goal ... ok [INFO] [stdout] test bounds::test::goal_wasted_symbols::it_returns_the_number_of_wasted_symbols_for_the_goal ... ok [INFO] [stdout] test bounds::test::goal_permutations::it_returns_the_number_of_permutations_for_the_goal ... ok [INFO] [stdout] test bounds::test::max_perms_added::it_returns_the_maximum_permutations_for_the_number_of_wasted_symbols ... ok [INFO] [stdout] test bounds::test::max_perms_added::it_returns_the_minimum_of_max_permutations_and_the_remainder ... ok [INFO] [stdout] test bounds::test::max_perms_added::it_returns_the_remainder_of_n_factorial_minus_the_current_permutations ... ok [INFO] [stdout] test bounds::test::max_perms_at_last_waste::it_returns_the_maximum_number_of_permutations_at_the_last_wasted_symbol ... ok [INFO] [stdout] test bounds::test::minimum_wasted_symbols::it ... ok [INFO] [stdout] test bounds::test::wasted_symbol_ranges::it_returns_the_allowed_waste_for_each_index_starting_from_n_minus_one ... ok [INFO] [stdout] test clause::test::display::it_formats_the_clause_as_dimacs ... ok [INFO] [stdout] test bounds::test::number_of_permutations::it_returns_the_number_of_permutations_for_the_given_index_and_wasted_symbols ... ok [INFO] [stdout] test bounds::test::new::it_builds_the_struct ... ok [INFO] [stdout] test clause::test::new::it_builds_a_clause ... ok [INFO] [stdout] test bounds::test::max_perms_at_last_waste::it_returns_zero_for_no_wasted_symbols ... ok [INFO] [stdout] test counter::test::new::it_builds_a_counter_with_a_register_for_each_time_except_the_first_n_minus_one ... ok [INFO] [stdout] test counter::test::register::it_returns_the_register_by_index ... ok [INFO] [stdout] test formula::test::add_clause::it_adds_an_existing_clause_to_the_formula ... ok [INFO] [stdout] test formula::test::add_clause::it_can_add_clauses_containing_variables_from_the_formula ... ok [INFO] [stdout] test formula::test::add_clause::it_de_duplicates ... ok [INFO] [stdout] test formula::test::display::it_formats_the_formula_as_dimacs ... ok [INFO] [stdout] test formula::test::new::it_builds_a_formula ... ok [INFO] [stdout] test formula::test::new_variable::it_adds_a_new_variable_to_the_formula ... ok [INFO] [stdout] test formula::test::new_variable::it_auto_increments_the_variables_number ... ok [INFO] [stdout] test goal::test::invalid_ranges::it_returns_an_invalid_range_per_rank ... ok [INFO] [stdout] test literal::test::negate::it_builds_a_new_literal_that_is_negated ... ok [INFO] [stdout] test goal::test::subgoal::it_returns_a_reference_to_the_subgoal_for_a_permutation ... ok [INFO] [stdout] test goal::test::new::it_builds_a_goal_with_a_rank_for_each_permutation ... ok [INFO] [stdout] test literal::test::display::it_formats_the_literal_as_dimacs ... ok [INFO] [stdout] test literal::test::new::it_builds_a_literal ... ok [INFO] [stdout] test literal::test::positive::it_builds_a_positive_literal ... ok [INFO] [stdout] test logic::test::and::it_combines_the_literals ... ok [INFO] [stdout] test logic::test::alias::it_creates_a_literal_with_an_if_and_only_if_to_the_literals ... ok [INFO] [stdout] test logic::test::contradiction::it_adds_a_single_clause_with_the_negated_literals ... ok [INFO] [stdout] test logic::test::implies::it_adds_clauses_that_the_condition_implies_the_consequent ... ok [INFO] [stdout] test logic::test::negate::it_negates_the_literals ... ok [INFO] [stdout] test logic::test::new::it_builds_the_struct_with_a_mutable_reference_to_the_formula ... ok [INFO] [stdout] test logic::test::tautology::it_adds_a_clause_for_each_literal ... ok [INFO] [stdout] test machine::test::invalid_ranges::it_returns_the_invalid_ranges_from_each_snapshot ... ok [INFO] [stdout] test machine::test::new::it_builds_a_machine_with_a_snapshot_for_each_symbol_in_the_string ... ok [INFO] [stdout] test bounds::test::max_perms_added::it_returns_n_factorial_if_the_max_permutation_isnt_known ... ok [INFO] [stdout] test machine::test::new::it_builds_a_machine_with_the_correct_number_of_variables ... ok [INFO] [stdout] test literal::test::negative::it_builds_a_negative_literal ... ok [INFO] [stdout] test problem::test::all_binary_representations_map_to_states::it_adds_contradiction_clauses_for_invalid_binary_representations ... ok [INFO] [stdout] test problem::test::each_permutation_appears_at_most_once::it_adds_clauses_forcing_the_goal_state_to_point_to_a_single_position_in_the_string ... ok [INFO] [stdout] test problem::test::the_machine_changes_state_when_it_reads_input::it_adds_clauses_that_transitions_the_machines_states_over_time ... ok [INFO] [stdout] test problem::test::the_machine_starts_in_the_dead_states::it_adds_clauses_that_set_the_machine_to_the_dead_states_at_time_zero ... ok [INFO] [stdout] test problem::test::the_number_of_wasted_symbols_is_within_bounds::it_limits_the_number_of_wasted_symbols_in_the_string ... ok [INFO] [stdout] test problem::test::new::it_builds_the_struct_with_references_to_the_machine_and_logic ... ok [INFO] [stdout] test problem::test::the_string_starts_with_ascending_numbers::it_adds_tautological_clauses_for_the_start_states ... ok [INFO] [stdout] test rank::test::new::it_builds_all_the_states_from_the_same_set_of_shared_variables ... ok [INFO] [stdout] test rank::test::state::it_returns_a_reference_to_the_named_state ... ok [INFO] [stdout] test register::test::literal_for_count::it_returns_the_literal_for_the_given_count ... ok [INFO] [stdout] test register::test::literal_for_count::it_offsets_the_index_to_account_for_no_zero_waste_literal ... ok [INFO] [stdout] test register::test::new::it_does_not_build_a_literal_for_zero_waste ... ok [INFO] [stdout] test snapshot::test::invalid_ranges::it_returns_an_invalid_range_per_rank ... ok [INFO] [stdout] test snapshot::test::number_of_states::it_returns_an_increasing_number_of_states_based_on_the_index ... ok [INFO] [stdout] test snapshot::test::state::it_returns_a_reference_to_the_named_state ... ok [INFO] [stdout] test state::test::index::it_returns_indexes_based_on_the_lexical_ordering_of_state_names ... ok [INFO] [stdout] test rank::test::new::it_builds_enough_variables_to_represent_all_the_state_indexes ... ok [INFO] [stdout] test state::test::index::it_starts_the_index_from_one_for_longer_names_to_allow_for_dead_states ... ok [INFO] [stdout] test state::test::index::it_works_for_some_n_equals_4_examples ... ok [INFO] [stdout] test state::test::index::it_works_for_some_n_equals_5_examples ... ok [INFO] [stdout] test state::test::literals::it_returns_the_literals_of_the_binary_for_the_state ... ok [INFO] [stdout] test machine::test::at_time::it_returns_a_reference_to_the_snapshot_for_a_point_in_time ... ok [INFO] [stdout] test utility::test::factorial::it_returns_the_factorial_of_n ... ok [INFO] [stdout] test register::test::literal_for_count::it_returns_none_if_there_is_no_literal_for_the_given_count ... ok [INFO] [stdout] test register::test::new::it_builds_a_register_with_literals_each_count_in_the_range ... ok [INFO] [stdout] test snapshot::test::new::it_builds_a_snapshot_with_n_ranks ... ok [INFO] [stdout] test state::test::index::it_returns_zero_for_dead_states ... ok [INFO] [stdout] test rank::test::invalid_range::it_returns_the_range_of_indexes_that_dont_map_to_states ... ok [INFO] [stdout] test state::test::new::it_builds_a_state_with_binary_based_on_the_index ... ok [INFO] [stdout] test variable::test::display::it_formats_the_variables_number ... ok [INFO] [stdout] test variable::test::new::it_builds_a_variable ... ok [INFO] [stdout] test binary::test::from_decimal::it_panics_if_there_arent_enough_variables_to_represent_the_decimal - should panic ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 77 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.09s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "bcb516ee847b6317ab28df6c04651362afd65d28952776ecb39c51c9386c455d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bcb516ee847b6317ab28df6c04651362afd65d28952776ecb39c51c9386c455d", kill_on_drop: false }` [INFO] [stdout] bcb516ee847b6317ab28df6c04651362afd65d28952776ecb39c51c9386c455d