[INFO] cloning repository https://github.com/SymmetricChaos/tnt
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SymmetricChaos/tnt" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSymmetricChaos%2Ftnt", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSymmetricChaos%2Ftnt'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 98cefe8607323d279fb09c7b3a524c3d681bfa49
[INFO] testing SymmetricChaos/tnt against 1.54.0 for beta-1.55-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSymmetricChaos%2Ftnt" "/workspace/builds/worker-108/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-108/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/SymmetricChaos/tnt 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 git repo https://github.com/SymmetricChaos/tnt
[INFO] finished tweaking git repo https://github.com/SymmetricChaos/tnt
[INFO] tweaked toml for git repo https://github.com/SymmetricChaos/tnt written to /workspace/builds/worker-108/source/Cargo.toml
[INFO] crate git repo https://github.com/SymmetricChaos/tnt 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] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/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] 73d78be40781ce808ef57fbee5b53c8a5b140599586d0d92e01cb24957a4ed0a
[INFO] running `Command { std: "docker" "start" "-a" "73d78be40781ce808ef57fbee5b53c8a5b140599586d0d92e01cb24957a4ed0a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "73d78be40781ce808ef57fbee5b53c8a5b140599586d0d92e01cb24957a4ed0a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "73d78be40781ce808ef57fbee5b53c8a5b140599586d0d92e01cb24957a4ed0a", kill_on_drop: false }`
[INFO] [stdout] 73d78be40781ce808ef57fbee5b53c8a5b140599586d0d92e01cb24957a4ed0a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/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] 3793d8ca4908bc09cbf4d9ef906fdc3dd0b2352a65859d80e1855e310b78c5bd
[INFO] running `Command { std: "docker" "start" "-a" "3793d8ca4908bc09cbf4d9ef906fdc3dd0b2352a65859d80e1855e310b78c5bd", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling libc v0.2.93
[INFO] [stderr]    Compiling bit-vec v0.6.3
[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 thread_local v1.1.3
[INFO] [stderr]    Compiling bit-set v0.5.2
[INFO] [stderr]    Compiling regex v1.4.3
[INFO] [stderr]    Compiling num-complex v0.4.0
[INFO] [stderr]    Compiling getrandom v0.2.2
[INFO] [stderr]    Compiling fancy-regex v0.5.0
[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 v0.4.0
[INFO] [stderr]    Compiling tnt v1.0.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 25s
[INFO] running `Command { std: "docker" "inspect" "3793d8ca4908bc09cbf4d9ef906fdc3dd0b2352a65859d80e1855e310b78c5bd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3793d8ca4908bc09cbf4d9ef906fdc3dd0b2352a65859d80e1855e310b78c5bd", kill_on_drop: false }`
[INFO] [stdout] 3793d8ca4908bc09cbf4d9ef906fdc3dd0b2352a65859d80e1855e310b78c5bd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/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] c37b6c30bc434d0793a19e4469ef78e1813c1a8ca3e9e35393fb141f642582a2
[INFO] running `Command { std: "docker" "start" "-a" "c37b6c30bc434d0793a19e4469ef78e1813c1a8ca3e9e35393fb141f642582a2", kill_on_drop: false }`
[INFO] [stderr]    Compiling tnt v1.0.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 2.99s
[INFO] running `Command { std: "docker" "inspect" "c37b6c30bc434d0793a19e4469ef78e1813c1a8ca3e9e35393fb141f642582a2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c37b6c30bc434d0793a19e4469ef78e1813c1a8ca3e9e35393fb141f642582a2", kill_on_drop: false }`
[INFO] [stdout] c37b6c30bc434d0793a19e4469ef78e1813c1a8ca3e9e35393fb141f642582a2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-108/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] 761e3ee7a46d9f054916a37755a01592bd2c7b82e18546e116659162142db5b9
[INFO] running `Command { std: "docker" "start" "-a" "761e3ee7a46d9f054916a37755a01592bd2c7b82e18546e116659162142db5b9", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/tnt-2f3d9230081df749)
[INFO] [stdout] running 53 tests
[INFO] [stdout] test operations::production::test::test_predecessor ... ok
[INFO] [stdout] test operations::production::test::test_generalization_err ... ok
[INFO] [stdout] test operations::construction::tests::test_not ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea ... ok
[INFO] [stdout] test formula::test::test_replace_var ... ok
[INFO] [stderr]    Doc-tests tnt
[INFO] [stdout] test operations::production::test::test_interchange_ae_err ... ok
[INFO] [stdout] test operations::construction::tests::test_implies ... ok
[INFO] [stdout] test formula::test::test_specify_var ... ok
[INFO] [stdout] test operations::production::test::test_induction ... ok
[INFO] [stdout] test operations::production::test::test_predecessor_err_1 ... ok
[INFO] [stdout] test operations::construction::tests::test_or ... ok
[INFO] [stdout] test operations::construction::tests::test_and ... ok
[INFO] [stdout] test operations::construction::tests::test_exists ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea_err ... ok
[INFO] [stdout] test operations::production::test::test_specification ... ok
[INFO] [stdout] test operations::construction::tests::test_forall ... ok
[INFO] [stdout] test operations::production::test::test_predecessor_err_2 ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ae ... ok
[INFO] [stdout] test operations::production::test::test_successor ... 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_generalization ... ok
[INFO] [stdout] test operations::production::test::test_symmetry_err ... ok
[INFO] [stdout] test operations::construction::tests::test_eq ... 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 properties::test::test_is_equation ... ok
[INFO] [stdout] test operations::production::test::test_specification_err1 ... ok
[INFO] [stdout] test operations::production::test::test_transitivity ... ok
[INFO] [stdout] test properties::test::test_is_complex_formula ... 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_transitivity_err_1_right ... ok
[INFO] [stdout] test properties::test::test_is_var ... ok
[INFO] [stdout] test string_manip::test::test_get_bound_vars ... ok
[INFO] [stdout] test operations::production::test::test_specification_err2 ... ok
[INFO] [stdout] test random::test::test_random_expression ... ok
[INFO] [stdout] test properties::test::test_is_formula ... ok
[INFO] [stdout] test random::test::test_random_variable ... ok
[INFO] [stdout] test random::test::test_random_number ... 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.06s
[INFO] [stdout] 
[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::interchange_ae (line 109) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::predecessor (line 196) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::generalization (line 38) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::symmetry (line 222) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::or (line 32) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::not (line 20) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::exists (line 71) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::forall (line 84) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::and (line 45) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::interchange_ea (line 76) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::successor (line 174) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::transitivity (line 244) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::induction (line 142) ... ok
[INFO] [stdout] test src/operations/construction.rs - operations::construction::implies (line 58) ... 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/construction.rs - operations::construction::eq (line 8) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/operations/production.rs - operations::production::interchange_ae (line 109) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/operations/production.rs - operations::production::predecessor (line 196) 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/production.rs - operations::production::symmetry (line 222) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/operations/construction.rs - operations::construction::or (line 32) stdout ----
[INFO] [stdout] Couldn't compile the test.
[INFO] [stdout] ---- src/operations/construction.rs - operations::construction::not (line 20) 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/construction.rs - operations::construction::forall (line 84) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-m64" "/tmp/rustdoctest2uYPVt/rust_out.rust_out.7rcbfp3g-cgu.0.rcgu.o" "/tmp/rustdoctest2uYPVt/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/rustdoctest2uYPVt/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/production.rs - operations::production::transitivity (line 244) stdout ----
[INFO] [stdout] Test executable failed (exit code 101).
[INFO] [stdout] 
[INFO] [stdout] stderr:
[INFO] [stdout] thread 'main' panicked at 'Sb'=(1+1) is not a well formed formula', src/formula.rs:28:13
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x556512d69f60 - std::backtrace_rs::backtrace::libunwind::trace::h34055254b57d8e79
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x556512d69f60 - std::backtrace_rs::backtrace::trace_unsynchronized::h8f1e3fbd9afff6ec
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x556512d69f60 - std::sys_common::backtrace::_print_fmt::h3a99a796b770c360
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x556512d69f60 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h32d1f94a80615d18
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x556512d8453c - core::fmt::write::h306731c068f7162c
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/core/src/fmt/mod.rs:1110:17
[INFO] [stdout]    5:     0x556512d68835 - std::io::Write::write_fmt::hd2fa90334eee2a21
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/io/mod.rs:1588:15
[INFO] [stdout]    6:     0x556512d6bdbb - std::sys_common::backtrace::_print::h5abaa2601a852287
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x556512d6bdbb - std::sys_common::backtrace::print::h8d81445442bb638f
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x556512d6bdbb - std::panicking::default_hook::{{closure}}::hcfe804496a9fa747
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:208:50
[INFO] [stdout]    9:     0x556512d6b891 - std::panicking::default_hook::hbea8e3ccf2ba8901
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:225:9
[INFO] [stdout]   10:     0x556512d6c484 - std::panicking::rust_panic_with_hook::h7ee9e1a2d0f8975a
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:622:17
[INFO] [stdout]   11:     0x556512d6bf67 - std::panicking::begin_panic_handler::{{closure}}::h8ab3b4491718b2c7
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:519:13
[INFO] [stdout]   12:     0x556512d6a45c - std::sys_common::backtrace::__rust_end_short_backtrace::hd489062ffa586a9f
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x556512d6bec9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:515:5
[INFO] [stdout]   14:     0x556512b3ea8b - std::panicking::begin_panic_fmt::h5479575e112541f8
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:457:5
[INFO] [stdout]   15:     0x556512b49378 - tnt::formula::Formula::new::ha8055ab7e9a43743
[INFO] [stdout]                                at /opt/rustwide/workdir/src/formula.rs:28:13
[INFO] [stdout]   16:     0x556512b3ff53 - rust_out::main::_doctest_main_src_operations_production_rs_244_0::hb398d4571ba636f7
[INFO] [stdout]   17:     0x556512b3ff16 - rust_out::main::h2a38bb51b9580a7d
[INFO] [stdout]   18:     0x556512b3feb3 - core::ops::function::FnOnce::call_once::hb73b95e6982fd3f0
[INFO] [stdout]   19:     0x556512b3fda9 - std::sys_common::backtrace::__rust_begin_short_backtrace::h8371d112165838d3
[INFO] [stdout]   20:     0x556512b3fe19 - std::rt::lang_start::{{closure}}::h783adf50233ec5ec
[INFO] [stdout]   21:     0x556512d6c989 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h2aabc384aab89b7b
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/core/src/ops/function.rs:259:13
[INFO] [stdout]   22:     0x556512d6c989 - std::panicking::try::do_call::hc5fcacb7a85fc7b1
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:401:40
[INFO] [stdout]   23:     0x556512d6c989 - std::panicking::try::hb5d9603af3abbe3a
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panicking.rs:365:19
[INFO] [stdout]   24:     0x556512d6c989 - std::panic::catch_unwind::h98fe6ac3925e64b4
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/panic.rs:434:14
[INFO] [stdout]   25:     0x556512d6c989 - std::rt::lang_start_internal::h22ac7383c516f93e
[INFO] [stdout]                                at /rustc/a178d0322ce20e33eac124758e837cbd80a6f633/library/std/src/rt.rs:34:21
[INFO] [stdout]   26:     0x556512b3fe01 - std::rt::lang_start::h11b9716471e37ff8
[INFO] [stdout]   27:     0x556512b40003 - main
[INFO] [stdout]   28:     0x7f4f74eaf0b3 - __libc_start_main
[INFO] [stdout]   29:     0x556512b3fcde - _start
[INFO] [stdout]   30:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[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::not (line 20)
[INFO] [stdout]     src/operations/construction.rs - operations::construction::or (line 32)
[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::interchange_ae (line 109)
[INFO] [stdout]     src/operations/production.rs - operations::production::predecessor (line 196)
[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. 5 passed; 12 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.23s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass '--doc'
[INFO] running `Command { std: "docker" "inspect" "761e3ee7a46d9f054916a37755a01592bd2c7b82e18546e116659162142db5b9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "761e3ee7a46d9f054916a37755a01592bd2c7b82e18546e116659162142db5b9", kill_on_drop: false }`
[INFO] [stdout] 761e3ee7a46d9f054916a37755a01592bd2c7b82e18546e116659162142db5b9
