[INFO] fetching crate mini-kanren 0.4.0... [INFO] testing mini-kanren-0.4.0 against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] extracting crate mini-kanren 0.4.0 into /workspace/builds/worker-7-tc1/source [INFO] started tweaking crates.io crate mini-kanren 0.4.0 [INFO] finished tweaking crates.io crate mini-kanren 0.4.0 [INFO] tweaked toml for crates.io crate mini-kanren 0.4.0 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] validating manifest of crates.io crate mini-kanren 0.4.0 on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate mini-kanren 0.4.0 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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 82c18ece6013f428dd4e9b0684d2fe7809dfb6fefd1c0f4873916061ad30c668 [INFO] running `Command { std: "docker" "start" "-a" "82c18ece6013f428dd4e9b0684d2fe7809dfb6fefd1c0f4873916061ad30c668", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "82c18ece6013f428dd4e9b0684d2fe7809dfb6fefd1c0f4873916061ad30c668", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "82c18ece6013f428dd4e9b0684d2fe7809dfb6fefd1c0f4873916061ad30c668", kill_on_drop: false }` [INFO] [stdout] 82c18ece6013f428dd4e9b0684d2fe7809dfb6fefd1c0f4873916061ad30c668 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 35aae63d290f7e85397a1ba2829b43fb8123da2af5d93839b2e2a309598a1f93 [INFO] running `Command { std: "docker" "start" "-a" "35aae63d290f7e85397a1ba2829b43fb8123da2af5d93839b2e2a309598a1f93", kill_on_drop: false }` [INFO] [stderr] Compiling mini-kanren v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.85s [INFO] running `Command { std: "docker" "inspect" "35aae63d290f7e85397a1ba2829b43fb8123da2af5d93839b2e2a309598a1f93", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "35aae63d290f7e85397a1ba2829b43fb8123da2af5d93839b2e2a309598a1f93", kill_on_drop: false }` [INFO] [stdout] 35aae63d290f7e85397a1ba2829b43fb8123da2af5d93839b2e2a309598a1f93 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b86adf17faeea02f511a57f023d413f78b461a625cb2213f7ac2cdd9cdf818b1 [INFO] running `Command { std: "docker" "start" "-a" "b86adf17faeea02f511a57f023d413f78b461a625cb2213f7ac2cdd9cdf818b1", kill_on_drop: false }` [INFO] [stderr] Compiling mini-kanren v0.4.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 3.39s [INFO] running `Command { std: "docker" "inspect" "b86adf17faeea02f511a57f023d413f78b461a625cb2213f7ac2cdd9cdf818b1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b86adf17faeea02f511a57f023d413f78b461a625cb2213f7ac2cdd9cdf818b1", kill_on_drop: false }` [INFO] [stdout] b86adf17faeea02f511a57f023d413f78b461a625cb2213f7ac2cdd9cdf818b1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] b9119b39d613fed4772b3e48c656e43f3c7184d57485d380735edac1c6b08638 [INFO] running `Command { std: "docker" "start" "-a" "b9119b39d613fed4772b3e48c656e43f3c7184d57485d380735edac1c6b08638", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.01s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/mini_kanren-5cadd8daa597a3b7) [INFO] [stdout] [INFO] [stdout] running 82 tests [INFO] [stdout] test core::goal::tests::an_rcd_dyn_rawgoal_is_a_goal ... ok [INFO] [stdout] test core::logic_variable::unit_tests::can_copy_variables ... ok [INFO] [stdout] test core::goal::tests::an_arcd_dyn_rawgoal_is_a_goal ... ok [INFO] [stdout] test core::logic_variable::unit_tests::copied_variables_are_equal ... ok [INFO] [stdout] test core::logic_variable::unit_tests::two_variables_with_same_name_are_not_equal ... ok [INFO] [stdout] test core::pair::tests::pairs_print_two_values_in_parentheses_separated_by_dot ... ok [INFO] [stdout] test core::pair::tests::pairs_print_as_list_if_second_is_pair ... ok [INFO] [stdout] test core::substitution::tests::unify_different_values_fails ... ok [INFO] [stdout] test core::substitution::tests::it_works ... ok [INFO] [stdout] test core::pair::tests::pairs_print_only_first_value_in_parentheses_if_second_is_nil ... ok [INFO] [stdout] test core::substitution::tests::unify_same_var_does_not_modify_substitution ... ok [INFO] [stdout] test core::substitution::tests::unify_same_values_does_not_modify_substitution ... ok [INFO] [stdout] test core::substitution::tests::unify_two_vars_extends_substitution ... ok [INFO] [stdout] test core::substitution::tests::unify_value_with_var_extends_substitution ... ok [INFO] [stdout] test goals::list::tests::appending_arbitrary_list ... ok [INFO] [stdout] test goals::hashmap::tests::two_empty_hashmaps_are_unifiable ... ok [INFO] [stdout] test goals::list::tests::appending_to_a_list ... ok [INFO] [stdout] test goals::list::tests::appending_an_empty_list_gives_same_list ... ok [INFO] [stdout] test goals::list::tests::appendo_fails_when_third_argument_is_not_a_list ... ok [INFO] [stdout] test goals::list::tests::appending_to_an_empty_list_gives_appended_value ... ok [INFO] [stdout] test goals::list::tests::appendo_fails_when_first_argument_is_not_a_list ... ok [INFO] [stdout] test goals::list::tests::appendo_succeeds_when_inputs_match ... ok [INFO] [stdout] test goals::list::tests::appendo_fails_when_inputs_dont_match ... ok [INFO] [stdout] test goals::list::tests::listo_fails_for_non_list ... ok [INFO] [stdout] test goals::list::tests::lengtho_is_zero_for_the_empty_list ... ok [INFO] [stdout] test goals::list::tests::lengtho_is_one_for_list_with_one_element ... ok [INFO] [stdout] test goals::list::tests::lengtho_produces_lists_and_matching_lengths ... ok [INFO] [stdout] test goals::list::tests::listo_fails_for_pair_whose_second_element_is_no_list ... ok [INFO] [stdout] test goals::list::tests::listo_generates_all_possible_lists ... ok [INFO] [stdout] test goals::list::tests::listo_succeeds_for_empty_list ... ok [INFO] [stdout] test goals::list::tests::listo_succeeds_for_pair_whose_second_element_is_a_list ... ok [INFO] [stdout] test goals::list::tests::membero_does_succeed_if_value_first_in_list ... ok [INFO] [stdout] test goals::list::tests::membero_does_not_succeed_if_value_not_in_list ... ok [INFO] [stdout] test goals::list::tests::membero_succeeds_for_all_possible_lists ... ok [INFO] [stdout] test goals::list::tests::membero_does_succeed_if_value_in_list ... ok [INFO] [stdout] test goals::list::tests::pairo_binds_pair_to_variable ... ok [INFO] [stdout] test core::logic_variable::unit_tests::can_convert_str_to_var ... ok [INFO] [stdout] test goals::list::tests::membero_succeeds_for_all_possible_members ... ok [INFO] [stdout] test goals::list::tests::rembero_returns_empty_list_if_it_removes_the_only_item ... ok [INFO] [stdout] test goals::list::tests::rembero_fails_if_item_not_in_list ... ok [INFO] [stdout] test goals::numbers::tests::addo_computes_differences ... ok [INFO] [stdout] test goals::numbers::tests::addo_fails_for_wrong_addition ... ok [INFO] [stdout] test goals::numbers::tests::addo_fails_if_it_would_need_a_negative_number_as_first_argument ... ok [INFO] [stdout] test goals::numbers::tests::addo_computes_sum_of_two_values ... ok [INFO] [stdout] test goals::numbers::tests::addo_fails_if_it_would_need_a_negative_number_as_second_argument ... ok [INFO] [stdout] test goals::numbers::tests::addo_generates_all_number_pairs_that_sum_to_a_value ... ok [INFO] [stdout] test goals::numbers::tests::addo_obeys_additive_identity ... ok [INFO] [stdout] test goals::numbers::tests::addo_succeeds_for_all_zeros ... ok [INFO] [stdout] test goals::numbers::tests::addo_generates_constrained_pairs_of_numbers ... ok [INFO] [stdout] test goals::numbers::tests::addo_succeeds_for_correct_addition ... ok [INFO] [stdout] test goals::numbers::tests::inco_fails_for_equal_numbers ... ok [INFO] [stdout] test goals::numbers::tests::inco_fails_if_right_side_is_zero ... ok [INFO] [stdout] test core::pair::tests::pairs_print_alternate_omits_parentheses ... ok [INFO] [stdout] test goals::numbers::tests::inco_fails_for_too_large_increment ... ok [INFO] [stdout] test goals::list::tests::rembero_on_empty_list_always_fails ... ok [INFO] [stdout] test goals::numbers::tests::inco_succeeds_for_incremented_numbers ... ok [INFO] [stdout] test goals::numbers::tests::mulo_computes_product_of_two_values ... ok [INFO] [stdout] test goals::numbers::tests::mulo_fails_for_wrong_multiplication ... ok [INFO] [stdout] test goals::numbers::tests::mulo_fails_for_non_integer_quotients ... ok [INFO] [stdout] test goals::list::tests::rembero_generates_possible_removal_combinations ... ok [INFO] [stdout] test core::logic_variable::unit_tests::can_create_fresh_variables_with_name ... ok [INFO] [stdout] test goals::numbers::tests::mulo_generates_all_number_pairs_that_multiply_to_a_value ... ok [INFO] [stdout] test goals::numbers::tests::mulo_succeeds_for_correct_multiplication ... ok [INFO] [stdout] test goals::numbers::tests::numbero_fails_for_non_numeric_values ... ok [INFO] [stdout] test goals::numbers::tests::mulo_generates_constrained_pairs_of_numbers ... ok [INFO] [stdout] test goals::list::tests::rembero_lists_all_items_that_can_be_removed_from_list ... ok [INFO] [stdout] test goals::numbers::tests::numbero_generates_numbers ... ok [INFO] [stdout] test goals::numbers::tests::zero_fails_for_nonzero_numbers ... ok [INFO] [stdout] test macros::tests::each_successful_matching_line_contributes_a_value ... ok [INFO] [stdout] test macros::tests::matche_can_escape_outside_vars ... ok [INFO] [stdout] test macros::tests::matche_matches_values ... ok [INFO] [stdout] test macros::tests::matching_a_constant_binds_value ... ok [INFO] [stdout] test goals::numbers::tests::mulo_succeeds_for_trivial_cases ... ok [INFO] [stdout] test macros::tests::matching_anything_succeeds_always ... ok [INFO] [stdout] test macros::tests::matching_deconstructs_lists ... ok [INFO] [stdout] test macros::tests::matching_deconstructs_lists_and_binds_fresh_vars ... ok [INFO] [stdout] test macros::tests::matching_fails_if_any_further_goals_fail ... ok [INFO] [stdout] test tests::it_works ... ok [INFO] [stdout] test goals::numbers::tests::mulo_computes_quotients ... ok [INFO] [stdout] test goals::numbers::tests::zero_succeeds_for_zero_valued_number ... ok [INFO] [stdout] test goals::numbers::tests::numbero_succeeds_for_arbitrary_numbers ... ok [INFO] [stderr] Doc-tests mini_kanren [INFO] [stdout] test goals::numbers::tests::mulo_combinations ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 82 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "b9119b39d613fed4772b3e48c656e43f3c7184d57485d380735edac1c6b08638", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b9119b39d613fed4772b3e48c656e43f3c7184d57485d380735edac1c6b08638", kill_on_drop: false }` [INFO] [stdout] b9119b39d613fed4772b3e48c656e43f3c7184d57485d380735edac1c6b08638