[INFO] fetching crate tnt 1.0.1... [INFO] testing tnt-1.0.1 against beta-2022-02-22 for beta-1.60-1 [INFO] extracting crate tnt 1.0.1 into /workspace/builds/worker-10/source [INFO] validating manifest of crates.io crate tnt 1.0.1 on toolchain beta-2022-02-22 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-02-22" "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-10/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" "+beta-2022-02-22" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded fancy-regex v0.5.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 5c3dc8a1d5f9ebdfd129576d56c24de79ecf80eb9ef06d236dc1875b2ef11e95 [INFO] running `Command { std: "docker" "start" "-a" "5c3dc8a1d5f9ebdfd129576d56c24de79ecf80eb9ef06d236dc1875b2ef11e95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "5c3dc8a1d5f9ebdfd129576d56c24de79ecf80eb9ef06d236dc1875b2ef11e95", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "5c3dc8a1d5f9ebdfd129576d56c24de79ecf80eb9ef06d236dc1875b2ef11e95", kill_on_drop: false }` [INFO] [stdout] 5c3dc8a1d5f9ebdfd129576d56c24de79ecf80eb9ef06d236dc1875b2ef11e95 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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=warn" "-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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6d9ac31901fd5fbd9ef2fce87bea2275e6b8159db8bcbf190904da4ab1076183 [INFO] running `Command { std: "docker" "start" "-a" "6d9ac31901fd5fbd9ef2fce87bea2275e6b8159db8bcbf190904da4ab1076183", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling libc v0.2.93 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling getrandom v0.2.2 [INFO] [stderr] Compiling once_cell v1.7.2 [INFO] [stderr] Compiling bit-vec v0.6.3 [INFO] [stderr] Compiling regex-syntax v0.6.22 [INFO] [stderr] Compiling ppv-lite86 v0.2.10 [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 bit-set v0.5.2 [INFO] [stderr] Compiling thread_local v1.1.3 [INFO] [stderr] Compiling aho-corasick v0.7.15 [INFO] [stderr] Compiling rand_core v0.6.2 [INFO] [stderr] Compiling regex v1.4.3 [INFO] [stderr] Compiling rand_chacha v0.3.0 [INFO] [stderr] Compiling num-complex v0.4.0 [INFO] [stderr] Compiling rand v0.8.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] [stdout] warning: field is never read: `message` [INFO] [stdout] --> src/logic_errors.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | message: String [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] --> src/logic_errors.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(Debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 9.42s [INFO] running `Command { std: "docker" "inspect" "6d9ac31901fd5fbd9ef2fce87bea2275e6b8159db8bcbf190904da4ab1076183", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6d9ac31901fd5fbd9ef2fce87bea2275e6b8159db8bcbf190904da4ab1076183", kill_on_drop: false }` [INFO] [stdout] 6d9ac31901fd5fbd9ef2fce87bea2275e6b8159db8bcbf190904da4ab1076183 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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=warn" "-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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] bfe2ddbd918a8f6bdf5e7f4070dfb71115edc0e9fcf5caff6ad081623ae5c75d [INFO] running `Command { std: "docker" "start" "-a" "bfe2ddbd918a8f6bdf5e7f4070dfb71115edc0e9fcf5caff6ad081623ae5c75d", kill_on_drop: false }` [INFO] [stderr] Compiling tnt v1.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: field is never read: `message` [INFO] [stdout] --> src/logic_errors.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | message: String [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] --> src/logic_errors.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(Debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `message` [INFO] [stdout] --> src/logic_errors.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | message: String [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] --> src/logic_errors.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(Debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 3.69s [INFO] running `Command { std: "docker" "inspect" "bfe2ddbd918a8f6bdf5e7f4070dfb71115edc0e9fcf5caff6ad081623ae5c75d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bfe2ddbd918a8f6bdf5e7f4070dfb71115edc0e9fcf5caff6ad081623ae5c75d", kill_on_drop: false }` [INFO] [stdout] bfe2ddbd918a8f6bdf5e7f4070dfb71115edc0e9fcf5caff6ad081623ae5c75d [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-10/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=warn" "-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:0cd99ca24d8e8c98e67c542213511d985b8778b5bdcbb160e038429496686047" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-02-22" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 2b06e6de5ec7ca2a6c83d1887812c21759bc58c879661cffe4648eb9e26325ab [INFO] running `Command { std: "docker" "start" "-a" "2b06e6de5ec7ca2a6c83d1887812c21759bc58c879661cffe4648eb9e26325ab", kill_on_drop: false }` [INFO] [stderr] warning: field is never read: `message` [INFO] [stderr] --> src/logic_errors.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | message: String [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] --> src/logic_errors.rs:3:10 [INFO] [stderr] | [INFO] [stderr] 3 | #[derive(Debug)] [INFO] [stderr] | ^^^^^ [INFO] [stderr] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: `tnt` (lib) generated 1 warning [INFO] [stderr] warning: `tnt` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/tnt-27ba0903df31f145) [INFO] [stdout] [INFO] [stdout] running 53 tests [INFO] [stdout] test operations::production::test::test_predecessor ... ok [INFO] [stdout] test operations::construction::tests::test_eq ... ok [INFO] [stdout] test operations::production::test::test_predecessor_err_2 ... ok [INFO] [stdout] test operations::production::test::test_successor ... ok [INFO] [stdout] test formula::test::test_specify_var ... ok [INFO] [stdout] test formula::test::test_replace_var ... ok [INFO] [stdout] test operations::production::test::test_successor_err ... ok [INFO] [stdout] test operations::production::test::test_generalization_err ... ok [INFO] [stdout] test operations::production::test::test_predecessor_err_1 ... ok [INFO] [stdout] test operations::production::test::test_symmetry_err ... ok [INFO] [stdout] test operations::production::test::test_symmetry ... ok [INFO] [stdout] test operations::production::test::test_transitivity ... ok [INFO] [stdout] test operations::production::test::test_transitivity_err_1_left ... 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 operations::production::test::test_specification_err1 ... ok [INFO] [stdout] test properties::test::test_is_equation ... ok [INFO] [stdout] test operations::production::test::test_specification_err2 ... ok [INFO] [stdout] test operations::construction::tests::test_not ... ok [INFO] [stdout] test operations::construction::tests::test_exists ... ok [INFO] [stdout] test operations::construction::tests::test_implies ... ok [INFO] [stdout] test operations::construction::tests::test_and ... ok [INFO] [stdout] test operations::construction::tests::test_forall ... ok [INFO] [stdout] test operations::production::test::test_generalization ... ok [INFO] [stdout] test operations::production::test::test_specification ... ok [INFO] [stdout] test operations::construction::tests::test_or ... ok [INFO] [stdout] test operations::production::test::test_induction ... ok [INFO] [stdout] test operations::production::test::test_interchange_ae_err ... ok [INFO] [stdout] test operations::production::test::test_interchange_ea_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 properties::test::test_is_complex_formula ... ok [INFO] [stdout] test random::test::test_random_expression ... ok [INFO] [stdout] test operations::production::test::test_interchange_ea ... ok [INFO] [stdout] test random::test::test_random_number ... ok [INFO] [stdout] test random::test::test_random_variable ... ok [INFO] [stdout] test operations::production::test::test_interchange_ae ... ok [INFO] [stdout] test properties::test::test_is_formula ... ok [INFO] [stdout] test string_manip::test::test_get_bound_vars ... ok [INFO] [stdout] test string_manip::test::test_get_vars ... ok [INFO] [stdout] test string_manip::test::test_left_implies ... 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_split_logical ... ok [INFO] [stdout] test string_manip::test::test_strip_succ_all ... ok [INFO] [stdout] test string_manip::test::test_strip_quants ... ok [INFO] [stdout] test translate::test::test_arithmetize ... ok [INFO] [stdout] test terms::test::test_expression ... ok [INFO] [stdout] test terms::test::test_number ... ok [INFO] [stdout] test translate::test::test_to_austere ... ok [INFO] [stdout] test terms::test::test_variable ... 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.05s [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] [stdout] test src/operations/production.rs - operations::production::specification (line 11) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::eq (line 8) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::symmetry (line 222) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::exists (line 71) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::induction (line 142) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::not (line 20) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::transitivity (line 244) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::or (line 32) ... ok [INFO] [stdout] test src/operations/production.rs - operations::production::interchange_ea (line 76) ... ok [INFO] [stdout] test src/operations/construction.rs - operations::construction::forall (line 84) ... ok [INFO] [stdout] test src/operations/construction.rs - operations::construction::and (line 45) ... ok [INFO] [stdout] test src/operations/construction.rs - operations::construction::implies (line 58) ... ok [INFO] [stdout] test src/operations/production.rs - operations::production::predecessor (line 196) ... ok [INFO] [stdout] test src/operations/production.rs - operations::production::interchange_ae (line 109) ... ok [INFO] [stdout] test src/operations/production.rs - operations::production::generalization (line 38) ... ok [INFO] [stdout] test src/operations/production.rs - operations::production::successor (line 174) ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- src/operations/production.rs - operations::production::existence (line 56) stdout ---- [INFO] [stdout] error[E0061]: this function takes 3 arguments but 2 arguments were supplied [INFO] [stdout] --> src/operations/production.rs:62:1 [INFO] [stdout] | [INFO] [stdout] 9 | existence(f,a); // Ea':Ea:[a=a&a'=a'] [INFO] [stdout] | ^^^^^^^^^ - - supplied 2 arguments [INFO] [stdout] | | [INFO] [stdout] | expected 3 arguments [INFO] [stdout] | [INFO] [stdout] note: function defined here [INFO] [stdout] --> /opt/rustwide/workdir/src/operations/production.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn existence(x: &Formula, t: &T, v: &Variable) -> Result { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0061`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::specification (line 11) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/construction.rs - operations::construction::eq (line 8) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::symmetry (line 222) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/construction.rs - operations::construction::exists (line 71) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::induction (line 142) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/construction.rs - operations::construction::not (line 20) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/tmp/rustdoctestXZwasa/rust_out.rust_out.a38cf0ae-cgu.0.rcgu.o" "/tmp/rustdoctestXZwasa/rust_out.17b4r9tqrsvxwvvv.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-47258c020c9f3ddd.rlib" "/opt/rustwide/target/debug/deps/librand-e305fb927c0b20f1.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-d8c064d2f9b71db0.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-4b4e10d54e032e24.rlib" "/opt/rustwide/target/debug/deps/librand_core-5b9a8f5473c08257.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-0f088a9b8ff57298.rlib" "/opt/rustwide/target/debug/deps/liblibc-2d5307fb34c32c1c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-97437e183f3ae6e4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-86422d76b8bd90ed.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-aed9505d4bd57ae6.rlib" "/opt/rustwide/target/debug/deps/libregex-7583fb84023d42ce.rlib" "/opt/rustwide/target/debug/deps/libthread_local-2b10e0bd838fb06d.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-05a60f3c03734a45.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-ea33e0b70ada9cfe.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-893f4c3b4ecb939d.rlib" "/opt/rustwide/target/debug/deps/libmemchr-dc28abbf05ce61fd.rlib" "/opt/rustwide/target/debug/deps/libbit_set-2ae2d6fed814227a.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-2e1afe2890772364.rlib" "/opt/rustwide/target/debug/deps/libnum-1f62a2b5b32495bf.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-55590068a21bd762.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-1c360e6a13206730.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-0b5d040c5d0e6b95.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-e6a051b50fa5a25f.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-557857d5c29aa2ea.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-464536e541267335.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ff9290e971253a38.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-5534b29ea7b2d8f5.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-3fe98c0f46f27964.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-a76787f08d45e37d.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-8bfbb13072fc2761.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-d6d1fa92fa620f17.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-7cfd201521727d95.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-0e8010e8fce8e5a7.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-19093fec3c6dd913.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-89c4cbe9256c1890.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-73e4507673363945.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-8cea480e62c5b261.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-1fb939608cd05a1c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-842e67e3ab562f66.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-0c1c8fec3b1a54cc.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-689faa634b72af17.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-6c2c561a8181be5e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-88c4d85fe493b0a6.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f5394bdb1df5df01.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestXZwasa/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::transitivity (line 244) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/tmp/rustdoctestZIf8BT/rust_out.rust_out.a38cf0ae-cgu.0.rcgu.o" "/tmp/rustdoctestZIf8BT/rust_out.17b4r9tqrsvxwvvv.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-47258c020c9f3ddd.rlib" "/opt/rustwide/target/debug/deps/librand-e305fb927c0b20f1.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-d8c064d2f9b71db0.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-4b4e10d54e032e24.rlib" "/opt/rustwide/target/debug/deps/librand_core-5b9a8f5473c08257.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-0f088a9b8ff57298.rlib" "/opt/rustwide/target/debug/deps/liblibc-2d5307fb34c32c1c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-97437e183f3ae6e4.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-86422d76b8bd90ed.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-aed9505d4bd57ae6.rlib" "/opt/rustwide/target/debug/deps/libregex-7583fb84023d42ce.rlib" "/opt/rustwide/target/debug/deps/libthread_local-2b10e0bd838fb06d.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-05a60f3c03734a45.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-ea33e0b70ada9cfe.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-893f4c3b4ecb939d.rlib" "/opt/rustwide/target/debug/deps/libmemchr-dc28abbf05ce61fd.rlib" "/opt/rustwide/target/debug/deps/libbit_set-2ae2d6fed814227a.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-2e1afe2890772364.rlib" "/opt/rustwide/target/debug/deps/libnum-1f62a2b5b32495bf.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-55590068a21bd762.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-1c360e6a13206730.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-0b5d040c5d0e6b95.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-e6a051b50fa5a25f.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-557857d5c29aa2ea.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-464536e541267335.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-ff9290e971253a38.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-5534b29ea7b2d8f5.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-3fe98c0f46f27964.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-a76787f08d45e37d.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-8bfbb13072fc2761.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-d6d1fa92fa620f17.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-7cfd201521727d95.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-0e8010e8fce8e5a7.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-19093fec3c6dd913.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-89c4cbe9256c1890.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-73e4507673363945.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-8cea480e62c5b261.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-1fb939608cd05a1c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-842e67e3ab562f66.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-0c1c8fec3b1a54cc.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-689faa634b72af17.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-6c2c561a8181be5e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-88c4d85fe493b0a6.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-f5394bdb1df5df01.rlib" "-Wl,-Bdynamic" "-lc" "-lm" "-lrt" "-lpthread" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-Wl,--eh-frame-hdr" "-Wl,-znoexecstack" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2022-02-22-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestZIf8BT/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] src/operations/construction.rs - operations::construction::eq (line 8) [INFO] [stdout] src/operations/construction.rs - operations::construction::exists (line 71) [INFO] [stdout] src/operations/construction.rs - operations::construction::not (line 20) [INFO] [stdout] src/operations/production.rs - operations::production::existence (line 56) [INFO] [stdout] src/operations/production.rs - operations::production::induction (line 142) [INFO] [stdout] src/operations/production.rs - operations::production::specification (line 11) [INFO] [stdout] src/operations/production.rs - operations::production::symmetry (line 222) [INFO] [stdout] src/operations/production.rs - operations::production::transitivity (line 244) [INFO] [stdout] [INFO] [stdout] test result: FAILED. 9 passed; 8 failed; 0 ignored; 0 measured; 0 filtered out; finished in 7.12s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--doc' [INFO] running `Command { std: "docker" "inspect" "2b06e6de5ec7ca2a6c83d1887812c21759bc58c879661cffe4648eb9e26325ab", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2b06e6de5ec7ca2a6c83d1887812c21759bc58c879661cffe4648eb9e26325ab", kill_on_drop: false }` [INFO] [stdout] 2b06e6de5ec7ca2a6c83d1887812c21759bc58c879661cffe4648eb9e26325ab