[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] 348dd4cddfed561874a1f13f7f2038ad66bbb73a
[INFO] testing m-dahl/guard_extraction against beta-2021-09-08 for beta-1.56-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction" "/workspace/builds/worker-90/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-90/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/m-dahl/guard_extraction on toolchain beta-2021-09-08
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", 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-90/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "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" "+beta-2021-09-08" "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-90/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] b009abbfb7cf1499eeee7989a5022c3384c8bb725a77ba74ccf01d43ae755e11
[INFO] running `Command { std: "docker" "start" "-a" "b009abbfb7cf1499eeee7989a5022c3384c8bb725a77ba74ccf01d43ae755e11", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "b009abbfb7cf1499eeee7989a5022c3384c8bb725a77ba74ccf01d43ae755e11", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b009abbfb7cf1499eeee7989a5022c3384c8bb725a77ba74ccf01d43ae755e11", kill_on_drop: false }`
[INFO] [stdout] b009abbfb7cf1499eeee7989a5022c3384c8bb725a77ba74ccf01d43ae755e11
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f48ef51433279e1b11f88cbc87b410e089d001f8dfc01e84ae9ad16b98f9b29a
[INFO] running `Command { std: "docker" "start" "-a" "f48ef51433279e1b11f88cbc87b410e089d001f8dfc01e84ae9ad16b98f9b29a", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling proc-macro2 v1.0.29
[INFO] [stderr]    Compiling cc v1.0.70
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling bindgen v0.57.0
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]    Compiling clang-sys v1.2.2
[INFO] [stderr]    Compiling itertools v0.8.2
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling regex v1.5.4
[INFO] [stderr]    Compiling espresso-rs v0.1.0 (https://github.com/m-dahl/espresso-rs#5c9155b6)
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling buddy-sys v0.1.0 (https://github.com/m-dahl/buddy-sys#e2cb6182)
[INFO] [stderr]    Compiling buddy-rs v0.1.0 (https://github.com/m-dahl/buddy-rs#2407a918)
[INFO] [stderr]    Compiling guard_extraction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 49.59s
[INFO] running `Command { std: "docker" "inspect" "f48ef51433279e1b11f88cbc87b410e089d001f8dfc01e84ae9ad16b98f9b29a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f48ef51433279e1b11f88cbc87b410e089d001f8dfc01e84ae9ad16b98f9b29a", kill_on_drop: false }`
[INFO] [stdout] f48ef51433279e1b11f88cbc87b410e089d001f8dfc01e84ae9ad16b98f9b29a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 72a64900c91e97a40fe6964b7075585fe7d01c08d768a7a7ea2fb71449eb5f8e
[INFO] running `Command { std: "docker" "start" "-a" "72a64900c91e97a40fe6964b7075585fe7d01c08d768a7a7ea2fb71449eb5f8e", kill_on_drop: false }`
[INFO] [stderr]    Compiling guard_extraction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 1.65s
[INFO] running `Command { std: "docker" "inspect" "72a64900c91e97a40fe6964b7075585fe7d01c08d768a7a7ea2fb71449eb5f8e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "72a64900c91e97a40fe6964b7075585fe7d01c08d768a7a7ea2fb71449eb5f8e", kill_on_drop: false }`
[INFO] [stdout] 72a64900c91e97a40fe6964b7075585fe7d01c08d768a7a7ea2fb71449eb5f8e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-90/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:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] c1b15bc5dbb405f9295f587ee474d0d850b027f133d9f83b7e79f25daba98fda
[INFO] running `Command { std: "docker" "start" "-a" "c1b15bc5dbb405f9295f587ee474d0d850b027f133d9f83b7e79f25daba98fda", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.04s
[INFO] [stderr]      Running unittests (/opt/rustwide/target/debug/deps/guard_extraction-8a5e582ccc258def)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test bdd_context::ps_test ... ok
[INFO] [stdout] test bdd_context::test_to_cnf_tseitsin_base_cases ... FAILED
[INFO] [stdout] test bdd_context::test_to_cnf_tseitsin ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- bdd_context::test_to_cnf_tseitsin_base_cases stdout ----
[INFO] [stdout] thread 'bdd_context::test_to_cnf_tseitsin_base_cases' panicked at 'Trying to use buddy in two places at the same time!', /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:319:39
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x556b46b5054c - std::backtrace_rs::backtrace::libunwind::trace::h51faa62df48810e4
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x556b46b5054c - std::backtrace_rs::backtrace::trace_unsynchronized::h91de4d8e16d607e4
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x556b46b5054c - std::sys_common::backtrace::_print_fmt::h71b0935f97e4322c
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x556b46b5054c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h9a78218788c14e18
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x556b46b7398c - core::fmt::write::h3381b3176fe2b3d3
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/fmt/mod.rs:1150:17
[INFO] [stdout]    5:     0x556b46b4d195 - std::io::Write::write_fmt::hb6383f24fe197d3c
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/io/mod.rs:1667:15
[INFO] [stdout]    6:     0x556b46b52200 - std::sys_common::backtrace::_print::h4b77abc4d907ed0e
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x556b46b52200 - std::sys_common::backtrace::print::hb170c60b542377ad
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x556b46b52200 - std::panicking::default_hook::{{closure}}::h12bbda9af8901ee3
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:210:50
[INFO] [stdout]    9:     0x556b46b51df2 - std::panicking::default_hook::h8c6c66d3f3ba6768
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:224:9
[INFO] [stdout]   10:     0x556b46b528b4 - std::panicking::rust_panic_with_hook::h36f2fa0bb09f4069
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:624:17
[INFO] [stdout]   11:     0x556b46b52390 - std::panicking::begin_panic_handler::{{closure}}::h9c42b65a42d06a7a
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:521:13
[INFO] [stdout]   12:     0x556b46b50a14 - std::sys_common::backtrace::__rust_end_short_backtrace::hc791bddfe31e532c
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x556b46b522f9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:517:5
[INFO] [stdout]   14:     0x556b46ad67d1 - core::panicking::panic_fmt::hf9de31d4acbce4db
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panicking.rs:101:14
[INFO] [stdout]   15:     0x556b46ad66c3 - core::option::expect_failed::h954fc73c60f6b468
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/option.rs:1615:5
[INFO] [stdout]   16:     0x556b46b2cdbf - core::option::Option<T>::expect::hf519b9a913dbbdeb
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/option.rs:698:21
[INFO] [stdout]   17:     0x556b46b2c69c - buddy_rs::BDDOwner::take_manager::hfdb13f6824a8f3c3
[INFO] [stdout]                                at /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:319:19
[INFO] [stdout]   18:     0x556b46b2c72c - buddy_rs::take_manager::h8f5e5774b5629e3e
[INFO] [stdout]                                at /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:338:14
[INFO] [stdout]   19:     0x556b46ae9f54 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::hbf84f97043f54c8b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1336:13
[INFO] [stdout]   20:     0x556b46ae9f2a - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::{{closure}}::h97f1e2211d594e32
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1334:1
[INFO] [stdout]   21:     0x556b46ade5fe - core::ops::function::FnOnce::call_once::hd8b34b21a75439a8
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   22:     0x556b46b22cc3 - core::ops::function::FnOnce::call_once::h61555a204318cc58
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   23:     0x556b46b22cc3 - test::__rust_begin_short_backtrace::h8331e7b1cc7a6e62
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:578:5
[INFO] [stdout]   24:     0x556b46b21748 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h98582e597fa7f145
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9
[INFO] [stdout]   25:     0x556b46b21748 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h38fa7a0826ecff45
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   26:     0x556b46b21748 - std::panicking::try::do_call::h5b27d1cfffaa9f87
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40
[INFO] [stdout]   27:     0x556b46b21748 - std::panicking::try::h86f7124b3264bcbe
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19
[INFO] [stdout]   28:     0x556b46b21748 - std::panic::catch_unwind::h42dadf3598df7528
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14
[INFO] [stdout]   29:     0x556b46b21748 - test::run_test_in_process::h9d4b7510f0910050
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:601:18
[INFO] [stdout]   30:     0x556b46b21748 - test::run_test::run_test_inner::{{closure}}::h9b17f1fd181fe294
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:493:39
[INFO] [stdout]   31:     0x556b46aef29e - test::run_test::run_test_inner::{{closure}}::h476f9211dfec6075
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:520:37
[INFO] [stdout]   32:     0x556b46aef29e - std::sys_common::backtrace::__rust_begin_short_backtrace::h5c2db6945645950d
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   33:     0x556b46af3b38 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h791169ea9ba5492d
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:481:17
[INFO] [stdout]   34:     0x556b46af3b38 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he930357ede3f4b4d
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   35:     0x556b46af3b38 - std::panicking::try::do_call::h0de4b1dd08a9aa80
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40
[INFO] [stdout]   36:     0x556b46af3b38 - std::panicking::try::hf5b5c530df698d97
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19
[INFO] [stdout]   37:     0x556b46af3b38 - std::panic::catch_unwind::hed97078f17dbf191
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14
[INFO] [stdout]   38:     0x556b46af3b38 - std::thread::Builder::spawn_unchecked::{{closure}}::h2e673950929cba93
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:480:30
[INFO] [stdout]   39:     0x556b46af3b38 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h8e18ddd18a52f010
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   40:     0x556b46b57563 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hbbbb32ef11ea0ad2
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9
[INFO] [stdout]   41:     0x556b46b57563 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3b8ef23699fc5385
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9
[INFO] [stdout]   42:     0x556b46b57563 - std::sys::unix::thread::Thread::new::thread_start::ha57f5cba35f709b7
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys/unix/thread.rs:106:17
[INFO] [stdout]   43:     0x7f1e8bdf0609 - start_thread
[INFO] [stdout]   44:     0x7f1e8bbc2293 - clone
[INFO] [stdout]   45:                0x0 - <unknown>
[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:1330:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x556b46b5054c - std::backtrace_rs::backtrace::libunwind::trace::h51faa62df48810e4
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x556b46b5054c - std::backtrace_rs::backtrace::trace_unsynchronized::h91de4d8e16d607e4
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x556b46b5054c - std::sys_common::backtrace::_print_fmt::h71b0935f97e4322c
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x556b46b5054c - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h9a78218788c14e18
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x556b46b7398c - core::fmt::write::h3381b3176fe2b3d3
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/fmt/mod.rs:1150:17
[INFO] [stdout]    5:     0x556b46b4d195 - std::io::Write::write_fmt::hb6383f24fe197d3c
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/io/mod.rs:1667:15
[INFO] [stdout]    6:     0x556b46b52200 - std::sys_common::backtrace::_print::h4b77abc4d907ed0e
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x556b46b52200 - std::sys_common::backtrace::print::hb170c60b542377ad
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x556b46b52200 - std::panicking::default_hook::{{closure}}::h12bbda9af8901ee3
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:210:50
[INFO] [stdout]    9:     0x556b46b51df2 - std::panicking::default_hook::h8c6c66d3f3ba6768
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:224:9
[INFO] [stdout]   10:     0x556b46b528b4 - std::panicking::rust_panic_with_hook::h36f2fa0bb09f4069
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:624:17
[INFO] [stdout]   11:     0x556b46b52362 - std::panicking::begin_panic_handler::{{closure}}::h9c42b65a42d06a7a
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:519:13
[INFO] [stdout]   12:     0x556b46b50a14 - std::sys_common::backtrace::__rust_end_short_backtrace::hc791bddfe31e532c
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x556b46b522f9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:517:5
[INFO] [stdout]   14:     0x556b46ad67d1 - core::panicking::panic_fmt::hf9de31d4acbce4db
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panicking.rs:101:14
[INFO] [stdout]   15:     0x556b46ad671d - core::panicking::panic::h8a6bc58a21c6c095
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panicking.rs:50:5
[INFO] [stdout]   16:     0x556b46ae9de7 - guard_extraction::bdd_context::test_to_cnf_tseitsin::h35d55d3a7e38bd20
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1330:5
[INFO] [stdout]   17:     0x556b46ae96ea - guard_extraction::bdd_context::test_to_cnf_tseitsin::{{closure}}::h5cc8950e1eb4296e
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1296:1
[INFO] [stdout]   18:     0x556b46ade5be - core::ops::function::FnOnce::call_once::h990236f17eb49d03
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   19:     0x556b46b22cc3 - core::ops::function::FnOnce::call_once::h61555a204318cc58
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   20:     0x556b46b22cc3 - test::__rust_begin_short_backtrace::h8331e7b1cc7a6e62
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:578:5
[INFO] [stdout]   21:     0x556b46b21748 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h98582e597fa7f145
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9
[INFO] [stdout]   22:     0x556b46b21748 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h38fa7a0826ecff45
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   23:     0x556b46b21748 - std::panicking::try::do_call::h5b27d1cfffaa9f87
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40
[INFO] [stdout]   24:     0x556b46b21748 - std::panicking::try::h86f7124b3264bcbe
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19
[INFO] [stdout]   25:     0x556b46b21748 - std::panic::catch_unwind::h42dadf3598df7528
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14
[INFO] [stdout]   26:     0x556b46b21748 - test::run_test_in_process::h9d4b7510f0910050
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:601:18
[INFO] [stdout]   27:     0x556b46b21748 - test::run_test::run_test_inner::{{closure}}::h9b17f1fd181fe294
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:493:39
[INFO] [stdout]   28:     0x556b46aef29e - test::run_test::run_test_inner::{{closure}}::h476f9211dfec6075
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:520:37
[INFO] [stdout]   29:     0x556b46aef29e - std::sys_common::backtrace::__rust_begin_short_backtrace::h5c2db6945645950d
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   30:     0x556b46af3b38 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h791169ea9ba5492d
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:481:17
[INFO] [stdout]   31:     0x556b46af3b38 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he930357ede3f4b4d
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   32:     0x556b46af3b38 - std::panicking::try::do_call::h0de4b1dd08a9aa80
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40
[INFO] [stdout]   33:     0x556b46af3b38 - std::panicking::try::hf5b5c530df698d97
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19
[INFO] [stdout]   34:     0x556b46af3b38 - std::panic::catch_unwind::hed97078f17dbf191
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14
[INFO] [stdout]   35:     0x556b46af3b38 - std::thread::Builder::spawn_unchecked::{{closure}}::h2e673950929cba93
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:480:30
[INFO] [stdout]   36:     0x556b46af3b38 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h8e18ddd18a52f010
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   37:     0x556b46b57563 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hbbbb32ef11ea0ad2
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9
[INFO] [stdout]   38:     0x556b46b57563 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h3b8ef23699fc5385
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9
[INFO] [stdout]   39:     0x556b46b57563 - std::sys::unix::thread::Thread::new::thread_start::ha57f5cba35f709b7
[INFO] [stdout]                                at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys/unix/thread.rs:106:17
[INFO] [stdout]   40:     0x7f1e8bdf0609 - start_thread
[INFO] [stdout]   41:     0x7f1e8bbc2293 - clone
[INFO] [stdout]   42:                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; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass '--lib'
[INFO] running `Command { std: "docker" "inspect" "c1b15bc5dbb405f9295f587ee474d0d850b027f133d9f83b7e79f25daba98fda", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c1b15bc5dbb405f9295f587ee474d0d850b027f133d9f83b7e79f25daba98fda", kill_on_drop: false }`
[INFO] [stdout] c1b15bc5dbb405f9295f587ee474d0d850b027f133d9f83b7e79f25daba98fda