[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 master#1871252fc8bb672d40787e67404e6eaae7059369 for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/m-dahl/guard_extraction on toolchain 1871252fc8bb672d40787e67404e6eaae7059369
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "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-6-tc1/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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 crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/m-dahl/buddy-sys`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]      Locking 57 packages to latest compatible versions
[INFO] [stderr]       Adding bindgen v0.57.0 (latest: v0.69.4)
[INFO] [stderr]       Adding bitflags v1.3.2 (latest: v2.5.0)
[INFO] [stderr]       Adding cexpr v0.4.0 (latest: v0.6.0)
[INFO] [stderr]       Adding clap v2.34.0 (latest: v4.5.4)
[INFO] [stderr]       Adding env_logger v0.8.4 (latest: v0.11.3)
[INFO] [stderr]       Adding hermit-abi v0.1.19 (latest: v0.3.9)
[INFO] [stderr]       Adding itertools v0.8.2 (latest: v0.13.0)
[INFO] [stderr]       Adding nom v5.1.3 (latest: v7.1.3)
[INFO] [stderr]       Adding peeking_take_while v0.1.2 (latest: v1.0.0)
[INFO] [stderr]       Adding shlex v0.1.1 (latest: v1.3.0)
[INFO] [stderr]       Adding strsim v0.8.0 (latest: v0.11.1)
[INFO] [stderr]       Adding textwrap v0.11.0 (latest: v0.16.1)
[INFO] [stderr]       Adding which v3.1.1 (latest: v6.0.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 011a6a6f55265847c2b2a5f72e4c3a0cdab24de2dea905869ab1821db228546b
[INFO] running `Command { std: "docker" "start" "-a" "011a6a6f55265847c2b2a5f72e4c3a0cdab24de2dea905869ab1821db228546b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "011a6a6f55265847c2b2a5f72e4c3a0cdab24de2dea905869ab1821db228546b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "011a6a6f55265847c2b2a5f72e4c3a0cdab24de2dea905869ab1821db228546b", kill_on_drop: false }`
[INFO] [stdout] 011a6a6f55265847c2b2a5f72e4c3a0cdab24de2dea905869ab1821db228546b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 91b15bc8f3967ca8cf02895b7a956b2a05643c5b769c9f0333e8df46cb3d0d09
[INFO] running `Command { std: "docker" "start" "-a" "91b15bc8f3967ca8cf02895b7a956b2a05643c5b769c9f0333e8df46cb3d0d09", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling proc-macro2 v1.0.84
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling cc v1.0.98
[INFO] [stderr]    Compiling unicode-width v0.1.12
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling libloading v0.8.3
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling clang-sys v1.7.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling bindgen v0.57.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling shlex v0.1.1
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling espresso-rs v0.1.0 (https://github.com/m-dahl/espresso-rs#5c9155b6)
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling itertools v0.8.2
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling regex v1.10.4
[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` profile [unoptimized + debuginfo] target(s) in 18.95s
[INFO] running `Command { std: "docker" "inspect" "91b15bc8f3967ca8cf02895b7a956b2a05643c5b769c9f0333e8df46cb3d0d09", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91b15bc8f3967ca8cf02895b7a956b2a05643c5b769c9f0333e8df46cb3d0d09", kill_on_drop: false }`
[INFO] [stdout] 91b15bc8f3967ca8cf02895b7a956b2a05643c5b769c9f0333e8df46cb3d0d09
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b5f33f3a81d51149010a861c6c94bf5e3074281ac70c7e9c222ca1ce1cd4b125
[INFO] running `Command { std: "docker" "start" "-a" "b5f33f3a81d51149010a861c6c94bf5e3074281ac70c7e9c222ca1ce1cd4b125", kill_on_drop: false }`
[INFO] [stderr]    Compiling guard_extraction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.03s
[INFO] running `Command { std: "docker" "inspect" "b5f33f3a81d51149010a861c6c94bf5e3074281ac70c7e9c222ca1ce1cd4b125", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b5f33f3a81d51149010a861c6c94bf5e3074281ac70c7e9c222ca1ce1cd4b125", kill_on_drop: false }`
[INFO] [stdout] b5f33f3a81d51149010a861c6c94bf5e3074281ac70c7e9c222ca1ce1cd4b125
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+1871252fc8bb672d40787e67404e6eaae7059369" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 3df64453b874b124c44bcfde7adac681b8defb5e1a205c275841d5fa232b1518
[INFO] running `Command { std: "docker" "start" "-a" "3df64453b874b124c44bcfde7adac681b8defb5e1a205c275841d5fa232b1518", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/guard_extraction-2a4f5b475466eca5)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test bdd_context::ps_test ... ok
[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] thread 'bdd_context::test_to_cnf_tseitsin' panicked at /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:319:39:
[INFO] [stdout] Trying to use buddy in two places at the same time!
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x556ac8d1d4e5 - std::backtrace_rs::backtrace::libunwind::trace::h59d96bdb08384354
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x556ac8d1d4e5 - std::backtrace_rs::backtrace::trace_unsynchronized::h9cf5becacfc93fba
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x556ac8d1d4e5 - std::sys_common::backtrace::_print_fmt::h10b76d10405dbd48
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x556ac8d1d4e5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6ed9e62a156d84e4
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x556ac8d43d2b - core::fmt::rt::Argument::fmt::h645c680983f03c9f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x556ac8d43d2b - core::fmt::write::h8bcd80919a02be29
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x556ac8d1ad1f - std::io::Write::write_fmt::h8d0c47c662cad79c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x556ac8d1d2be - std::sys_common::backtrace::_print::h6306f131a28d62b0
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x556ac8d1d2be - std::sys_common::backtrace::print::h7079288e0a26dfcc
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x556ac8d1ece9 - std::panicking::default_hook::{{closure}}::hb063ecec81a736ba
[INFO] [stdout]   10:     0x556ac8d1e9ae - std::panicking::default_hook::hd56ee406bf547b5c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x556ac8ce581a - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he5eacdef44c8728f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x556ac8ce581a - test::test_main::{{closure}}::h0ec9aed229e79095
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x556ac8d1f2eb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcbd0d80e1ad4e4f9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x556ac8d1f2eb - std::panicking::rust_panic_with_hook::h624aa3ca42ebb8f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x556ac8d1f064 - std::panicking::begin_panic_handler::{{closure}}::hbc4e76194a5e287c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x556ac8d1d9a9 - std::sys_common::backtrace::__rust_end_short_backtrace::h847fedc9d1ff7b6d
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x556ac8d1ed97 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x556ac8c9e943 - core::panicking::panic_fmt::hec11a924b87ce965
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x556ac8d42b8c - core::panicking::panic_display::h269ceaaee0e836fe
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:262:5
[INFO] [stdout]   20:     0x556ac8c9e90c - core::option::expect_failed::h2224e5e9252b5b20
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/option.rs:1994:5
[INFO] [stdout]   21:     0x556ac8cf2a67 - core::option::Option<T>::expect::h8152ba8d8744d151
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/option.rs:895:21
[INFO] [stdout]   22:     0x556ac8cf22cd - buddy_rs::BDDOwner::take_manager::hfb0dbe2bcdac6afc
[INFO] [stdout]                                at /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:319:19
[INFO] [stdout]   23:     0x556ac8cf2358 - buddy_rs::take_manager::hc14375b79158b4fd
[INFO] [stdout]                                at /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:338:14
[INFO] [stdout]   24:     0x556ac8cb01b7 - guard_extraction::bdd_context::test_to_cnf_tseitsin::h734c3afe44c95a8f
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1298:13
[INFO] [stdout]   25:     0x556ac8cb0187 - guard_extraction::bdd_context::test_to_cnf_tseitsin::{{closure}}::h3a34db57f4a96c67
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1296:26
[INFO] [stdout]   26:     0x556ac8cacc66 - core::ops::function::FnOnce::call_once::h23b5712050ce7d4e
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x556ac8cea1fb - core::ops::function::FnOnce::call_once::h2e43a8f6f3d94b99
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   28:     0x556ac8cea1fb - test::__rust_begin_short_backtrace::h214c9f2d2d3fee90
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:625:18
[INFO] [stdout]   29:     0x556ac8ce9901 - test::run_test_in_process::{{closure}}::h510b7ba7990692a5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:60
[INFO] [stdout]   30:     0x556ac8ce9901 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4157186197a93871
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   31:     0x556ac8ce9901 - std::panicking::try::do_call::h1bf2463bccd4b28c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   32:     0x556ac8ce9901 - std::panicking::try::hd6d4808c9fab4fa5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   33:     0x556ac8ce9901 - std::panic::catch_unwind::hd5641d97d123f9f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   34:     0x556ac8ce9901 - test::run_test_in_process::hc273b71c8b878a4c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:27
[INFO] [stdout]   35:     0x556ac8ce9901 - test::run_test::{{closure}}::h6838df834eb8467e
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:569:43
[INFO] [stdout]   36:     0x556ac8cb22c4 - test::run_test::{{closure}}::h608b98ecff5665fb
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:599:41
[INFO] [stdout]   37:     0x556ac8cb22c4 - std::sys_common::backtrace::__rust_begin_short_backtrace::hdc4182b97d1042e9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   38:     0x556ac8cb6cf2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h571773fd21d674c8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   39:     0x556ac8cb6cf2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdcd384cf2fa70ba3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   40:     0x556ac8cb6cf2 - std::panicking::try::do_call::h4f1a44bd81423be1
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   41:     0x556ac8cb6cf2 - std::panicking::try::h5e02afcb81dcd361
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   42:     0x556ac8cb6cf2 - std::panic::catch_unwind::h022f75775bfd8c45
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   43:     0x556ac8cb6cf2 - std::thread::Builder::spawn_unchecked_::{{closure}}::hf5a62e9e4e6df1f8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   44:     0x556ac8cb6cf2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6d56360aeb9509a7
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   45:     0x556ac8d234cb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7a343dc551c06baa
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   46:     0x556ac8d234cb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h30b8111cbaa644f3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   47:     0x556ac8d234cb - std::sys::pal::unix::thread::Thread::new::thread_start::h7404e134e61e7a11
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   48:     0x7f395e95cac3 - <unknown>
[INFO] [stdout]   49:     0x7f395e9eda04 - __clone
[INFO] [stdout]   50:                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 src/bdd_context.rs:1359:5:
[INFO] [stdout] assertion failed: false
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x556ac8d1d4e5 - std::backtrace_rs::backtrace::libunwind::trace::h59d96bdb08384354
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x556ac8d1d4e5 - std::backtrace_rs::backtrace::trace_unsynchronized::h9cf5becacfc93fba
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x556ac8d1d4e5 - std::sys_common::backtrace::_print_fmt::h10b76d10405dbd48
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x556ac8d1d4e5 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h6ed9e62a156d84e4
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x556ac8d43d2b - core::fmt::rt::Argument::fmt::h645c680983f03c9f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x556ac8d43d2b - core::fmt::write::h8bcd80919a02be29
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x556ac8d1ad1f - std::io::Write::write_fmt::h8d0c47c662cad79c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x556ac8d1d2be - std::sys_common::backtrace::_print::h6306f131a28d62b0
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x556ac8d1d2be - std::sys_common::backtrace::print::h7079288e0a26dfcc
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x556ac8d1ece9 - std::panicking::default_hook::{{closure}}::hb063ecec81a736ba
[INFO] [stdout]   10:     0x556ac8d1e9ae - std::panicking::default_hook::hd56ee406bf547b5c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x556ac8ce581a - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::he5eacdef44c8728f
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x556ac8ce581a - test::test_main::{{closure}}::h0ec9aed229e79095
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x556ac8d1f2eb - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hcbd0d80e1ad4e4f9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x556ac8d1f2eb - std::panicking::rust_panic_with_hook::h624aa3ca42ebb8f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x556ac8d1f02b - std::panicking::begin_panic_handler::{{closure}}::hbc4e76194a5e287c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:656:13
[INFO] [stdout]   16:     0x556ac8d1d9a9 - std::sys_common::backtrace::__rust_end_short_backtrace::h847fedc9d1ff7b6d
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x556ac8d1ed97 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x556ac8c9e943 - core::panicking::panic_fmt::hec11a924b87ce965
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x556ac8c9e9ec - core::panicking::panic::hb6a980c1ddfde273
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panicking.rs:146:5
[INFO] [stdout]   20:     0x556ac8cb0fd2 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::h72ff4a4720931bdd
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1359:5
[INFO] [stdout]   21:     0x556ac8cb0a47 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::{{closure}}::h0604c2a02619533c
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1334:37
[INFO] [stdout]   22:     0x556ac8cacd06 - core::ops::function::FnOnce::call_once::h493bab62ecfba188
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x556ac8cea1fb - core::ops::function::FnOnce::call_once::h2e43a8f6f3d94b99
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x556ac8cea1fb - test::__rust_begin_short_backtrace::h214c9f2d2d3fee90
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:625:18
[INFO] [stdout]   25:     0x556ac8ce9901 - test::run_test_in_process::{{closure}}::h510b7ba7990692a5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:60
[INFO] [stdout]   26:     0x556ac8ce9901 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4157186197a93871
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x556ac8ce9901 - std::panicking::try::do_call::h1bf2463bccd4b28c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   28:     0x556ac8ce9901 - std::panicking::try::hd6d4808c9fab4fa5
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   29:     0x556ac8ce9901 - std::panic::catch_unwind::hd5641d97d123f9f2
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   30:     0x556ac8ce9901 - test::run_test_in_process::hc273b71c8b878a4c
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:648:27
[INFO] [stdout]   31:     0x556ac8ce9901 - test::run_test::{{closure}}::h6838df834eb8467e
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:569:43
[INFO] [stdout]   32:     0x556ac8cb22c4 - test::run_test::{{closure}}::h608b98ecff5665fb
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/test/src/lib.rs:599:41
[INFO] [stdout]   33:     0x556ac8cb22c4 - std::sys_common::backtrace::__rust_begin_short_backtrace::hdc4182b97d1042e9
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   34:     0x556ac8cb6cf2 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h571773fd21d674c8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   35:     0x556ac8cb6cf2 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hdcd384cf2fa70ba3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x556ac8cb6cf2 - std::panicking::try::do_call::h4f1a44bd81423be1
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:559:40
[INFO] [stdout]   37:     0x556ac8cb6cf2 - std::panicking::try::h5e02afcb81dcd361
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panicking.rs:523:19
[INFO] [stdout]   38:     0x556ac8cb6cf2 - std::panic::catch_unwind::h022f75775bfd8c45
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/panic.rs:149:14
[INFO] [stdout]   39:     0x556ac8cb6cf2 - std::thread::Builder::spawn_unchecked_::{{closure}}::hf5a62e9e4e6df1f8
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   40:     0x556ac8cb6cf2 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h6d56360aeb9509a7
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x556ac8d234cb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h7a343dc551c06baa
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   42:     0x556ac8d234cb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h30b8111cbaa644f3
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   43:     0x556ac8d234cb - std::sys::pal::unix::thread::Thread::new::thread_start::h7404e134e61e7a11
[INFO] [stdout]                                at /rustc/1871252fc8bb672d40787e67404e6eaae7059369/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   44:     0x7f395e95cac3 - <unknown>
[INFO] [stdout]   45:     0x7f395e9eda04 - __clone
[INFO] [stdout]   46:                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.03s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "3df64453b874b124c44bcfde7adac681b8defb5e1a205c275841d5fa232b1518", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3df64453b874b124c44bcfde7adac681b8defb5e1a205c275841d5fa232b1518", kill_on_drop: false }`
[INFO] [stdout] 3df64453b874b124c44bcfde7adac681b8defb5e1a205c275841d5fa232b1518
[INFO] testing m-dahl/guard_extraction against try#b642703cf9526da1e72c0b6755753b939a9c6b6d for pr-125151
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/m-dahl/guard_extraction on toolchain b642703cf9526da1e72c0b6755753b939a9c6b6d
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "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-6-tc2/source/Cargo.toml
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[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 crates.io index
[INFO] [stderr]     Updating git repository `https://github.com/m-dahl/buddy-sys`
[INFO] [stderr]      Locking 57 packages to latest compatible versions
[INFO] [stderr]       Adding bindgen v0.57.0 (latest: v0.69.4)
[INFO] [stderr]       Adding bitflags v1.3.2 (latest: v2.5.0)
[INFO] [stderr]       Adding cexpr v0.4.0 (latest: v0.6.0)
[INFO] [stderr]       Adding clap v2.34.0 (latest: v4.5.4)
[INFO] [stderr]       Adding env_logger v0.8.4 (latest: v0.11.3)
[INFO] [stderr]       Adding hermit-abi v0.1.19 (latest: v0.3.9)
[INFO] [stderr]       Adding itertools v0.8.2 (latest: v0.13.0)
[INFO] [stderr]       Adding nom v5.1.3 (latest: v7.1.3)
[INFO] [stderr]       Adding peeking_take_while v0.1.2 (latest: v1.0.0)
[INFO] [stderr]       Adding shlex v0.1.1 (latest: v1.3.0)
[INFO] [stderr]       Adding strsim v0.8.0 (latest: v0.11.1)
[INFO] [stderr]       Adding textwrap v0.11.0 (latest: v0.16.1)
[INFO] [stderr]       Adding which v3.1.1 (latest: v6.0.1)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 366eb5f7a38861923c12e0eacca0c6d47f0aef8227545cc36b84c307dc92dc88
[INFO] running `Command { std: "docker" "start" "-a" "366eb5f7a38861923c12e0eacca0c6d47f0aef8227545cc36b84c307dc92dc88", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "366eb5f7a38861923c12e0eacca0c6d47f0aef8227545cc36b84c307dc92dc88", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "366eb5f7a38861923c12e0eacca0c6d47f0aef8227545cc36b84c307dc92dc88", kill_on_drop: false }`
[INFO] [stdout] 366eb5f7a38861923c12e0eacca0c6d47f0aef8227545cc36b84c307dc92dc88
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 23d17ab71e1e7403ff70641d38401b54eddd5d1ffc84c6f6113b862ef05a15a0
[INFO] running `Command { std: "docker" "start" "-a" "23d17ab71e1e7403ff70641d38401b54eddd5d1ffc84c6f6113b862ef05a15a0", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling memchr v2.7.2
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling regex-syntax v0.8.3
[INFO] [stderr]    Compiling proc-macro2 v1.0.84
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling cc v1.0.98
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[INFO] [stderr]    Compiling unicode-width v0.1.12
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling libloading v0.8.3
[INFO] [stderr]    Compiling clang-sys v1.7.0
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling bindgen v0.57.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling log v0.4.21
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling quote v1.0.36
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling shlex v0.1.1
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling espresso-rs v0.1.0 (https://github.com/m-dahl/espresso-rs#5c9155b6)
[INFO] [stderr]    Compiling either v1.12.0
[INFO] [stderr]    Compiling regex-automata v0.4.6
[INFO] [stderr]    Compiling itertools v0.8.2
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling regex v1.10.4
[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` profile [unoptimized + debuginfo] target(s) in 16.12s
[INFO] running `Command { std: "docker" "inspect" "23d17ab71e1e7403ff70641d38401b54eddd5d1ffc84c6f6113b862ef05a15a0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "23d17ab71e1e7403ff70641d38401b54eddd5d1ffc84c6f6113b862ef05a15a0", kill_on_drop: false }`
[INFO] [stdout] 23d17ab71e1e7403ff70641d38401b54eddd5d1ffc84c6f6113b862ef05a15a0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c0877bc92f768465d1cc2494c31ae22ce6f9748399a13ad423a69269959abfbb
[INFO] running `Command { std: "docker" "start" "-a" "c0877bc92f768465d1cc2494c31ae22ce6f9748399a13ad423a69269959abfbb", kill_on_drop: false }`
[INFO] [stderr]    Compiling guard_extraction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.54s
[INFO] running `Command { std: "docker" "inspect" "c0877bc92f768465d1cc2494c31ae22ce6f9748399a13ad423a69269959abfbb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c0877bc92f768465d1cc2494c31ae22ce6f9748399a13ad423a69269959abfbb", kill_on_drop: false }`
[INFO] [stdout] c0877bc92f768465d1cc2494c31ae22ce6f9748399a13ad423a69269959abfbb
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-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:beeedbb442662e57d416641ecc3200b38e573c25b057896194468d05594dd835" "/opt/rustwide/cargo-home/bin/cargo" "+b642703cf9526da1e72c0b6755753b939a9c6b6d" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] f04b758cd5f319e9510fd4ccd9519e370d00a2cfac755523f0d328c3bc31916b
[INFO] running `Command { std: "docker" "start" "-a" "f04b758cd5f319e9510fd4ccd9519e370d00a2cfac755523f0d328c3bc31916b", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/guard_extraction-2a4f5b475466eca5)
[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 /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:319:39:
[INFO] [stdout] Trying to use buddy in two places at the same time!
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55c8d9917555 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x55c8d9917555 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55c8d9917555 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x55c8d9917555 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x55c8d993dd3b - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x55c8d993dd3b - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x55c8d9914e3f - std::io::Write::write_fmt::hea6336dbf2fa00b8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x55c8d991732e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x55c8d991732e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x55c8d9918c99 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stdout]   10:     0x55c8d99189ec - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x55c8d98df8bf - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x55c8d98df8bf - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x55c8d991929b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x55c8d991929b - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x55c8d9919014 - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:664:13
[INFO] [stdout]   16:     0x55c8d9917a19 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x55c8d9918d47 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x55c8d9898923 - core::panicking::panic_fmt::h2ba8af99174d83ea
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x55c8d993cb9c - core::panicking::panic_display::h110e9bd60847ece7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:262:5
[INFO] [stdout]   20:     0x55c8d98988ec - core::option::expect_failed::h94b6c0b03bfd8698
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/option.rs:1994:5
[INFO] [stdout]   21:     0x55c8d98ec9c7 - core::option::Option<T>::expect::h3871aaa46ea562d8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/option.rs:895:21
[INFO] [stdout]   22:     0x55c8d98ec25d - buddy_rs::BDDOwner::take_manager::haff4c6f43272bac4
[INFO] [stdout]                                at /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:319:19
[INFO] [stdout]   23:     0x55c8d98ec2e8 - buddy_rs::take_manager::hdf5248109e06fe41
[INFO] [stdout]                                at /opt/rustwide/cargo-home/git/checkouts/buddy-rs-d53d7e4e02ee56d1/2407a91/src/lib.rs:338:14
[INFO] [stdout]   24:     0x55c8d98aaa67 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::h483230aca4450fd9
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1336:13
[INFO] [stdout]   25:     0x55c8d98aaa37 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::{{closure}}::h499376e256fd6adf
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1334:37
[INFO] [stdout]   26:     0x55c8d98a6a26 - core::ops::function::FnOnce::call_once::h635df73e71475db8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x55c8d98e41db - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   28:     0x55c8d98e41db - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   29:     0x55c8d98e38a1 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   30:     0x55c8d98e38a1 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   31:     0x55c8d98e38a1 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   32:     0x55c8d98e38a1 - std::panicking::try::hea3411d60321c4de
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   33:     0x55c8d98e38a1 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   34:     0x55c8d98e38a1 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   35:     0x55c8d98e38a1 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   36:     0x55c8d98ac274 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   37:     0x55c8d98ac274 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   38:     0x55c8d98b0d42 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   39:     0x55c8d98b0d42 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   40:     0x55c8d98b0d42 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   41:     0x55c8d98b0d42 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   42:     0x55c8d98b0d42 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   43:     0x55c8d98b0d42 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   44:     0x55c8d98b0d42 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   45:     0x55c8d991d46b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   46:     0x55c8d991d46b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   47:     0x55c8d991d46b - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   48:     0x7f3c9941bac3 - <unknown>
[INFO] [stdout]   49:     0x7f3c994aca04 - __clone
[INFO] [stdout]   50:                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 src/bdd_context.rs:1330:5:
[INFO] [stdout] assertion failed: false
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55c8d9917555 - std::backtrace_rs::backtrace::libunwind::trace::he49dc9a9e3164223
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5
[INFO] [stdout]    1:     0x55c8d9917555 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a3e77c68030aa6b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55c8d9917555 - std::sys_common::backtrace::_print_fmt::h9479ad2f99afd5d4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:68:5
[INFO] [stdout]    3:     0x55c8d9917555 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hfb01aa1fa3fb1821
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x55c8d993dd3b - core::fmt::rt::Argument::fmt::h125e56152abbc1c3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/rt.rs:165:63
[INFO] [stdout]    5:     0x55c8d993dd3b - core::fmt::write::hb0ab4ff05ccfe741
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/fmt/mod.rs:1169:21
[INFO] [stdout]    6:     0x55c8d9914e3f - std::io::Write::write_fmt::hea6336dbf2fa00b8
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/io/mod.rs:1835:15
[INFO] [stdout]    7:     0x55c8d991732e - std::sys_common::backtrace::_print::h79ca548f3a2adf4b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    8:     0x55c8d991732e - std::sys_common::backtrace::print::h9aebf997b2fea2d3
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    9:     0x55c8d9918c99 - std::panicking::default_hook::{{closure}}::h68a0954af2694526
[INFO] [stdout]   10:     0x55c8d99189ec - std::panicking::default_hook::h5be50cc6849ffb00
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:295:9
[INFO] [stdout]   11:     0x55c8d98df8bf - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hd874405dcbd1d3ed
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   12:     0x55c8d98df8bf - test::test_main::{{closure}}::h4f26a9df34a84b94
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:137:21
[INFO] [stdout]   13:     0x55c8d991929b - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h00e96d9c62aa9a12
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2036:9
[INFO] [stdout]   14:     0x55c8d991929b - std::panicking::rust_panic_with_hook::h3c0df6036729334c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:799:13
[INFO] [stdout]   15:     0x55c8d9918fdb - std::panicking::begin_panic_handler::{{closure}}::ha3a21e93c4cfd807
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:656:13
[INFO] [stdout]   16:     0x55c8d9917a19 - std::sys_common::backtrace::__rust_end_short_backtrace::h19508a8f8ae71dc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:171:18
[INFO] [stdout]   17:     0x55c8d9918d47 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:652:5
[INFO] [stdout]   18:     0x55c8d9898923 - core::panicking::panic_fmt::h2ba8af99174d83ea
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:72:14
[INFO] [stdout]   19:     0x55c8d98989cc - core::panicking::panic::h049fed9389bf889e
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panicking.rs:146:5
[INFO] [stdout]   20:     0x55c8d98aa8be - guard_extraction::bdd_context::test_to_cnf_tseitsin::h82201960f04ed950
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1330:5
[INFO] [stdout]   21:     0x55c8d98aa177 - guard_extraction::bdd_context::test_to_cnf_tseitsin::{{closure}}::h11fcc9d41410d1f7
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1296:26
[INFO] [stdout]   22:     0x55c8d98a6946 - core::ops::function::FnOnce::call_once::h3e3a89400743047b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   23:     0x55c8d98e41db - core::ops::function::FnOnce::call_once::h18c6bf92212b87a4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x55c8d98e41db - test::__rust_begin_short_backtrace::hdcf0edcfa9080086
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:625:18
[INFO] [stdout]   25:     0x55c8d98e38a1 - test::run_test_in_process::{{closure}}::heac2c4eb375d2d10
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:60
[INFO] [stdout]   26:     0x55c8d98e38a1 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0289bafc8a1cc004
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   27:     0x55c8d98e38a1 - std::panicking::try::do_call::h5e158f1ad8a5f983
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   28:     0x55c8d98e38a1 - std::panicking::try::hea3411d60321c4de
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   29:     0x55c8d98e38a1 - std::panic::catch_unwind::hafb7bb18bc47bbc7
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   30:     0x55c8d98e38a1 - test::run_test_in_process::h74dd138dc7762d99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:648:27
[INFO] [stdout]   31:     0x55c8d98e38a1 - test::run_test::{{closure}}::h6b390822e63606cf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:569:43
[INFO] [stdout]   32:     0x55c8d98ac274 - test::run_test::{{closure}}::h6e11dba8131d354b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/test/src/lib.rs:599:41
[INFO] [stdout]   33:     0x55c8d98ac274 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha71b3541b59bdbbb
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys_common/backtrace.rs:155:18
[INFO] [stdout]   34:     0x55c8d98b0d42 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hef92127c5ef9e53c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:542:17
[INFO] [stdout]   35:     0x55c8d98b0d42 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h859c109f9d11c92b
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   36:     0x55c8d98b0d42 - std::panicking::try::do_call::hbf534c458cd858f0
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:559:40
[INFO] [stdout]   37:     0x55c8d98b0d42 - std::panicking::try::h65c18365a7b9ad90
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panicking.rs:523:19
[INFO] [stdout]   38:     0x55c8d98b0d42 - std::panic::catch_unwind::h21b25d4c69478c39
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/panic.rs:149:14
[INFO] [stdout]   39:     0x55c8d98b0d42 - std::thread::Builder::spawn_unchecked_::{{closure}}::h23335f620275a9bf
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/thread/mod.rs:541:30
[INFO] [stdout]   40:     0x55c8d98b0d42 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb491dc55513e9b7c
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x55c8d991d46b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h41b39260afcffdc9
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   42:     0x55c8d991d46b - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h6694c8dc6dd010c4
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/alloc/src/boxed.rs:2022:9
[INFO] [stdout]   43:     0x55c8d991d46b - std::sys::pal::unix::thread::Thread::new::thread_start::hf16038e1c8e19c99
[INFO] [stdout]                                at /rustc/b642703cf9526da1e72c0b6755753b939a9c6b6d/library/std/src/sys/pal/unix/thread.rs:108:17
[INFO] [stdout]   44:     0x7f3c9941bac3 - <unknown>
[INFO] [stdout]   45:     0x7f3c994aca04 - __clone
[INFO] [stdout]   46:                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.01s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "f04b758cd5f319e9510fd4ccd9519e370d00a2cfac755523f0d328c3bc31916b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f04b758cd5f319e9510fd4ccd9519e370d00a2cfac755523f0d328c3bc31916b", kill_on_drop: false }`
[INFO] [stdout] f04b758cd5f319e9510fd4ccd9519e370d00a2cfac755523f0d328c3bc31916b
