[INFO] fetching crate tnt 1.0.1...
[INFO] testing tnt-1.0.1 against master#432e145bd5a974c5b6f4dd9b352891bd7502b69d for pr-87041
[INFO] extracting crate tnt 1.0.1 into /workspace/builds/worker-4/source
[INFO] validating manifest of crates.io crate tnt 1.0.1 on toolchain 432e145bd5a974c5b6f4dd9b352891bd7502b69d
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking crates.io crate tnt 1.0.1
[INFO] finished tweaking crates.io crate tnt 1.0.1
[INFO] tweaked toml for crates.io crate tnt 1.0.1 written to /workspace/builds/worker-4/source/Cargo.toml
[INFO] crate crates.io crate tnt 1.0.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c7e61f988949c310d3f79c8f2edbe81d01c54e35ec1164dbe3026145ab4d72d6
[INFO] running `Command { std: "docker" "start" "-a" "c7e61f988949c310d3f79c8f2edbe81d01c54e35ec1164dbe3026145ab4d72d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c7e61f988949c310d3f79c8f2edbe81d01c54e35ec1164dbe3026145ab4d72d6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c7e61f988949c310d3f79c8f2edbe81d01c54e35ec1164dbe3026145ab4d72d6", kill_on_drop: false }`
[INFO] [stdout] c7e61f988949c310d3f79c8f2edbe81d01c54e35ec1164dbe3026145ab4d72d6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] abd100f4bda22b5fc0dea0d1db75fc1d819d132c43260ba7f1bcc46b2b69453a
[INFO] running `Command { std: "docker" "start" "-a" "abd100f4bda22b5fc0dea0d1db75fc1d819d132c43260ba7f1bcc46b2b69453a", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.93
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling regex-syntax v0.6.22
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling getrandom v0.2.2
[INFO] [stderr]    Compiling rand_core v0.6.2
[INFO] [stderr]    Compiling rand_chacha v0.3.0
[INFO] [stderr]    Compiling rand v0.8.3
[INFO] [stderr]    Compiling num-complex v0.4.0
[INFO] [stderr]    Compiling regex v1.4.3
[INFO] [stderr]    Compiling fancy-regex v0.5.0
[INFO] [stderr]    Compiling num v0.4.0
[INFO] [stderr]    Compiling tnt v1.0.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 13.13s
[INFO] running `Command { std: "docker" "inspect" "abd100f4bda22b5fc0dea0d1db75fc1d819d132c43260ba7f1bcc46b2b69453a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "abd100f4bda22b5fc0dea0d1db75fc1d819d132c43260ba7f1bcc46b2b69453a", kill_on_drop: false }`
[INFO] [stdout] abd100f4bda22b5fc0dea0d1db75fc1d819d132c43260ba7f1bcc46b2b69453a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ac66f2258bcad711d9e415a9c1be46cdfc96baaba628a9b679e24889aefe626e
[INFO] running `Command { std: "docker" "start" "-a" "ac66f2258bcad711d9e415a9c1be46cdfc96baaba628a9b679e24889aefe626e", kill_on_drop: false }`
[INFO] [stderr]    Compiling tnt v1.0.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 4.55s
[INFO] running `Command { std: "docker" "inspect" "ac66f2258bcad711d9e415a9c1be46cdfc96baaba628a9b679e24889aefe626e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ac66f2258bcad711d9e415a9c1be46cdfc96baaba628a9b679e24889aefe626e", kill_on_drop: false }`
[INFO] [stdout] ac66f2258bcad711d9e415a9c1be46cdfc96baaba628a9b679e24889aefe626e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+432e145bd5a974c5b6f4dd9b352891bd7502b69d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 94e0b0b833f5cebd68cc652913e24a35da0b090e404197f9309e4d5f3276aa95
[INFO] running `Command { std: "docker" "start" "-a" "94e0b0b833f5cebd68cc652913e24a35da0b090e404197f9309e4d5f3276aa95", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/tnt-08bb111348c9de03)
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stdout] test operations::construction::tests::test_eq ... ok
[INFO] [stdout] test operations::construction::tests::test_and ... ok
[INFO] [stdout] test operations::construction::tests::test_or ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ae_err ... ok
[INFO] [stdout] test properties::test::test_is_num ... ok
[INFO] [stdout] test properties::test::test_is_simple_formula ... ok
[INFO] [stdout] test properties::test::test_is_var ... ok
[INFO] [stdout] test operations::production::test::test_symmetry_err ... ok
[INFO] [stdout] test operations::production::test::test_transitivity ... ok
[INFO] [stdout] test operations::production::test::test_successor_err ... ok
[INFO] [stdout] test operations::construction::tests::test_not ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea_err ... ok
[INFO] [stdout] test properties::test::test_is_equation ... ok
[INFO] [stdout] test operations::production::test::test_transitivity_err_1_left ... ok
[INFO] [stdout] test operations::production::test::test_symmetry ... ok
[INFO] [stdout] test operations::production::test::test_predecessor ... ok
[INFO] [stdout] test string_manip::test::test_get_bound_vars ... ok
[INFO] [stdout] test random::test::test_random_number ... ok
[INFO] [stdout] test random::test::test_random_expression ... ok
[INFO] [stdout] test operations::production::test::test_predecessor_err_1 ... ok
[INFO] [stdout] test operations::production::test::test_predecessor_err_2 ... ok
[INFO] [stdout] test operations::production::test::test_generalization_err ... ok
[INFO] [stdout] test operations::production::test::test_specification_err2 ... ok
[INFO] [stdout] test random::test::test_random_variable ... ok
[INFO] [stdout] test operations::construction::tests::test_exists ... ok
[INFO] [stdout] test operations::production::test::test_specification ... ok
[INFO] [stdout] test operations::production::test::test_induction ... ok
[INFO] [stdout] test formula::test::test_specify_var ... ok
[INFO] [stdout] test operations::production::test::test_successor ... ok
[INFO] [stdout] test properties::test::test_is_complex_formula ... ok
[INFO] [stdout] test operations::production::test::test_transitivity_err_2 ... ok
[INFO] [stdout] test operations::production::test::test_transitivity_err_1_right ... ok
[INFO] [stdout] test terms::test::test_variable ... ok
[INFO] [stdout] test translate::test::test_arithmetize ... ok
[INFO] [stdout] test string_manip::test::test_replace_all_re ... ok
[INFO] [stdout] test string_manip::test::test_split_arithmetic ... ok
[INFO] [stdout] test string_manip::test::test_strip_quants ... ok
[INFO] [stdout] test terms::test::test_number ... ok
[INFO] [stdout] test properties::test::test_is_formula ... ok
[INFO] [stdout] test string_manip::test::test_strip_succ_all ... ok
[INFO] [stdout] test string_manip::test::test_split_logical ... ok
[INFO] [stdout] test string_manip::test::test_left_implies ... ok
[INFO] [stdout] test translate::test::test_to_austere ... ok
[INFO] [stdout] test string_manip::test::test_get_vars ... ok
[INFO] [stdout] test operations::construction::tests::test_forall ... ok
[INFO] [stdout] test operations::construction::tests::test_implies ... ok
[INFO] [stdout] test operations::production::test::test_generalization ... ok
[INFO] [stdout] test formula::test::test_replace_var ... ok
[INFO] [stdout] test terms::test::test_expression ... ok
[INFO] [stdout] test operations::production::test::test_specification_err1 ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ae ... ok
[INFO] [stdout] test translate::test::test_to_english ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 53 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.17s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests tnt
[INFO] [stdout] 
[INFO] [stdout] running 17 tests
[INFO] [stdout] test src/operations/production.rs - operations::production::existence (line 56) ... FAILED
[INFO] [stderr] error: test failed, to rerun pass '--doc'
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `rustdoc --edition=2018 --crate-type lib --crate-name tnt --test /opt/rustwide/workdir/src/lib.rs -L dependency=/opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern fancy_regex=/opt/rustwide/target/debug/deps/libfancy_regex-ded86986230c32a8.rlib --extern lazy_static=/opt/rustwide/target/debug/deps/liblazy_static-f67718dd40129317.rlib --extern num=/opt/rustwide/target/debug/deps/libnum-53e815e433e271fe.rlib --extern rand=/opt/rustwide/target/debug/deps/librand-f0616f23489fda50.rlib --extern tnt=/opt/rustwide/target/debug/deps/libtnt-662d8d53aa25409c.rlib -C embed-bitcode=no --error-format human` (signal: 9, SIGKILL: kill)
[INFO] running `Command { std: "docker" "inspect" "94e0b0b833f5cebd68cc652913e24a35da0b090e404197f9309e4d5f3276aa95", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "94e0b0b833f5cebd68cc652913e24a35da0b090e404197f9309e4d5f3276aa95", kill_on_drop: false }`
[INFO] [stdout] 94e0b0b833f5cebd68cc652913e24a35da0b090e404197f9309e4d5f3276aa95