[INFO] updating cached repository https://github.com/tuzz/supersat
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] cf16153a5d25cd73de636b16138287fdea9299e0
[INFO] testing tuzz/supersat against 1.44.0 for beta-1.45-1
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftuzz%2Fsupersat" "/workspace/builds/worker-11/source"`
[INFO] [stderr] Cloning into '/workspace/builds/worker-11/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/tuzz/supersat on toolchain 1.44.0
[INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "read-manifest" "--manifest-path" "Cargo.toml"`
[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-11/source/Cargo.toml
[INFO] crate git repo https://github.com/tuzz/supersat already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+1.44.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "build" "--frozen"`
[INFO] [stdout] 0113bdb3767778103f2b17ad105175d8001b1d4a35adaec1e0d7b9121e92ef23
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `"docker" "start" "-a" "0113bdb3767778103f2b17ad105175d8001b1d4a35adaec1e0d7b9121e92ef23"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[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] [stderr] warning: method is never used: `negative`
[INFO] [stderr]   --> src/literal/mod.rs:19:5
[INFO] [stderr]    |
[INFO] [stderr] 19 |     pub fn negative(variable: Variable) -> Self {
[INFO] [stderr]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 6.17s
[INFO] running `"docker" "inspect" "0113bdb3767778103f2b17ad105175d8001b1d4a35adaec1e0d7b9121e92ef23"`
[INFO] running `"docker" "rm" "-f" "0113bdb3767778103f2b17ad105175d8001b1d4a35adaec1e0d7b9121e92ef23"`
[INFO] [stdout] 0113bdb3767778103f2b17ad105175d8001b1d4a35adaec1e0d7b9121e92ef23
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen" "--no-run"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 58ec8236335e8b05040d240047b76eb6a3356d763b308a9658c01ffe8f1fc61e
[INFO] running `"docker" "start" "-a" "58ec8236335e8b05040d240047b76eb6a3356d763b308a9658c01ffe8f1fc61e"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]    Compiling supersat v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 5.22s
[INFO] running `"docker" "inspect" "58ec8236335e8b05040d240047b76eb6a3356d763b308a9658c01ffe8f1fc61e"`
[INFO] running `"docker" "rm" "-f" "58ec8236335e8b05040d240047b76eb6a3356d763b308a9658c01ffe8f1fc61e"`
[INFO] [stdout] 58ec8236335e8b05040d240047b76eb6a3356d763b308a9658c01ffe8f1fc61e
[INFO] running `"docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-11/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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+1.44.0" "test" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 30cf304e096ea07aba45b76007b25aa8375f37ebd03288ba3e115af1ade43a5c
[INFO] running `"docker" "start" "-a" "30cf304e096ea07aba45b76007b25aa8375f37ebd03288ba3e115af1ade43a5c"`
[INFO] [stderr] sudo: setrlimit(RLIMIT_CORE): Operation not permitted
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/supersat-ca71d991d49ba003
[INFO] [stdout] 
[INFO] [stdout] running 77 tests
[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::max_perms_added::it_returns_the_maximum_permutations_for_the_number_of_wasted_symbols ... ok
[INFO] [stdout] test bounds::test::minimum_wasted_symbols::it ... ok
[INFO] [stdout] test bounds::test::new::it_builds_the_struct ... 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::max_perms_added::it_returns_n_factorial_if_the_max_permutation_isnt_known ... ok
[INFO] [stdout] test bounds::test::goal_wasted_symbols::it_returns_the_number_of_wasted_symbols_for_the_goal ... 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 clause::test::new::it_builds_a_clause ... ok
[INFO] [stdout] test formula::test::add_clause::it_can_add_clauses_containing_variables_from_the_formula ... ok
[INFO] [stdout] test bounds::test::goal_permutations::it_returns_the_number_of_permutations_for_the_goal ... ok
[INFO] [stdout] test formula::test::add_clause::it_de_duplicates ... ok
[INFO] [stdout] test clause::test::display::it_formats_the_clause_as_dimacs ... ok
[INFO] [stdout] test formula::test::display::it_formats_the_formula_as_dimacs ... 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 bounds::test::max_perms_at_last_waste::it_returns_zero_for_no_wasted_symbols ... ok
[INFO] [stdout] test bounds::test::goal_index::it_returns_the_index_of_the_goal ... 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 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::subgoal::it_returns_a_reference_to_the_subgoal_for_a_permutation ... ok
[INFO] [stdout] test literal::test::positive::it_builds_a_positive_literal ... ok
[INFO] [stdout] test goal::test::invalid_ranges::it_returns_an_invalid_range_per_rank ... ok
[INFO] [stdout] test logic::test::and::it_combines_the_literals ... ok
[INFO] [stdout] test logic::test::contradiction::it_adds_a_single_clause_with_the_negated_literals ... 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::negate::it_builds_a_new_literal_that_is_negated ... ok
[INFO] [stdout] test literal::test::negative::it_builds_a_negative_literal ... ok
[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_zero_if_max_permutations_isnt_known ... ok
[INFO] [stdout] test logic::test::negate::it_negates_the_literals ... ok
[INFO] [stdout] test logic::test::implies::it_adds_clauses_that_the_condition_implies_the_consequent ... 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::new::it_builds_the_struct_with_a_mutable_reference_to_the_formula ... 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 machine::test::at_time::it_returns_a_reference_to_the_snapshot_for_a_point_in_time ... ok
[INFO] [stdout] test logic::test::tautology::it_adds_a_clause_for_each_literal ... ok
[INFO] [stdout] test rank::test::invalid_range::it_returns_the_range_of_indexes_that_dont_map_to_states ... 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::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_string_starts_with_ascending_numbers::it_adds_tautological_clauses_for_the_start_states ... ok
[INFO] [stdout] test literal::test::new::it_builds_a_literal ... 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 machine::test::new::it_builds_a_machine_with_the_correct_number_of_variables ... 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_machine_changes_state_when_it_reads_input::it_adds_clauses_that_transitions_the_machines_states_over_time ... 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 machine::test::new::it_builds_a_machine_with_a_snapshot_for_each_symbol_in_the_string ... ok
[INFO] [stdout] test machine::test::invalid_ranges::it_returns_the_invalid_ranges_from_each_snapshot ... ok
[INFO] [stdout] test state::test::index::it_works_for_some_n_equals_4_examples ... ok
[INFO] [stdout] test state::test::index::it_returns_zero_for_dead_states ... ok
[INFO] [stdout] test register::test::new::it_does_not_build_a_literal_for_zero_waste ... ok
[INFO] [stdout] test register::test::new::it_builds_a_register_with_literals_each_count_in_the_range ... 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 state::test::literals::it_returns_the_literals_of_the_binary_for_the_state ... ok
[INFO] [stdout] test snapshot::test::new::it_builds_a_snapshot_with_n_ranks ... ok
[INFO] [stdout] test register::test::literal_for_count::it_returns_the_literal_for_the_given_count ... ok
[INFO] [stdout] test state::test::index::it_returns_indexes_based_on_the_lexical_ordering_of_state_names ... ok
[INFO] [stdout] test register::test::literal_for_count::it_offsets_the_index_to_account_for_no_zero_waste_literal ... ok
[INFO] [stdout] test snapshot::test::state::it_returns_a_reference_to_the_named_state ... 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 state::test::index::it_starts_the_index_from_one_for_longer_names_to_allow_for_dead_states ... ok
[INFO] [stdout] test variable::test::new::it_builds_a_variable ... ok
[INFO] [stdout] test state::test::new::it_builds_a_state_with_binary_based_on_the_index ... ok
[INFO] [stdout] test utility::test::factorial::it_returns_the_factorial_of_n ... ok
[INFO] [stdout] test variable::test::display::it_formats_the_variables_number ... ok
[INFO] [stdout] test state::test::index::it_works_for_some_n_equals_5_examples ... ok
[INFO] [stdout] test rank::test::new::it_builds_enough_variables_to_represent_all_the_state_indexes ... ok
[INFO] [stdout] test binary::test::from_decimal::it_panics_if_there_arent_enough_variables_to_represent_the_decimal ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 77 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `"docker" "inspect" "30cf304e096ea07aba45b76007b25aa8375f37ebd03288ba3e115af1ade43a5c"`
[INFO] running `"docker" "rm" "-f" "30cf304e096ea07aba45b76007b25aa8375f37ebd03288ba3e115af1ade43a5c"`
[INFO] [stdout] 30cf304e096ea07aba45b76007b25aa8375f37ebd03288ba3e115af1ade43a5c