[INFO] cloning repository https://github.com/m-dahl/guard_extraction
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/m-dahl/guard_extraction" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 499a8193a8a62b00718a7de82609995801af48f8
[INFO] testing m-dahl/guard_extraction against 1.49.0 for beta-1.50-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction" "/workspace/builds/worker-8/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-8/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/m-dahl/guard_extraction on toolchain 1.49.0
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.49.0" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/m-dahl/guard_extraction
[INFO] finished tweaking git repo https://github.com/m-dahl/guard_extraction
[INFO] tweaked toml for git repo https://github.com/m-dahl/guard_extraction written to /workspace/builds/worker-8/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.49.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating git repository `https://github.com/m-dahl/buddy-rs`
[INFO] [stderr]     Updating git repository `https://github.com/m-dahl/espresso-rs`
[INFO] [stderr]     Updating git repository `https://github.com/m-dahl/buddy-sys`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.49.0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c3fe1c60068dadbb290a08ea5c4bfb90cdcfcaa168298e7b22e88f668165adc8
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "c3fe1c60068dadbb290a08ea5c4bfb90cdcfcaa168298e7b22e88f668165adc8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c3fe1c60068dadbb290a08ea5c4bfb90cdcfcaa168298e7b22e88f668165adc8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c3fe1c60068dadbb290a08ea5c4bfb90cdcfcaa168298e7b22e88f668165adc8", kill_on_drop: false }`
[INFO] [stdout] c3fe1c60068dadbb290a08ea5c4bfb90cdcfcaa168298e7b22e88f668165adc8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7777b9da0cbf1ba513f0cbd277976fe423b9b7b36885d6aed8c09ace7c47a73d
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "7777b9da0cbf1ba513f0cbd277976fe423b9b7b36885d6aed8c09ace7c47a73d", kill_on_drop: false }`
[INFO] [stderr]    Compiling bindgen v0.52.0
[INFO] [stderr]    Compiling libloading v0.5.2
[INFO] [stderr]    Compiling espresso-rs v0.1.0 (https://github.com/m-dahl/espresso-rs#5c9155b6)
[INFO] [stderr]    Compiling itertools v0.8.2
[INFO] [stderr]    Compiling nom v4.2.3
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]    Compiling cexpr v0.3.6
[INFO] [stderr]    Compiling clang-sys v0.28.1
[INFO] [stderr]    Compiling buddy-sys v0.1.0 (https://github.com/m-dahl/buddy-sys#009c3bd2)
[INFO] [stderr]    Compiling buddy-rs v0.1.0 (https://github.com/m-dahl/buddy-rs#27979f19)
[INFO] [stderr]    Compiling guard_extraction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 01s
[INFO] running `Command { std: "docker" "inspect" "7777b9da0cbf1ba513f0cbd277976fe423b9b7b36885d6aed8c09ace7c47a73d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7777b9da0cbf1ba513f0cbd277976fe423b9b7b36885d6aed8c09ace7c47a73d", kill_on_drop: false }`
[INFO] [stdout] 7777b9da0cbf1ba513f0cbd277976fe423b9b7b36885d6aed8c09ace7c47a73d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8fbdcf483f715bfb20110d7202468ff39e6e000eefb28ced788f059508be3a35
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "8fbdcf483f715bfb20110d7202468ff39e6e000eefb28ced788f059508be3a35", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling guard_extraction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.26s
[INFO] running `Command { std: "docker" "inspect" "8fbdcf483f715bfb20110d7202468ff39e6e000eefb28ced788f059508be3a35", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8fbdcf483f715bfb20110d7202468ff39e6e000eefb28ced788f059508be3a35", kill_on_drop: false }`
[INFO] [stdout] 8fbdcf483f715bfb20110d7202468ff39e6e000eefb28ced788f059508be3a35
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-8/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] e120ec642eff190f4c5f6cf129fd451bc473998a926921f034f8c4db413bf3b4
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "e120ec642eff190f4c5f6cf129fd451bc473998a926921f034f8c4db413bf3b4", kill_on_drop: false }`
[INFO] [stdout] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stdout] running 3 tests
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/guard_extraction-5a66d46a0596bf1c
[INFO] [stdout] test bdd_context::ps_test ... ok
[INFO] [stderr] error: test failed, to rerun pass '--lib'
[INFO] [stdout] test bdd_context::test_to_cnf_tseitsin ... FAILED
[INFO] [stdout] test bdd_context::test_to_cnf_tseitsin_base_cases ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- bdd_context::test_to_cnf_tseitsin stdout ----
[INFO] [stdout] added 5 new variables
[INFO] [stdout] top literal: Lit { var: 7, neg: false }
[INFO] [stdout] clause Clause([Lit { var: 0, neg: true }, Lit { var: 6, neg: true }, Lit { var: 7, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: true }, Lit { var: 6, neg: false }, Lit { var: 7, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }, Lit { var: 3, neg: true }, Lit { var: 7, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }, Lit { var: 3, neg: false }, Lit { var: 7, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 6, neg: true }, Lit { var: 3, neg: true }, Lit { var: 7, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 6, neg: false }, Lit { var: 3, neg: false }, Lit { var: 7, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: true }, Lit { var: 4, neg: true }, Lit { var: 6, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: true }, Lit { var: 4, neg: false }, Lit { var: 6, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: false }, Lit { var: 5, neg: true }, Lit { var: 6, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: false }, Lit { var: 5, neg: false }, Lit { var: 6, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 4, neg: true }, Lit { var: 5, neg: true }, Lit { var: 6, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 4, neg: false }, Lit { var: 5, neg: false }, Lit { var: 6, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: true }, Lit { var: 4, neg: true }, Lit { var: 5, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: true }, Lit { var: 4, neg: false }, Lit { var: 5, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: false }, Lit { var: 3, neg: true }, Lit { var: 5, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: false }, Lit { var: 3, neg: false }, Lit { var: 5, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 4, neg: true }, Lit { var: 3, neg: true }, Lit { var: 5, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 4, neg: false }, Lit { var: 3, neg: false }, Lit { var: 5, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 4, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 3, neg: true }])
[INFO] [stdout] added 5 new variables
[INFO] [stdout] top literal: Lit { var: 12, neg: false }
[INFO] [stdout] clause Clause([Lit { var: 0, neg: true }, Lit { var: 11, neg: true }, Lit { var: 12, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: true }, Lit { var: 11, neg: false }, Lit { var: 12, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }, Lit { var: 9, neg: true }, Lit { var: 12, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }, Lit { var: 9, neg: false }, Lit { var: 12, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 11, neg: true }, Lit { var: 9, neg: true }, Lit { var: 12, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 11, neg: false }, Lit { var: 9, neg: false }, Lit { var: 12, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: true }, Lit { var: 8, neg: true }, Lit { var: 11, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: true }, Lit { var: 8, neg: false }, Lit { var: 11, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: false }, Lit { var: 10, neg: true }, Lit { var: 11, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 1, neg: false }, Lit { var: 10, neg: false }, Lit { var: 11, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 8, neg: true }, Lit { var: 10, neg: true }, Lit { var: 11, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 8, neg: false }, Lit { var: 10, neg: false }, Lit { var: 11, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: true }, Lit { var: 8, neg: true }, Lit { var: 10, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: true }, Lit { var: 8, neg: false }, Lit { var: 10, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: false }, Lit { var: 9, neg: true }, Lit { var: 10, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 2, neg: false }, Lit { var: 9, neg: false }, Lit { var: 10, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 8, neg: true }, Lit { var: 9, neg: true }, Lit { var: 10, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 8, neg: false }, Lit { var: 9, neg: false }, Lit { var: 10, neg: true }])
[INFO] [stdout] clause Clause([Lit { var: 9, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 8, neg: true }])
[INFO] [stdout] thread 'bdd_context::test_to_cnf_tseitsin' panicked at 'assertion failed: false', src/bdd_context.rs:1334:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x559658b9ed90 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5
[INFO] [stdout]    1:     0x559658b9ed90 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x559658b9ed90 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x559658b9ed90 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::he009dcaaa75eed60
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x559658bc1e7c - core::fmt::write::h77b4746b0dea1dd3
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17
[INFO] [stdout]    5:     0x559658b3b236 - std::io::Write::write_fmt::h3a40d9c04f88bb58
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15
[INFO] [stdout]    6:     0x559658b9908d - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::h1b3d263673641f53
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9
[INFO] [stdout]    7:     0x559658ba1465 - std::sys_common::backtrace::_print::h2d880c9e69a21be9
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    8:     0x559658ba1465 - std::sys_common::backtrace::print::h5f02b1bb49f36879
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    9:     0x559658ba1465 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50
[INFO] [stdout]   10:     0x559658ba10b2 - std::panicking::default_hook::hb52d73f0da9a4bb8
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9
[INFO] [stdout]   11:     0x559658ba1c01 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17
[INFO] [stdout]   12:     0x559658b77c8e - std::panicking::begin_panic::{{closure}}::h30382b40c6f21ef6
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:522:9
[INFO] [stdout]   13:     0x559658b78af9 - std::sys_common::backtrace::__rust_end_short_backtrace::hae967eadfe9a8d81
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   14:     0x559658b77bbb - std::panicking::begin_panic::hdd3dbc62e751930f
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:521:12
[INFO] [stdout]   15:     0x559658b28125 - guard_extraction::bdd_context::test_to_cnf_tseitsin::h20a48193e1aed490
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1334:5
[INFO] [stdout]   16:     0x559658b27b8a - guard_extraction::bdd_context::test_to_cnf_tseitsin::{{closure}}::h43a09bcf651c877b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1300:1
[INFO] [stdout]   17:     0x559658b35f4e - core::ops::function::FnOnce::call_once::h284a0812d37a8e02
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18:     0x559658b62d83 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   19:     0x559658b62d83 - test::__rust_begin_short_backtrace::hb1dea1c208110812
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5
[INFO] [stdout]   20:     0x559658b6122a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5d11a40efef721f2
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9
[INFO] [stdout]   21:     0x559658b6122a - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9
[INFO] [stdout]   22:     0x559658b6122a - std::panicking::try::do_call::h6390646e3de3fb9e
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40
[INFO] [stdout]   23:     0x559658b6122a - std::panicking::try::hc531439ab6159192
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19
[INFO] [stdout]   24:     0x559658b6122a - std::panic::catch_unwind::h859d8bdaf9b4855c
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14
[INFO] [stdout]   25:     0x559658b6122a - test::run_test_in_process::hae60aa74417e3abc
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18
[INFO] [stdout]   26:     0x559658b6122a - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39
[INFO] [stdout]   27:     0x559658b3a5b6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   28:     0x559658b3f5b3 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17
[INFO] [stdout]   29:     0x559658b3f5b3 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9
[INFO] [stdout]   30:     0x559658b3f5b3 - std::panicking::try::do_call::h722bb7416d021cdc
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40
[INFO] [stdout]   31:     0x559658b3f5b3 - std::panicking::try::h78e5abca71ac7cac
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19
[INFO] [stdout]   32:     0x559658b3f5b3 - std::panic::catch_unwind::h95162588bd0fa090
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14
[INFO] [stdout]   33:     0x559658b3f5b3 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30
[INFO] [stdout]   34:     0x559658b3f5b3 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   35:     0x559658ba802a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h09ff301006f1aeca
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9
[INFO] [stdout]   36:     0x559658ba802a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::he79488c8f00b5f31
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9
[INFO] [stdout]   37:     0x559658ba802a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17
[INFO] [stdout]   38:     0x7fdbc2e33609 - start_thread
[INFO] [stdout]   39:     0x7fdbc2c05293 - clone
[INFO] [stdout]   40:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- bdd_context::test_to_cnf_tseitsin_base_cases stdout ----
[INFO] [stdout] added 1 new variables
[INFO] [stdout] top literal: Lit { var: 0, neg: false }
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }, Lit { var: 0, neg: true }])
[INFO] [stdout] added 1 new variables
[INFO] [stdout] top literal: Lit { var: 0, neg: false }
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: true }])
[INFO] [stdout] thread 'bdd_context::test_to_cnf_tseitsin_base_cases' panicked at 'assertion failed: false', src/bdd_context.rs:1363:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x559658b9ed90 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5
[INFO] [stdout]    1:     0x559658b9ed90 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x559658b9ed90 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x559658b9ed90 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::he009dcaaa75eed60
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x559658bc1e7c - core::fmt::write::h77b4746b0dea1dd3
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17
[INFO] [stdout]    5:     0x559658b3b236 - std::io::Write::write_fmt::h3a40d9c04f88bb58
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15
[INFO] [stdout]    6:     0x559658b9908d - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::h1b3d263673641f53
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9
[INFO] [stdout]    7:     0x559658ba1465 - std::sys_common::backtrace::_print::h2d880c9e69a21be9
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    8:     0x559658ba1465 - std::sys_common::backtrace::print::h5f02b1bb49f36879
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    9:     0x559658ba1465 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50
[INFO] [stdout]   10:     0x559658ba10b2 - std::panicking::default_hook::hb52d73f0da9a4bb8
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9
[INFO] [stdout]   11:     0x559658ba1c01 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17
[INFO] [stdout]   12:     0x559658b77c8e - std::panicking::begin_panic::{{closure}}::h30382b40c6f21ef6
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:522:9
[INFO] [stdout]   13:     0x559658b78af9 - std::sys_common::backtrace::__rust_end_short_backtrace::hae967eadfe9a8d81
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   14:     0x559658b77bbb - std::panicking::begin_panic::hdd3dbc62e751930f
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:521:12
[INFO] [stdout]   15:     0x559658b28812 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::hf3f020b0f9b37563
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1363:5
[INFO] [stdout]   16:     0x559658b2838a - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::{{closure}}::h03a1bd59d90895cb
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1338:1
[INFO] [stdout]   17:     0x559658b35f7e - core::ops::function::FnOnce::call_once::h603f2e14244fd413
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18:     0x559658b62d83 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   19:     0x559658b62d83 - test::__rust_begin_short_backtrace::hb1dea1c208110812
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5
[INFO] [stdout]   20:     0x559658b6122a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5d11a40efef721f2
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9
[INFO] [stdout]   21:     0x559658b6122a - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9
[INFO] [stdout]   22:     0x559658b6122a - std::panicking::try::do_call::h6390646e3de3fb9e
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40
[INFO] [stdout]   23:     0x559658b6122a - std::panicking::try::hc531439ab6159192
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19
[INFO] [stdout]   24:     0x559658b6122a - std::panic::catch_unwind::h859d8bdaf9b4855c
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14
[INFO] [stdout]   25:     0x559658b6122a - test::run_test_in_process::hae60aa74417e3abc
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18
[INFO] [stdout]   26:     0x559658b6122a - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39
[INFO] [stdout]   27:     0x559658b3a5b6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   28:     0x559658b3f5b3 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17
[INFO] [stdout]   29:     0x559658b3f5b3 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9
[INFO] [stdout]   30:     0x559658b3f5b3 - std::panicking::try::do_call::h722bb7416d021cdc
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40
[INFO] [stdout]   31:     0x559658b3f5b3 - std::panicking::try::h78e5abca71ac7cac
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19
[INFO] [stdout]   32:     0x559658b3f5b3 - std::panic::catch_unwind::h95162588bd0fa090
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14
[INFO] [stdout]   33:     0x559658b3f5b3 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30
[INFO] [stdout]   34:     0x559658b3f5b3 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   35:     0x559658ba802a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h09ff301006f1aeca
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9
[INFO] [stdout]   36:     0x559658ba802a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::he79488c8f00b5f31
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9
[INFO] [stdout]   37:     0x559658ba802a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7
[INFO] [stdout]                                at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17
[INFO] [stdout]   38:     0x7fdbc2e33609 - start_thread
[INFO] [stdout]   39:     0x7fdbc2c05293 - clone
[INFO] [stdout]   40:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     bdd_context::test_to_cnf_tseitsin
[INFO] [stdout]     bdd_context::test_to_cnf_tseitsin_base_cases
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 1 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "e120ec642eff190f4c5f6cf129fd451bc473998a926921f034f8c4db413bf3b4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e120ec642eff190f4c5f6cf129fd451bc473998a926921f034f8c4db413bf3b4", kill_on_drop: false }`
[INFO] [stdout] e120ec642eff190f4c5f6cf129fd451bc473998a926921f034f8c4db413bf3b4