[INFO] fetching crate tnt 1.0.1...
[INFO] testing tnt-1.0.1 against 1.54.0 for beta-1.55-1
[INFO] extracting crate tnt 1.0.1 into /workspace/builds/worker-8/source
[INFO] validating manifest of crates.io crate tnt 1.0.1 on toolchain 1.54.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.54.0" "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-8/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" "+1.54.0" "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-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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" "+1.54.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 956cff2bc0f02ff511c1e187d5ee020413e69816a1e9641d84f1edc10ba23b18
[INFO] running `Command { std: "docker" "start" "-a" "956cff2bc0f02ff511c1e187d5ee020413e69816a1e9641d84f1edc10ba23b18", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "956cff2bc0f02ff511c1e187d5ee020413e69816a1e9641d84f1edc10ba23b18", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "956cff2bc0f02ff511c1e187d5ee020413e69816a1e9641d84f1edc10ba23b18", kill_on_drop: false }`
[INFO] [stdout] 956cff2bc0f02ff511c1e187d5ee020413e69816a1e9641d84f1edc10ba23b18
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+1.54.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] dff0ef7dbc992d23430b04d455fecebb9045c7d3ab3487c988a01fc690b04693
[INFO] running `Command { std: "docker" "start" "-a" "dff0ef7dbc992d23430b04d455fecebb9045c7d3ab3487c988a01fc690b04693", kill_on_drop: false }`
[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 regex-syntax v0.6.22
[INFO] [stderr]    Compiling bit-vec v0.6.3
[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 thread_local v1.1.3
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling aho-corasick v0.7.15
[INFO] [stderr]    Compiling rand_core v0.6.2
[INFO] [stderr]    Compiling num-complex v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.3.0
[INFO] [stderr]    Compiling rand v0.8.3
[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 8.23s
[INFO] running `Command { std: "docker" "inspect" "dff0ef7dbc992d23430b04d455fecebb9045c7d3ab3487c988a01fc690b04693", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dff0ef7dbc992d23430b04d455fecebb9045c7d3ab3487c988a01fc690b04693", kill_on_drop: false }`
[INFO] [stdout] dff0ef7dbc992d23430b04d455fecebb9045c7d3ab3487c988a01fc690b04693
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+1.54.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a9c1292770f83cd25b8e539c11c608001056421adbfbb829309996036797fe5e
[INFO] running `Command { std: "docker" "start" "-a" "a9c1292770f83cd25b8e539c11c608001056421adbfbb829309996036797fe5e", kill_on_drop: false }`
[INFO] [stderr]    Compiling tnt v1.0.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.38s
[INFO] running `Command { std: "docker" "inspect" "a9c1292770f83cd25b8e539c11c608001056421adbfbb829309996036797fe5e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a9c1292770f83cd25b8e539c11c608001056421adbfbb829309996036797fe5e", kill_on_drop: false }`
[INFO] [stdout] a9c1292770f83cd25b8e539c11c608001056421adbfbb829309996036797fe5e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/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:34b6a614d2c27851fe6cbf88fbd1137609cefab8b10d0615aaeb6fd47975d74e" "/opt/rustwide/cargo-home/bin/cargo" "+1.54.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 221331222faa324dd99cee115cc2fe332c110a16c8214dadbea4c2453f38570a
[INFO] running `Command { std: "docker" "start" "-a" "221331222faa324dd99cee115cc2fe332c110a16c8214dadbea4c2453f38570a", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.02s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/tnt-2f3d9230081df749)
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stdout] test operations::construction::tests::test_eq ... ok
[INFO] [stdout] test operations::production::test::test_predecessor ... 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_replace_var ... 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 formula::test::test_specify_var ... ok
[INFO] [stdout] test operations::production::test::test_successor_err ... ok
[INFO] [stdout] test operations::production::test::test_symmetry ... ok
[INFO] [stdout] test operations::production::test::test_transitivity_err_1_left ... ok
[INFO] [stdout] test operations::production::test::test_symmetry_err ... 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_transitivity ... ok
[INFO] [stdout] test operations::production::test::test_generalization ... ok
[INFO] [stdout] test operations::construction::tests::test_or ... ok
[INFO] [stdout] test operations::production::test::test_induction ... ok
[INFO] [stdout] test properties::test::test_is_equation ... ok
[INFO] [stdout] test operations::production::test::test_specification ... 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_and ... ok
[INFO] [stdout] test operations::construction::tests::test_forall ... ok
[INFO] [stdout] test operations::construction::tests::test_exists ... ok
[INFO] [stdout] test operations::construction::tests::test_implies ... ok
[INFO] [stdout] test properties::test::test_is_num ... ok
[INFO] [stdout] test properties::test::test_is_simple_formula ... ok
[INFO] [stdout] test operations::production::test::test_specification_err1 ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ae_err ... ok
[INFO] [stdout] test properties::test::test_is_var ... ok
[INFO] [stdout] test properties::test::test_is_complex_formula ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea_err ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea ... ok
[INFO] [stdout] test properties::test::test_is_formula ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ae ... ok
[INFO] [stdout] test random::test::test_random_number ... ok
[INFO] [stdout] test random::test::test_random_expression ... ok
[INFO] [stdout] test string_manip::test::test_get_bound_vars ... ok
[INFO] [stdout] test random::test::test_random_variable ... ok
[INFO] [stdout] test string_manip::test::test_left_implies ... ok
[INFO] [stdout] test string_manip::test::test_get_vars ... 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_replace_all_re ... 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 translate::test::test_to_austere ... ok
[INFO] [stdout] test terms::test::test_expression ... ok
[INFO] [stdout] test terms::test::test_number ... 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.04s
[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/production.rs - operations::production::generalization (line 38) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::eq (line 8) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::forall (line 84) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::exists (line 71) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::successor (line 174) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::transitivity (line 244) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::implies (line 58) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::not (line 20) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::symmetry (line 222) ... ok
[INFO] [stdout] test src/operations/construction.rs - operations::construction::and (line 45) ... 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::induction (line 142) ... ok
[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] 
[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<T: Term>(x: &Formula, t: &T, v: &Variable) -> Result<Formula,LogicError> {
[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/production.rs - operations::production::generalization (line 38) 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/construction.rs - operations::construction::forall (line 84) 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::successor (line 174) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/operations/production.rs - operations::production::transitivity (line 244) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/operations/construction.rs - operations::construction::implies (line 58) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-m64" "/tmp/rustdoctestqT88Pt/rust_out.rust_out.7rcbfp3g-cgu.0.rcgu.o" "/tmp/rustdoctestqT88Pt/rust_out.33dyzt1ekirinwy8.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-d6bef3268f5988c1.rlib" "/opt/rustwide/target/debug/deps/librand-6f7abfbeefb1da85.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-dd28e40173e2648b.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-545d86392ea1d8e4.rlib" "/opt/rustwide/target/debug/deps/librand_core-c70af6ab95ed241b.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-8abf5ca197ccfb0f.rlib" "/opt/rustwide/target/debug/deps/liblibc-b34110c40e4fb1b6.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-38c8a3e888ecb06a.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-5c53d641eb010a81.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-adb35380e88deb60.rlib" "/opt/rustwide/target/debug/deps/libregex-65f5e8252566ca36.rlib" "/opt/rustwide/target/debug/deps/libthread_local-e5b342012af06f95.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-7362716c75555928.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-ba29fc71cc7d64f6.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-5234701034b12ee4.rlib" "/opt/rustwide/target/debug/deps/libmemchr-9559fd627c3017a7.rlib" "/opt/rustwide/target/debug/deps/libbit_set-1c939536261f8f8b.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-b1ce3d849e2d98a0.rlib" "/opt/rustwide/target/debug/deps/libnum-a01a64bbfd6125dd.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-57c16e89d669abda.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-8852e4293a21dbd6.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-238cd6019d5b722a.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-4741afa324cd2882.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-ef5b200e38a37517.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-3b73ff16b37a127c.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-2420485b9e5ef5e1.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-785e3cb61c4b1960.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-087191a88bdaa22d.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-9981842c02975178.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-6fb405869b015fde.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-d05c5c3c56004b7b.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-42d74d2097528b38.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-fb36534c113d2209.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-b56b9042c12b6535.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-491902d6cb3e76df.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-61834e0981b8c367.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-f78aa99d613a55bc.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-53ee54cd7fed2c57.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-544ecdbd6cda3c58.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-379cc252b6943a79.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8063eea38dcc5e62.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-5b228734afae15ee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-d6c7a399d95d173f.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/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestqT88Pt/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-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/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/rustdoctestsvUsQ5/rust_out.rust_out.7rcbfp3g-cgu.0.rcgu.o" "/tmp/rustdoctestsvUsQ5/rust_out.33dyzt1ekirinwy8.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-d6bef3268f5988c1.rlib" "/opt/rustwide/target/debug/deps/librand-6f7abfbeefb1da85.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-dd28e40173e2648b.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-545d86392ea1d8e4.rlib" "/opt/rustwide/target/debug/deps/librand_core-c70af6ab95ed241b.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-8abf5ca197ccfb0f.rlib" "/opt/rustwide/target/debug/deps/liblibc-b34110c40e4fb1b6.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-38c8a3e888ecb06a.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-5c53d641eb010a81.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-adb35380e88deb60.rlib" "/opt/rustwide/target/debug/deps/libregex-65f5e8252566ca36.rlib" "/opt/rustwide/target/debug/deps/libthread_local-e5b342012af06f95.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-7362716c75555928.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-ba29fc71cc7d64f6.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-5234701034b12ee4.rlib" "/opt/rustwide/target/debug/deps/libmemchr-9559fd627c3017a7.rlib" "/opt/rustwide/target/debug/deps/libbit_set-1c939536261f8f8b.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-b1ce3d849e2d98a0.rlib" "/opt/rustwide/target/debug/deps/libnum-a01a64bbfd6125dd.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-57c16e89d669abda.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-8852e4293a21dbd6.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-238cd6019d5b722a.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-4741afa324cd2882.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-ef5b200e38a37517.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-3b73ff16b37a127c.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-2420485b9e5ef5e1.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-785e3cb61c4b1960.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-087191a88bdaa22d.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-9981842c02975178.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-6fb405869b015fde.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-d05c5c3c56004b7b.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-42d74d2097528b38.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-fb36534c113d2209.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-b56b9042c12b6535.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-491902d6cb3e76df.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-61834e0981b8c367.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-f78aa99d613a55bc.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-53ee54cd7fed2c57.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-544ecdbd6cda3c58.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-379cc252b6943a79.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-8063eea38dcc5e62.rlib" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-5b228734afae15ee.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-d6c7a399d95d173f.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/1.54.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestsvUsQ5/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro" "-Wl,-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::forall (line 84)
[INFO] [stdout]     src/operations/construction.rs - operations::construction::implies (line 58)
[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::generalization (line 38)
[INFO] [stdout]     src/operations/production.rs - operations::production::specification (line 11)
[INFO] [stdout]     src/operations/production.rs - operations::production::successor (line 174)
[INFO] [stdout]     src/operations/production.rs - operations::production::transitivity (line 244)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 7 passed; 10 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.68s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass '--doc'
[INFO] running `Command { std: "docker" "inspect" "221331222faa324dd99cee115cc2fe332c110a16c8214dadbea4c2453f38570a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "221331222faa324dd99cee115cc2fe332c110a16c8214dadbea4c2453f38570a", kill_on_drop: false }`
[INFO] [stdout] 221331222faa324dd99cee115cc2fe332c110a16c8214dadbea4c2453f38570a
