[INFO] fetching crate tnt 1.0.1... [INFO] testing tnt-1.0.1 against 1.60.0 for beta-1.61-1 [INFO] extracting crate tnt 1.0.1 into /workspace/builds/worker-22/source [INFO] validating manifest of crates.io crate tnt 1.0.1 on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.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-22/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.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded num-complex v0.4.0 [INFO] [stderr] Downloaded num-bigint v0.4.0 [INFO] [stderr] Downloaded fancy-regex v0.5.0 [INFO] [stderr] Downloaded num v0.4.0 [INFO] [stderr] Downloaded num-rational v0.4.0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] abdfceacf1106f515efa59f7934c980610b8ba98bcf1832454754acfbc5599ee [INFO] running `Command { std: "docker" "start" "-a" "abdfceacf1106f515efa59f7934c980610b8ba98bcf1832454754acfbc5599ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "abdfceacf1106f515efa59f7934c980610b8ba98bcf1832454754acfbc5599ee", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "abdfceacf1106f515efa59f7934c980610b8ba98bcf1832454754acfbc5599ee", kill_on_drop: false }` [INFO] [stdout] abdfceacf1106f515efa59f7934c980610b8ba98bcf1832454754acfbc5599ee [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 14bafd53bbe0788e4c11633355c8131eb5512b1297ebf5eb6a9098a078bcb9f0 [INFO] running `Command { std: "docker" "start" "-a" "14bafd53bbe0788e4c11633355c8131eb5512b1297ebf5eb6a9098a078bcb9f0", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.93 [INFO] [stderr] Compiling getrandom v0.2.2 [INFO] [stderr] Compiling memchr v2.3.4 [INFO] [stderr] Compiling once_cell v1.7.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.10 [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 rand_chacha v0.3.0 [INFO] [stderr] Compiling num-complex v0.4.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] [stdout] warning: field is never read: `message` [INFO] [stdout] --> src/logic_errors.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | message: String [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] --> src/logic_errors.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(Debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 6.46s [INFO] running `Command { std: "docker" "inspect" "14bafd53bbe0788e4c11633355c8131eb5512b1297ebf5eb6a9098a078bcb9f0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "14bafd53bbe0788e4c11633355c8131eb5512b1297ebf5eb6a9098a078bcb9f0", kill_on_drop: false }` [INFO] [stdout] 14bafd53bbe0788e4c11633355c8131eb5512b1297ebf5eb6a9098a078bcb9f0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 413f8fd72b7248e1f0513ee13308f32607e91a6fa940fb95a857e0851b339889 [INFO] running `Command { std: "docker" "start" "-a" "413f8fd72b7248e1f0513ee13308f32607e91a6fa940fb95a857e0851b339889", kill_on_drop: false }` [INFO] [stdout] warning: field is never read: `message` [INFO] [stdout] --> src/logic_errors.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | message: String [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] --> src/logic_errors.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(Debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling tnt v1.0.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field is never read: `message` [INFO] [stdout] --> src/logic_errors.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | message: String [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stdout] --> src/logic_errors.rs:3:10 [INFO] [stdout] | [INFO] [stdout] 3 | #[derive(Debug)] [INFO] [stdout] | ^^^^^ [INFO] [stdout] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.44s [INFO] running `Command { std: "docker" "inspect" "413f8fd72b7248e1f0513ee13308f32607e91a6fa940fb95a857e0851b339889", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "413f8fd72b7248e1f0513ee13308f32607e91a6fa940fb95a857e0851b339889", kill_on_drop: false }` [INFO] [stdout] 413f8fd72b7248e1f0513ee13308f32607e91a6fa940fb95a857e0851b339889 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-22/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] ad70d874db5c9d831e8b13666f840af76a0551faac85cb05fa1c6b8f2a0eae2c [INFO] running `Command { std: "docker" "start" "-a" "ad70d874db5c9d831e8b13666f840af76a0551faac85cb05fa1c6b8f2a0eae2c", kill_on_drop: false }` [INFO] [stderr] warning: field is never read: `message` [INFO] [stderr] --> src/logic_errors.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | message: String [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] note: `LogicError` has a derived impl for the trait `Debug`, but this is intentionally ignored during dead code analysis [INFO] [stderr] --> src/logic_errors.rs:3:10 [INFO] [stderr] | [INFO] [stderr] 3 | #[derive(Debug)] [INFO] [stderr] | ^^^^^ [INFO] [stderr] = note: this warning originates in the derive macro `Debug` (in Nightly builds, run with -Z macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] warning: `tnt` (lib) generated 1 warning [INFO] [stderr] warning: `tnt` (lib test) generated 1 warning (1 duplicate) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/tnt-19278afab791875e) [INFO] [stdout] [INFO] [stdout] running 53 tests [INFO] [stdout] test operations::production::test::test_generalization_err ... ok [INFO] [stdout] test formula::test::test_specify_var ... ok [INFO] [stdout] test formula::test::test_replace_var ... ok [INFO] [stdout] test operations::production::test::test_predecessor_err_1 ... ok [INFO] [stdout] test operations::production::test::test_predecessor ... ok [INFO] [stdout] test operations::construction::tests::test_not ... ok [INFO] [stdout] test operations::construction::tests::test_exists ... ok [INFO] [stdout] test operations::production::test::test_induction ... ok [INFO] [stdout] test operations::construction::tests::test_implies ... ok [INFO] [stdout] test operations::construction::tests::test_or ... 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_generalization ... ok [INFO] [stdout] test operations::production::test::test_interchange_ea_err ... ok [INFO] [stdout] test operations::construction::tests::test_eq ... ok [INFO] [stdout] test operations::production::test::test_successor ... ok [INFO] [stdout] test operations::production::test::test_interchange_ae_err ... ok [INFO] [stdout] test operations::production::test::test_symmetry ... ok [INFO] [stdout] test operations::construction::tests::test_forall ... ok [INFO] [stdout] test operations::production::test::test_interchange_ea ... ok [INFO] [stdout] test operations::production::test::test_interchange_ae ... ok [INFO] [stdout] test operations::production::test::test_successor_err ... ok [INFO] [stdout] test operations::production::test::test_symmetry_err ... ok [INFO] [stdout] test operations::production::test::test_transitivity ... ok [INFO] [stdout] test operations::production::test::test_transitivity_err_2 ... ok [INFO] [stdout] test operations::production::test::test_transitivity_err_1_left ... ok [INFO] [stdout] test operations::production::test::test_specification_err2 ... ok [INFO] [stdout] test operations::production::test::test_transitivity_err_1_right ... ok [INFO] [stdout] test operations::production::test::test_specification_err1 ... ok [INFO] [stdout] test properties::test::test_is_num ... ok [INFO] [stdout] test properties::test::test_is_equation ... ok [INFO] [stdout] test operations::production::test::test_specification ... ok [INFO] [stdout] test properties::test::test_is_simple_formula ... ok [INFO] [stdout] test properties::test::test_is_var ... 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_vars ... ok [INFO] [stdout] test string_manip::test::test_get_bound_vars ... ok [INFO] [stdout] test properties::test::test_is_complex_formula ... ok [INFO] [stdout] test random::test::test_random_expression ... ok [INFO] [stdout] test string_manip::test::test_left_implies ... ok [INFO] [stdout] test string_manip::test::test_split_arithmetic ... ok [INFO] [stdout] test properties::test::test_is_formula ... ok [INFO] [stdout] test string_manip::test::test_replace_all_re ... ok [INFO] [stdout] test string_manip::test::test_split_logical ... ok [INFO] [stdout] test string_manip::test::test_strip_quants ... ok [INFO] [stdout] test string_manip::test::test_strip_succ_all ... ok [INFO] [stdout] test translate::test::test_arithmetize ... ok [INFO] [stdout] test translate::test::test_to_austere ... ok [INFO] [stdout] test terms::test::test_number ... ok [INFO] [stdout] test terms::test::test_expression ... 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.02s [INFO] [stdout] [INFO] [stderr] Doc-tests tnt [INFO] [stdout] [INFO] [stdout] running 17 tests [INFO] [stdout] test src/operations/production.rs - operations::production::existence (line 56) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::specification (line 11) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::eq (line 8) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::generalization (line 38) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::interchange_ea (line 76) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::induction (line 142) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::implies (line 58) ... FAILED [INFO] [stdout] test src/operations/production.rs - operations::production::predecessor (line 196) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::or (line 32) ... FAILED [INFO] [stdout] test src/operations/construction.rs - operations::construction::exists (line 71) ... 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::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::interchange_ae (line 109) ... ok [INFO] [stdout] test src/operations/construction.rs - operations::construction::forall (line 84) ... ok [INFO] [stdout] test src/operations/construction.rs - operations::construction::not (line 20) ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- src/operations/production.rs - operations::production::existence (line 56) stdout ---- [INFO] [stdout] error[E0061]: this function takes 3 arguments but 2 arguments were supplied [INFO] [stdout] --> src/operations/production.rs:62:1 [INFO] [stdout] | [INFO] [stdout] 9 | existence(f,a); // Ea':Ea:[a=a&a'=a'] [INFO] [stdout] | ^^^^^^^^^ - - supplied 2 arguments [INFO] [stdout] | | [INFO] [stdout] | expected 3 arguments [INFO] [stdout] | [INFO] [stdout] note: function defined here [INFO] [stdout] --> /opt/rustwide/workdir/src/operations/production.rs:64:8 [INFO] [stdout] | [INFO] [stdout] 64 | pub fn existence(x: &Formula, t: &T, v: &Variable) -> Result { [INFO] [stdout] | ^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] For more information about this error, try `rustc --explain E0061`. [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::specification (line 11) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/construction.rs - operations::construction::eq (line 8) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::generalization (line 38) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::interchange_ea (line 76) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::induction (line 142) stdout ---- [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/construction.rs - operations::construction::implies (line 58) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/tmp/rustdoctestTpKMo5/rust_out.rust_out.d15b8dda-cgu.0.rcgu.o" "/tmp/rustdoctestTpKMo5/rust_out.2z06mqrdeufredrw.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-2dcb3c70147b5e2f.rlib" "/opt/rustwide/target/debug/deps/librand-f7724097c6846864.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-081ef7e931a677a4.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-588d0e00b70994d5.rlib" "/opt/rustwide/target/debug/deps/librand_core-3a060ec7bda7b6c4.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-82de2e579c3e35fb.rlib" "/opt/rustwide/target/debug/deps/liblibc-1d47921b015fb08c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-56df745b5175507b.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b341606102c7008f.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-f3c64a0d139d36f8.rlib" "/opt/rustwide/target/debug/deps/libregex-5693cf09944ee9f8.rlib" "/opt/rustwide/target/debug/deps/libthread_local-1fbf02ef30c1c537.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-a04fb4648d6d7df6.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a85c9505f7f8db9f.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-38d1d4d3be96c2b9.rlib" "/opt/rustwide/target/debug/deps/libmemchr-829eafb2866da253.rlib" "/opt/rustwide/target/debug/deps/libbit_set-687369ecfc29424a.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-50c2e67da31d40d9.rlib" "/opt/rustwide/target/debug/deps/libnum-2b35c008719d0426.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-219e2a3b59d6e4ab.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-c7031ed7e6f571e3.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-14a0dd94947afc9d.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-3d4861ed86807079.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-fd785b15966ef71e.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-35ef771583656b34.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8d61b92a0a02f53a.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-fc45202bb435016b.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-f2400674c7513725.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-605c3a7d1a5d300d.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-3d4fb4efa907e4e8.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-65207f030ab23308.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-76ca199cb0186109.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1e3e01ed4f561dc1.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dd8dddcba7c13fee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-00b13d31c3420656.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e4c8460b81557bd5.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-600d46e5f0005455.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e4a08a2585b62d37.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fbc21ec567cb9dc7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-10b3fa8e49bd978f.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-64625b73694ffce7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-fb6b78ac543a58ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1d1f2d1bec6f51b8.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-acf5ff6e9595d982.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.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestTpKMo5/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::predecessor (line 196) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/tmp/rustdoctestjNw1uy/rust_out.rust_out.d15b8dda-cgu.0.rcgu.o" "/tmp/rustdoctestjNw1uy/rust_out.2z06mqrdeufredrw.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-2dcb3c70147b5e2f.rlib" "/opt/rustwide/target/debug/deps/librand-f7724097c6846864.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-081ef7e931a677a4.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-588d0e00b70994d5.rlib" "/opt/rustwide/target/debug/deps/librand_core-3a060ec7bda7b6c4.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-82de2e579c3e35fb.rlib" "/opt/rustwide/target/debug/deps/liblibc-1d47921b015fb08c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-56df745b5175507b.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b341606102c7008f.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-f3c64a0d139d36f8.rlib" "/opt/rustwide/target/debug/deps/libregex-5693cf09944ee9f8.rlib" "/opt/rustwide/target/debug/deps/libthread_local-1fbf02ef30c1c537.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-a04fb4648d6d7df6.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a85c9505f7f8db9f.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-38d1d4d3be96c2b9.rlib" "/opt/rustwide/target/debug/deps/libmemchr-829eafb2866da253.rlib" "/opt/rustwide/target/debug/deps/libbit_set-687369ecfc29424a.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-50c2e67da31d40d9.rlib" "/opt/rustwide/target/debug/deps/libnum-2b35c008719d0426.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-219e2a3b59d6e4ab.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-c7031ed7e6f571e3.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-14a0dd94947afc9d.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-3d4861ed86807079.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-fd785b15966ef71e.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-35ef771583656b34.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8d61b92a0a02f53a.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-fc45202bb435016b.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-f2400674c7513725.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-605c3a7d1a5d300d.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-3d4fb4efa907e4e8.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-65207f030ab23308.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-76ca199cb0186109.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1e3e01ed4f561dc1.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dd8dddcba7c13fee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-00b13d31c3420656.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e4c8460b81557bd5.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-600d46e5f0005455.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e4a08a2585b62d37.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fbc21ec567cb9dc7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-10b3fa8e49bd978f.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-64625b73694ffce7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-fb6b78ac543a58ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1d1f2d1bec6f51b8.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-acf5ff6e9595d982.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.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctestjNw1uy/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/construction.rs - operations::construction::or (line 32) stdout ---- [INFO] [stdout] error: linking with `cc` failed: exit status: 1 [INFO] [stdout] | [INFO] [stdout] = note: "cc" "-m64" "/tmp/rustdoctest9hpvVL/rust_out.rust_out.d15b8dda-cgu.0.rcgu.o" "/tmp/rustdoctest9hpvVL/rust_out.2z06mqrdeufredrw.rcgu.o" "-Wl,--as-needed" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/target/debug/deps" "-L" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-Wl,-Bstatic" "/opt/rustwide/target/debug/deps/libtnt-2dcb3c70147b5e2f.rlib" "/opt/rustwide/target/debug/deps/librand-f7724097c6846864.rlib" "/opt/rustwide/target/debug/deps/librand_chacha-081ef7e931a677a4.rlib" "/opt/rustwide/target/debug/deps/libppv_lite86-588d0e00b70994d5.rlib" "/opt/rustwide/target/debug/deps/librand_core-3a060ec7bda7b6c4.rlib" "/opt/rustwide/target/debug/deps/libgetrandom-82de2e579c3e35fb.rlib" "/opt/rustwide/target/debug/deps/liblibc-1d47921b015fb08c.rlib" "/opt/rustwide/target/debug/deps/libcfg_if-56df745b5175507b.rlib" "/opt/rustwide/target/debug/deps/liblazy_static-b341606102c7008f.rlib" "/opt/rustwide/target/debug/deps/libfancy_regex-f3c64a0d139d36f8.rlib" "/opt/rustwide/target/debug/deps/libregex-5693cf09944ee9f8.rlib" "/opt/rustwide/target/debug/deps/libthread_local-1fbf02ef30c1c537.rlib" "/opt/rustwide/target/debug/deps/libonce_cell-a04fb4648d6d7df6.rlib" "/opt/rustwide/target/debug/deps/libregex_syntax-a85c9505f7f8db9f.rlib" "/opt/rustwide/target/debug/deps/libaho_corasick-38d1d4d3be96c2b9.rlib" "/opt/rustwide/target/debug/deps/libmemchr-829eafb2866da253.rlib" "/opt/rustwide/target/debug/deps/libbit_set-687369ecfc29424a.rlib" "/opt/rustwide/target/debug/deps/libbit_vec-50c2e67da31d40d9.rlib" "/opt/rustwide/target/debug/deps/libnum-2b35c008719d0426.rlib" "/opt/rustwide/target/debug/deps/libnum_iter-219e2a3b59d6e4ab.rlib" "/opt/rustwide/target/debug/deps/libnum_rational-c7031ed7e6f571e3.rlib" "/opt/rustwide/target/debug/deps/libnum_complex-14a0dd94947afc9d.rlib" "/opt/rustwide/target/debug/deps/libnum_bigint-3d4861ed86807079.rlib" "/opt/rustwide/target/debug/deps/libnum_integer-fd785b15966ef71e.rlib" "/opt/rustwide/target/debug/deps/libnum_traits-35ef771583656b34.rlib" "-Wl,--start-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd-8d61b92a0a02f53a.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libpanic_unwind-fc45202bb435016b.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libminiz_oxide-f2400674c7513725.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libadler-605c3a7d1a5d300d.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libobject-3d4fb4efa907e4e8.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libmemchr-65207f030ab23308.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libaddr2line-76ca199cb0186109.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libgimli-1e3e01ed4f561dc1.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_demangle-dd8dddcba7c13fee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libstd_detect-00b13d31c3420656.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libhashbrown-e4c8460b81557bd5.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_alloc-600d46e5f0005455.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libunwind-e4a08a2585b62d37.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcfg_if-fbc21ec567cb9dc7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liblibc-10b3fa8e49bd978f.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/liballoc-64625b73694ffce7.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/librustc_std_workspace_core-fb6b78ac543a58ee.rlib" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcore-1d1f2d1bec6f51b8.rlib" "-Wl,--end-group" "/opt/rustwide/rustup-home/toolchains/1.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib/libcompiler_builtins-acf5ff6e9595d982.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.60.0-x86_64-unknown-linux-gnu/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/tmp/rustdoctest9hpvVL/rust_out" "-Wl,--gc-sections" "-pie" "-Wl,-zrelro,-znow" "-nodefaultlibs" [INFO] [stdout] = note: collect2: fatal error: ld terminated with signal 9 [Killed] [INFO] [stdout] compilation terminated. [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] error: aborting due to previous error [INFO] [stdout] [INFO] [stdout] Couldn't compile the test. [INFO] [stdout] ---- src/operations/production.rs - operations::production::transitivity (line 244) stdout ---- [INFO] [stdout] 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: 0x5641570dc1ad - std::backtrace_rs::backtrace::libunwind::trace::hee598835bc88d35b [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5641570dc1ad - std::backtrace_rs::backtrace::trace_unsynchronized::h9cdc730ba5cf5d72 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5641570dc1ad - std::sys_common::backtrace::_print_fmt::h75aeaf7ed30e43fa [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5641570dc1ad - ::fmt::h606862f787600875 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x5641570f934c - core::fmt::write::he803f0f418caf762 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/fmt/mod.rs:1190:17 [INFO] [stdout] 5: 0x5641570d9108 - std::io::Write::write_fmt::h70bc45872f37e7bb [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/io/mod.rs:1657:15 [INFO] [stdout] 6: 0x5641570ddfe7 - std::sys_common::backtrace::_print::h64d038cf8ac3e13e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x5641570ddfe7 - std::sys_common::backtrace::print::h359300b4a7fccf65 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x5641570ddfe7 - std::panicking::default_hook::{{closure}}::hf51be35e2f510149 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x5641570ddcb0 - std::panicking::default_hook::h03ca0f22e1d2d25e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:314:9 [INFO] [stdout] 10: 0x5641570de739 - std::panicking::rust_panic_with_hook::h3b7380e99b825b63 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x5641570de427 - std::panicking::begin_panic_handler::{{closure}}::h8e849d0710154ce0 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5641570dc674 - std::sys_common::backtrace::__rust_end_short_backtrace::hedcdaddbd4c46cc5 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5641570de139 - rust_begin_unwind [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x564156ec08f3 - core::panicking::panic_fmt::he1bbc7336d49a357 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x564156ec1606 - tnt::formula::Formula::new::h5c10c43999cff660 [INFO] [stdout] at /opt/rustwide/workdir/src/formula.rs:28:13 [INFO] [stdout] 16: 0x564156ec12b3 - rust_out::main::_doctest_main_src_operations_production_rs_244_0::h88e0a19fca912202 [INFO] [stdout] 17: 0x564156ec1276 - rust_out::main::he239c4229bb09803 [INFO] [stdout] 18: 0x564156ec1203 - core::ops::function::FnOnce::call_once::h13013349529417b5 [INFO] [stdout] 19: 0x564156ec1409 - std::sys_common::backtrace::__rust_begin_short_backtrace::hf40d275ec09763ca [INFO] [stdout] 20: 0x564156ec13d9 - std::rt::lang_start::{{closure}}::h3f8eb3e9838506c6 [INFO] [stdout] 21: 0x5641570db891 - core::ops::function::impls:: for &F>::call_once::hb7014f43484a8b4e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/core/src/ops/function.rs:259:13 [INFO] [stdout] 22: 0x5641570db891 - std::panicking::try::do_call::h7bc9dc436daeb8c7 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 23: 0x5641570db891 - std::panicking::try::h653d68a27ff5f175 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 24: 0x5641570db891 - std::panic::catch_unwind::h9d739f9f59895e68 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 25: 0x5641570db891 - std::rt::lang_start_internal::{{closure}}::hf006f2bc7ce22bbe [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/rt.rs:128:48 [INFO] [stdout] 26: 0x5641570db891 - std::panicking::try::do_call::hfb39d6df61a2e69f [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:492:40 [INFO] [stdout] 27: 0x5641570db891 - std::panicking::try::h13e2d225134958ac [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panicking.rs:456:19 [INFO] [stdout] 28: 0x5641570db891 - std::panic::catch_unwind::h3bd49b5a5dfb1a50 [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/panic.rs:137:14 [INFO] [stdout] 29: 0x5641570db891 - std::rt::lang_start_internal::h2ba92edce36c035e [INFO] [stdout] at /rustc/7737e0b5c4103216d6fd8cf941b7ab9bdbaace7c/library/std/src/rt.rs:128:20 [INFO] [stdout] 30: 0x564156ec13c1 - std::rt::lang_start::he6b3cd9500177830 [INFO] [stdout] 31: 0x564156ec1463 - main [INFO] [stdout] 32: 0x7f229c1c50b3 - __libc_start_main [INFO] [stdout] 33: 0x564156ec111e - _start [INFO] [stdout] 34: 0x0 - [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::implies (line 58) [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::induction (line 142) [INFO] [stdout] src/operations/production.rs - operations::production::interchange_ea (line 76) [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::transitivity (line 244) [INFO] [stdout] [INFO] [stdout] test result: FAILED. 7 passed; 10 failed; 0 ignored; 0 measured; 0 filtered out; finished in 2.93s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--doc' [INFO] running `Command { std: "docker" "inspect" "ad70d874db5c9d831e8b13666f840af76a0551faac85cb05fa1c6b8f2a0eae2c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ad70d874db5c9d831e8b13666f840af76a0551faac85cb05fa1c6b8f2a0eae2c", kill_on_drop: false }` [INFO] [stdout] ad70d874db5c9d831e8b13666f840af76a0551faac85cb05fa1c6b8f2a0eae2c