[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 beta-2021-08-01 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-92/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-92/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/SymmetricChaos/tnt on toolchain beta-2021-08-01
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-08-01" "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-92/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" "+beta-2021-08-01" "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-92/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-92/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" "+beta-2021-08-01" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 392cc539d0f430c5b8368b1fa75b983560a593161efc333e6696c64cd691628f
[INFO] running `Command { std: "docker" "start" "-a" "392cc539d0f430c5b8368b1fa75b983560a593161efc333e6696c64cd691628f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "392cc539d0f430c5b8368b1fa75b983560a593161efc333e6696c64cd691628f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "392cc539d0f430c5b8368b1fa75b983560a593161efc333e6696c64cd691628f", kill_on_drop: false }`
[INFO] [stdout] 392cc539d0f430c5b8368b1fa75b983560a593161efc333e6696c64cd691628f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-92/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-92/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" "+beta-2021-08-01" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7db8ed22eda34d296620a0656cd048b4b830d2396f146425d33448b56467ed33
[INFO] running `Command { std: "docker" "start" "-a" "7db8ed22eda34d296620a0656cd048b4b830d2396f146425d33448b56467ed33", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling libc v0.2.93
[INFO] [stderr]    Compiling getrandom v0.2.2
[INFO] [stderr]    Compiling regex-syntax v0.6.22
[INFO] [stderr]    Compiling num-traits v0.2.14
[INFO] [stderr]    Compiling num-bigint v0.4.0
[INFO] [stderr]    Compiling num-iter v0.1.42
[INFO] [stderr]    Compiling num-rational v0.4.0
[INFO] [stderr]    Compiling regex v1.4.3
[INFO] [stderr]    Compiling num-integer v0.1.44
[INFO] [stderr]    Compiling num-complex v0.4.0
[INFO] [stderr]    Compiling rand_core v0.6.2
[INFO] [stderr]    Compiling fancy-regex v0.5.0
[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" "7db8ed22eda34d296620a0656cd048b4b830d2396f146425d33448b56467ed33", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7db8ed22eda34d296620a0656cd048b4b830d2396f146425d33448b56467ed33", kill_on_drop: false }`
[INFO] [stdout] 7db8ed22eda34d296620a0656cd048b4b830d2396f146425d33448b56467ed33
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-92/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-92/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" "+beta-2021-08-01" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 1eef8994fb1d9d0284d15ce1569308865a52ac63bbeee0cbd6160a6cda22ae26
[INFO] running `Command { std: "docker" "start" "-a" "1eef8994fb1d9d0284d15ce1569308865a52ac63bbeee0cbd6160a6cda22ae26", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling tnt v1.0.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 4.30s
[INFO] running `Command { std: "docker" "inspect" "1eef8994fb1d9d0284d15ce1569308865a52ac63bbeee0cbd6160a6cda22ae26", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "1eef8994fb1d9d0284d15ce1569308865a52ac63bbeee0cbd6160a6cda22ae26", kill_on_drop: false }`
[INFO] [stdout] 1eef8994fb1d9d0284d15ce1569308865a52ac63bbeee0cbd6160a6cda22ae26
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-92/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-92/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" "+beta-2021-08-01" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 32d22a5a3f2af383e0dc3fa929637432ce324be917b51e062d17581fd1c97edb
[INFO] running `Command { std: "docker" "start" "-a" "32d22a5a3f2af383e0dc3fa929637432ce324be917b51e062d17581fd1c97edb", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stdout] 
[INFO] [stdout] running 53 tests
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.41s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/tnt-dfe646ca520ad9cd)
[INFO] [stdout] test string_manip::test::test_strip_succ_all ... ok
[INFO] [stdout] test string_manip::test::test_left_implies ... ok
[INFO] [stdout] test random::test::test_random_number ... ok
[INFO] [stdout] test random::test::test_random_variable ... 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_split_arithmetic ... ok
[INFO] [stdout] test translate::test::test_arithmetize ... ok
[INFO] [stdout] test string_manip::test::test_replace_all_re ... ok
[INFO] [stdout] test random::test::test_random_expression ... ok
[INFO] [stdout] test string_manip::test::test_split_logical ... ok
[INFO] [stdout] test string_manip::test::test_strip_quants ... ok
[INFO] [stdout] test translate::test::test_to_austere ... ok
[INFO] [stdout] test operations::production::test::test_transitivity_err_2 ... ok
[INFO] [stdout] test properties::test::test_is_num ... ok
[INFO] [stdout] test properties::test::test_is_var ... ok
[INFO] [stdout] test properties::test::test_is_simple_formula ... ok
[INFO] [stdout] test properties::test::test_is_equation ... ok
[INFO] [stdout] test properties::test::test_is_complex_formula ... ok
[INFO] [stdout] test operations::production::test::test_successor ... ok
[INFO] [stdout] test properties::test::test_is_formula ... 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::construction::tests::test_and ... ok
[INFO] [stdout] test operations::production::test::test_predecessor_err_2 ... ok
[INFO] [stdout] test operations::production::test::test_successor_err ... ok
[INFO] [stdout] test terms::test::test_expression ... ok
[INFO] [stdout] test operations::production::test::test_predecessor_err_1 ... ok
[INFO] [stdout] test operations::production::test::test_predecessor ... ok
[INFO] [stdout] test operations::production::test::test_symmetry_err ... ok
[INFO] [stdout] test operations::production::test::test_transitivity_err_1_right ... ok
[INFO] [stdout] test operations::production::test::test_symmetry ... ok
[INFO] [stdout] test operations::construction::tests::test_not ... ok
[INFO] [stdout] test formula::test::test_replace_var ... ok
[INFO] [stdout] test operations::construction::tests::test_implies ... 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_or ... ok
[INFO] [stdout] test terms::test::test_number ... ok
[INFO] [stdout] test operations::production::test::test_generalization ... ok
[INFO] [stdout] test operations::production::test::test_generalization_err ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ae_err ... ok
[INFO] [stdout] test operations::construction::tests::test_forall ... ok
[INFO] [stdout] test operations::production::test::test_specification_err1 ... ok
[INFO] [stdout] test operations::construction::tests::test_eq ... ok
[INFO] [stdout] test formula::test::test_specify_var ... ok
[INFO] [stdout] test operations::construction::tests::test_exists ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea ... ok
[INFO] [stdout] test operations::production::test::test_induction ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ae ... ok
[INFO] [stdout] test translate::test::test_to_english ... ok
[INFO] [stdout] test operations::production::test::test_interchange_ea_err ... ok
[INFO] [stdout] test terms::test::test_variable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 53 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[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/construction.rs - operations::construction::implies (line 58) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::successor (line 174) ... FAILED
[INFO] [stdout] test src/operations/production.rs - operations::production::generalization (line 38) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::not (line 20) ... FAILED
[INFO] [stdout] test src/operations/construction.rs - operations::construction::and (line 45) ... ok
[INFO] [stdout] test src/operations/construction.rs - operations::construction::forall (line 84) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::predecessor (line 196) ... ok
[INFO] [stdout] test src/operations/construction.rs - operations::construction::or (line 32) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::interchange_ae (line 109) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::specification (line 11) ... ok
[INFO] [stdout] test src/operations/construction.rs - operations::construction::eq (line 8) ... ok
[INFO] [stdout] test src/operations/construction.rs - operations::construction::exists (line 71) ... ok
[INFO] [stdout] test src/operations/production.rs - operations::production::interchange_ea (line 76) ... 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/production.rs - operations::production::symmetry (line 222) ... 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::successor (line 174) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-m64" "/tmp/rustdoctesteEwvHn/rust_out.rust_out.1376475e-cgu.0.rcgu.o" "/tmp/rustdoctesteEwvHn/rust_out.3oi7hjnjienb8flc.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-4921bb348a84bbf1.rlib" "/opt/rustwide/target/debug/deps/librand-56501c18efe3bb04.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-bbcc4b154ea9bf5f.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-8619f3436cd33015.rlib" "/opt/rustwide/target/debug/deps/librand_core-c656efcbdf6471a4.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1aab63c309d5af3a.rlib" "/opt/rustwide/target/debug/deps/liblibc-1a957b46f581daa5.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d27f345b2a6a3cd.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-e92083d5a39a8b50.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-608c8ebd4842ea56.rlib" "/opt/rustwide/target/debug/deps/libregex-0d05944307f13d91.rlib" "/opt/rustwide/target/debug/deps/libthread_local-62df5e16d8bfc5af.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-f3ab2a2ff8e863a7.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a774078b64f16039.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-396272b5012aa787.rlib" "/opt/rustwide/target/debug/deps/libmemchr-49f8853250254f16.rlib" "/opt/rustwide/target/debug/deps/libbit_set-eec1e45ec04a002e.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-0882e580dac8e806.rlib" "/opt/rustwide/target/debug/deps/libnum-a73d86b396e259ea.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-15402bab266671d1.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-ec9b2a1c42d3c0a4.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-58dbcdcb957168d2.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-5d026d03bb199a3e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-a90ff6ee69fda143.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-346037f6a0e499f4.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-197d933f09d9a590.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-46a006cddfd334f0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-5b9870310e470b38.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-260022ba8f1ab4ee.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-71377435a799394f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-658ee5924fde57cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-9e8627da6bd1b94a.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-19fdaac49f59be84.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-cb00e2691ea45905.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-50f6726defae5ae1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2afc16311deea26e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-bb5cb0fe086ee8cf.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-896053247b5dfd0b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-735e1f2ac3cf23be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-9dfb6622644c732c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-beea7d9617fe25c5.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-8ef7dd43fc671f88.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-a9a3b2ad67977f47.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-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctesteEwvHn/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::generalization (line 38) stdout ----
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note: "cc" "-m64" "/tmp/rustdoctestxxcX4x/rust_out.rust_out.1376475e-cgu.0.rcgu.o" "/tmp/rustdoctestxxcX4x/rust_out.3oi7hjnjienb8flc.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-4921bb348a84bbf1.rlib" "/opt/rustwide/target/debug/deps/librand-56501c18efe3bb04.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-bbcc4b154ea9bf5f.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-8619f3436cd33015.rlib" "/opt/rustwide/target/debug/deps/librand_core-c656efcbdf6471a4.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1aab63c309d5af3a.rlib" "/opt/rustwide/target/debug/deps/liblibc-1a957b46f581daa5.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d27f345b2a6a3cd.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-e92083d5a39a8b50.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-608c8ebd4842ea56.rlib" "/opt/rustwide/target/debug/deps/libregex-0d05944307f13d91.rlib" "/opt/rustwide/target/debug/deps/libthread_local-62df5e16d8bfc5af.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-f3ab2a2ff8e863a7.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a774078b64f16039.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-396272b5012aa787.rlib" "/opt/rustwide/target/debug/deps/libmemchr-49f8853250254f16.rlib" "/opt/rustwide/target/debug/deps/libbit_set-eec1e45ec04a002e.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-0882e580dac8e806.rlib" "/opt/rustwide/target/debug/deps/libnum-a73d86b396e259ea.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-15402bab266671d1.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-ec9b2a1c42d3c0a4.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-58dbcdcb957168d2.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-5d026d03bb199a3e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-a90ff6ee69fda143.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-346037f6a0e499f4.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-197d933f09d9a590.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-46a006cddfd334f0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-5b9870310e470b38.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-260022ba8f1ab4ee.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-71377435a799394f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-658ee5924fde57cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-9e8627da6bd1b94a.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-19fdaac49f59be84.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-cb00e2691ea45905.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-50f6726defae5ae1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2afc16311deea26e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-bb5cb0fe086ee8cf.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-896053247b5dfd0b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-735e1f2ac3cf23be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-9dfb6622644c732c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-beea7d9617fe25c5.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-8ef7dd43fc671f88.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-a9a3b2ad67977f47.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-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestxxcX4x/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/rustdoctestd8qSbs/rust_out.rust_out.1376475e-cgu.0.rcgu.o" "/tmp/rustdoctestd8qSbs/rust_out.3oi7hjnjienb8flc.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-4921bb348a84bbf1.rlib" "/opt/rustwide/target/debug/deps/librand-56501c18efe3bb04.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-bbcc4b154ea9bf5f.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-8619f3436cd33015.rlib" "/opt/rustwide/target/debug/deps/librand_core-c656efcbdf6471a4.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-1aab63c309d5af3a.rlib" "/opt/rustwide/target/debug/deps/liblibc-1a957b46f581daa5.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-0d27f345b2a6a3cd.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-e92083d5a39a8b50.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-608c8ebd4842ea56.rlib" "/opt/rustwide/target/debug/deps/libregex-0d05944307f13d91.rlib" "/opt/rustwide/target/debug/deps/libthread_local-62df5e16d8bfc5af.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-f3ab2a2ff8e863a7.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a774078b64f16039.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-396272b5012aa787.rlib" "/opt/rustwide/target/debug/deps/libmemchr-49f8853250254f16.rlib" "/opt/rustwide/target/debug/deps/libbit_set-eec1e45ec04a002e.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-0882e580dac8e806.rlib" "/opt/rustwide/target/debug/deps/libnum-a73d86b396e259ea.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-15402bab266671d1.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-ec9b2a1c42d3c0a4.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-58dbcdcb957168d2.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-5d026d03bb199a3e.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-a90ff6ee69fda143.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-346037f6a0e499f4.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-197d933f09d9a590.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-46a006cddfd334f0.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-5b9870310e470b38.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-260022ba8f1ab4ee.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-71377435a799394f.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-658ee5924fde57cd.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-9e8627da6bd1b94a.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-19fdaac49f59be84.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-cb00e2691ea45905.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-50f6726defae5ae1.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-2afc16311deea26e.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-bb5cb0fe086ee8cf.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-896053247b5dfd0b.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-735e1f2ac3cf23be.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-9dfb6622644c732c.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-beea7d9617fe25c5.rlib" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-8ef7dd43fc671f88.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/beta-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-a9a3b2ad67977f47.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-2021-08-01-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestd8qSbs/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:     0x5584e1cfd490 - std::backtrace_rs::backtrace::libunwind::trace::hff4d1766e93f64f1
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x5584e1cfd490 - std::backtrace_rs::backtrace::trace_unsynchronized::h56bbc8eb78770bcb
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x5584e1cfd490 - std::sys_common::backtrace::_print_fmt::h5c8e75464faca780
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x5584e1cfd490 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h48b88277def8b362
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x5584e1d17b9c - core::fmt::write::h3381b3176fe2b3d3
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/fmt/mod.rs:1115:17
[INFO] [stdout]    5:     0x5584e1cfbda5 - std::io::Write::write_fmt::hd42607e5d8e44db0
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/io/mod.rs:1665:15
[INFO] [stdout]    6:     0x5584e1cff2fb - std::sys_common::backtrace::_print::ha537687d6c17dd0d
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x5584e1cff2fb - std::sys_common::backtrace::print::h61376ae57d131d72
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x5584e1cff2fb - std::panicking::default_hook::{{closure}}::h0f7208c0b9644a54
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:208:50
[INFO] [stdout]    9:     0x5584e1cfedd1 - std::panicking::default_hook::hdac7fc06578c14ce
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:225:9
[INFO] [stdout]   10:     0x5584e1cff9c4 - std::panicking::rust_panic_with_hook::h72b21c283da3d1ef
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:622:17
[INFO] [stdout]   11:     0x5584e1cff4a7 - std::panicking::begin_panic_handler::{{closure}}::he5778f1729cff84a
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:519:13
[INFO] [stdout]   12:     0x5584e1cfd96c - std::sys_common::backtrace::__rust_end_short_backtrace::h2d11ca8b453b4b1d
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x5584e1cff409 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:515:5
[INFO] [stdout]   14:     0x5584e1adba5b - std::panicking::begin_panic_fmt::h746518bde832d259
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:457:5
[INFO] [stdout]   15:     0x5584e1ae1bd8 - tnt::formula::Formula::new::h98e7577c944487af
[INFO] [stdout]                                at /opt/rustwide/workdir/src/formula.rs:28:13
[INFO] [stdout]   16:     0x5584e1adcf93 - rust_out::main::_doctest_main_src_operations_production_rs_244_0::h937a736182928bae
[INFO] [stdout]   17:     0x5584e1adcf56 - rust_out::main::h61823b600df25383
[INFO] [stdout]   18:     0x5584e1adce73 - core::ops::function::FnOnce::call_once::h3d07824a44777914
[INFO] [stdout]   19:     0x5584e1adcda9 - std::sys_common::backtrace::__rust_begin_short_backtrace::h1ee1ba859d3174aa
[INFO] [stdout]   20:     0x5584e1adce29 - std::rt::lang_start::{{closure}}::hee9719d6b6efb7fa
[INFO] [stdout]   21:     0x5584e1cffeca - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::ha88a7d1a4d24e549
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/core/src/ops/function.rs:259:13
[INFO] [stdout]   22:     0x5584e1cffeca - std::panicking::try::do_call::hd3b1d7740607ccc7
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:401:40
[INFO] [stdout]   23:     0x5584e1cffeca - std::panicking::try::h0ee8c65ac7461507
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:365:19
[INFO] [stdout]   24:     0x5584e1cffeca - std::panic::catch_unwind::head47f0de4ccd838
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panic.rs:434:14
[INFO] [stdout]   25:     0x5584e1cffeca - std::rt::lang_start_internal::{{closure}}::hbc7de8ec820ac085
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/rt.rs:45:48
[INFO] [stdout]   26:     0x5584e1cffeca - std::panicking::try::do_call::h2609e52e8bad4a7b
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:401:40
[INFO] [stdout]   27:     0x5584e1cffeca - std::panicking::try::hd0929f0b603e0389
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panicking.rs:365:19
[INFO] [stdout]   28:     0x5584e1cffeca - std::panic::catch_unwind::h27902b81c3e47571
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/panic.rs:434:14
[INFO] [stdout]   29:     0x5584e1cffeca - std::rt::lang_start_internal::h3fb2d794dd391e3e
[INFO] [stdout]                                at /rustc/53fd98ca776cb875bc9e5514f56b52eb74f9e7a9/library/std/src/rt.rs:45:20
[INFO] [stdout]   30:     0x5584e1adce01 - std::rt::lang_start::h0745d281d96e0cdb
[INFO] [stdout]   31:     0x5584e1add043 - main
[INFO] [stdout]   32:     0x7faca05e10b3 - __libc_start_main
[INFO] [stdout]   33:     0x5584e1adccde - _start
[INFO] [stdout]   34:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[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::successor (line 174)
[INFO] [stdout]     src/operations/production.rs - operations::production::transitivity (line 244)
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 12 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out; finished in 6.97s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass '--doc'
[INFO] running `Command { std: "docker" "inspect" "32d22a5a3f2af383e0dc3fa929637432ce324be917b51e062d17581fd1c97edb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "32d22a5a3f2af383e0dc3fa929637432ce324be917b51e062d17581fd1c97edb", kill_on_drop: false }`
[INFO] [stdout] 32d22a5a3f2af383e0dc3fa929637432ce324be917b51e062d17581fd1c97edb
