[INFO] cloning repository https://github.com/hlah/minpl
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hlah/minpl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhlah%2Fminpl", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhlah%2Fminpl'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 2589b8da8c661e33a94afde1751cd55a5fdd8c2a
[INFO] testing hlah/minpl against try#17092ad00ed8fe1e7f81a7e38238ff70779034b1 for pr-140985
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhlah%2Fminpl" "/workspace/builds/worker-3-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-3-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/hlah/minpl on toolchain 17092ad00ed8fe1e7f81a7e38238ff70779034b1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/hlah/minpl
[INFO] finished tweaking git repo https://github.com/hlah/minpl
[INFO] tweaked toml for git repo https://github.com/hlah/minpl written to /workspace/builds/worker-3-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/hlah/minpl 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" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c0d46ed57381a16cb9a0970c3217793c0c644cffc8a0e5752717d6d0141a8a8c
[INFO] running `Command { std: "docker" "start" "-a" "c0d46ed57381a16cb9a0970c3217793c0c644cffc8a0e5752717d6d0141a8a8c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c0d46ed57381a16cb9a0970c3217793c0c644cffc8a0e5752717d6d0141a8a8c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0d46ed57381a16cb9a0970c3217793c0c644cffc8a0e5752717d6d0141a8a8c", kill_on_drop: false }`
[INFO] [stdout] c0d46ed57381a16cb9a0970c3217793c0c644cffc8a0e5752717d6d0141a8a8c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] d9cc7a424b3fb767d4d79776412045af02e67c99918097ddcd8a55dde0bd2212
[INFO] running `Command { std: "docker" "start" "-a" "d9cc7a424b3fb767d4d79776412045af02e67c99918097ddcd8a55dde0bd2212", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.126
[INFO] [stderr]    Compiling proc-macro2 v1.0.40
[INFO] [stderr]    Compiling unicode-ident v1.0.2
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling io-lifetimes v0.7.2
[INFO] [stderr]    Compiling quote v1.0.20
[INFO] [stderr]    Compiling syn v1.0.98
[INFO] [stderr]    Compiling rustix v0.35.7
[INFO] [stderr]    Compiling ucd-trie v0.1.4
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling linux-raw-sys v0.0.46
[INFO] [stderr]    Compiling smallvec v1.9.0
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling maplit v1.0.2
[INFO] [stderr]    Compiling endian-type v0.1.2
[INFO] [stderr]    Compiling anyhow v1.0.58
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling unicode-width v0.1.9
[INFO] [stderr]    Compiling utf8parse v0.2.0
[INFO] [stderr]    Compiling unicode-segmentation v1.9.0
[INFO] [stderr]    Compiling pest v2.1.3
[INFO] [stderr]    Compiling nibble_vec v0.1.0
[INFO] [stderr]    Compiling radix_trie v0.2.1
[INFO] [stderr]    Compiling pest_meta v2.1.3
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling nix v0.24.2
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling fd-lock v3.0.6
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling rustyline v10.0.0
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]    Compiling minpl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: associated function `parse_term` is never used
[INFO] [stdout]   --> src/parser.rs:22:8
[INFO] [stdout]    |
[INFO] [stdout] 9  | impl MinplParser {
[INFO] [stdout]    | ---------------- associated function in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 22 |     fn parse_term(code: &str) -> Term {
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 8.43s
[INFO] running `Command { std: "docker" "inspect" "d9cc7a424b3fb767d4d79776412045af02e67c99918097ddcd8a55dde0bd2212", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d9cc7a424b3fb767d4d79776412045af02e67c99918097ddcd8a55dde0bd2212", kill_on_drop: false }`
[INFO] [stdout] d9cc7a424b3fb767d4d79776412045af02e67c99918097ddcd8a55dde0bd2212
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] cff81a9c006b9e103bdb38e0a612b371bafa0cfbd701db53ba39f0dacced9f9b
[INFO] running `Command { std: "docker" "start" "-a" "cff81a9c006b9e103bdb38e0a612b371bafa0cfbd701db53ba39f0dacced9f9b", kill_on_drop: false }`
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling syn v1.0.98
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling pest_generator v2.1.3
[INFO] [stderr]    Compiling test-case-macros v2.1.0
[INFO] [stderr]    Compiling pest_derive v2.1.0
[INFO] [stderr]    Compiling test-case v2.1.0
[INFO] [stderr]    Compiling minpl v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 8.07s
[INFO] running `Command { std: "docker" "inspect" "cff81a9c006b9e103bdb38e0a612b371bafa0cfbd701db53ba39f0dacced9f9b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cff81a9c006b9e103bdb38e0a612b371bafa0cfbd701db53ba39f0dacced9f9b", kill_on_drop: false }`
[INFO] [stdout] cff81a9c006b9e103bdb38e0a612b371bafa0cfbd701db53ba39f0dacced9f9b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-3-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:eea15d5475069c3ef791f10c2c6b5af2ee421ef2da1e680ecce1cba46243983b" "/opt/rustwide/cargo-home/bin/cargo" "+17092ad00ed8fe1e7f81a7e38238ff70779034b1" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8e78968508673b612869ba12fde206f03c13bbd1c1241ebfe0174b70856f7a39
[INFO] running `Command { std: "docker" "start" "-a" "8e78968508673b612869ba12fde206f03c13bbd1c1241ebfe0174b70856f7a39", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stdout] 
[INFO] [stdout] running 45 tests
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/minpl-40424628e2c1b752)
[INFO] [stdout] test assignments::test::get_normalized_scoped_variables ... ok
[INFO] [stdout] test parser::test::parse_query ... ok
[INFO] [stdout] test parser::test::parse_variable_with_long_name ... ok
[INFO] [stdout] test parser::test::parse_complex_term ... ok
[INFO] [stdout] test proof_search::test::do_not_proves_from_rule_with_multiple_goals_if_some_goal_are_false ... ok
[INFO] [stdout] test parser::test::parse_variable ... ok
[INFO] [stdout] test parser::test::parse_atom_with_long_same ... ok
[INFO] [stdout] test parser::test::parse_functor ... ok
[INFO] [stdout] test parser::test::parse_database ... ok
[INFO] [stdout] test assignments::test::get_normalized_scoped_variables_inside_functor ... ok
[INFO] [stdout] test proof_search::test::proves_fact_with_variable ... ok
[INFO] [stdout] test proof_search::test::proves_from_rule ... ok
[INFO] [stdout] test proof_search::test::proves_from_rule_with_multiple_goals ... ok
[INFO] [stdout] test parser::test::parse_atom ... ok
[INFO] [stdout] test proof_search::test::do_not_proves_if_does_not_follow_from_rules ... ok
[INFO] [stdout] test proof_search::test::proves_given_fact ... ok
[INFO] [stdout] test term::test::free_variable_of_atom_is_empty ... ok
[INFO] [stdout] test term::test::free_variable_of_complex_term ... ok
[INFO] [stdout] test term::test::substitute_fuctor_arguments ... ok
[INFO] [stdout] test term::test::free_variable_of_functor_is_free_variable_of_arguments ... ok
[INFO] [stdout] test term::test::substitute_variable ... ok
[INFO] [stdout] test term::test::free_variable_of_variable_is_variable ... ok
[INFO] [stdout] test unification::test::do_not_unify_complex_term ... ok
[INFO] [stdout] test unification::test::do_not_unify_different_atoms ... ok
[INFO] [stdout] test unification::test::do_not_unify_functors_with_different_arities ... ok
[INFO] [stdout] test proof_search::test::prove_goal_and_rule_with_same_variable_name ... ok
[INFO] [stdout] test term::test::do_not_substitute_atom ... ok
[INFO] [stdout] test term::test::do_not_substitute_different_variable ... ok
[INFO] [stdout] test unification::test::do_not_unify_functors_with_different_names ... ok
[INFO] [stdout] test proof_search::test::proves_goal_with_variable ... ok
[INFO] [stdout] test unification::test::do_not_unify_functors_with_variables_with_incompatible_assignments ... ok
[INFO] [stdout] test unification::test::do_not_unify_terms_with_transitional_conflicting_assignments ... ok
[INFO] [stdout] test term::test::build_term ... ok
[INFO] [stdout] test unification::test::unify_complex_term ... ok
[INFO] [stdout] test unification::test::unify_complex_term_with_variables_on_both_sides ... ok
[INFO] [stdout] test unification::test::unify_functors_with_variables ... ok
[INFO] [stdout] test unification::test::unify_variable_left_with_anything::term_functor_test_term_variable_z_term_atom_k_expects ... ok
[INFO] [stdout] test unification::test::unify_variable_right_with_anything::term_functor_test_term_variable_z_term_atom_k_expects ... ok
[INFO] [stdout] test unification::test::unify_variable_left_with_anything::term_atom_a_expects ... ok
[INFO] [stdout] test unification::test::unify_functors ... ok
[INFO] [stdout] test unification::test::unify_variable_left_with_anything::term_variable_y_expects ... ok
[INFO] [stdout] test unification::test::unify_variable_right_with_anything::term_atom_a_expects ... ok
[INFO] [stdout] test unification::test::unify_terms_with_transitional_non_conflicting_assignments ... ok
[INFO] [stdout] test unification::test::process_argumens_in_given_order ... ok
[INFO] [stdout] test unification::test::unify_equal_atoms ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 45 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8e78968508673b612869ba12fde206f03c13bbd1c1241ebfe0174b70856f7a39", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e78968508673b612869ba12fde206f03c13bbd1c1241ebfe0174b70856f7a39", kill_on_drop: false }`
[INFO] [stdout] 8e78968508673b612869ba12fde206f03c13bbd1c1241ebfe0174b70856f7a39