[INFO] cloning repository https://github.com/m-dahl/guard_extraction
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/m-dahl/guard_extraction" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 499a8193a8a62b00718a7de82609995801af48f8
[INFO] testing m-dahl/guard_extraction against beta-2021-01-01 for beta-1.50-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fm-dahl%2Fguard_extraction" "/workspace/builds/worker-14/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-14/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/m-dahl/guard_extraction on toolchain beta-2021-01-01
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-01-01" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/m-dahl/guard_extraction
[INFO] finished tweaking git repo https://github.com/m-dahl/guard_extraction
[INFO] tweaked toml for git repo https://github.com/m-dahl/guard_extraction written to /workspace/builds/worker-14/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-01-01" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", 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 git repository `https://github.com/m-dahl/buddy-sys`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-01-01" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-01-01" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cdfeafc42cee4c30e4a087d574815825fa516fb5eeb126abee93442d84148080
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "cdfeafc42cee4c30e4a087d574815825fa516fb5eeb126abee93442d84148080", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cdfeafc42cee4c30e4a087d574815825fa516fb5eeb126abee93442d84148080", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cdfeafc42cee4c30e4a087d574815825fa516fb5eeb126abee93442d84148080", kill_on_drop: false }`
[INFO] [stdout] cdfeafc42cee4c30e4a087d574815825fa516fb5eeb126abee93442d84148080
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-01-01" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c8117fb2cfab0ec7cf5d20657c6b737e8c1fe3bba45d8e8f6606ec620a84e988
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "c8117fb2cfab0ec7cf5d20657c6b737e8c1fe3bba45d8e8f6606ec620a84e988", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.24
[INFO] [stderr]    Compiling bindgen v0.52.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling libloading v0.5.2
[INFO] [stderr]    Compiling espresso-rs v0.1.0 (https://github.com/m-dahl/espresso-rs#5c9155b6)
[INFO] [stderr]    Compiling itertools v0.8.2
[INFO] [stderr]    Compiling nom v4.2.3
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling env_logger v0.7.1
[INFO] [stderr]    Compiling clang-sys v0.28.1
[INFO] [stderr]    Compiling quote v1.0.8
[INFO] [stderr]    Compiling cexpr v0.3.6
[INFO] [stderr]    Compiling buddy-sys v0.1.0 (https://github.com/m-dahl/buddy-sys#009c3bd2)
[INFO] [stderr]    Compiling buddy-rs v0.1.0 (https://github.com/m-dahl/buddy-rs#27979f19)
[INFO] [stderr]    Compiling guard_extraction v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1m 01s
[INFO] running `Command { std: "docker" "inspect" "c8117fb2cfab0ec7cf5d20657c6b737e8c1fe3bba45d8e8f6606ec620a84e988", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c8117fb2cfab0ec7cf5d20657c6b737e8c1fe3bba45d8e8f6606ec620a84e988", kill_on_drop: false }`
[INFO] [stdout] c8117fb2cfab0ec7cf5d20657c6b737e8c1fe3bba45d8e8f6606ec620a84e988
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-01-01" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7050d6eb71f7412cc624f5a75715f6973b61873c6f16449fb88a767e91a2dee7
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "7050d6eb71f7412cc624f5a75715f6973b61873c6f16449fb88a767e91a2dee7", 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.18s
[INFO] running `Command { std: "docker" "inspect" "7050d6eb71f7412cc624f5a75715f6973b61873c6f16449fb88a767e91a2dee7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7050d6eb71f7412cc624f5a75715f6973b61873c6f16449fb88a767e91a2dee7", kill_on_drop: false }`
[INFO] [stdout] 7050d6eb71f7412cc624f5a75715f6973b61873c6f16449fb88a767e91a2dee7
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-14/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-01-01" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] d410549f549ec32f4272d04dea70e4660bfbf920e7a97d7e2e2a3c069cd7d1ba
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "d410549f549ec32f4272d04dea70e4660bfbf920e7a97d7e2e2a3c069cd7d1ba", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.05s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/guard_extraction-a06aada4304febdc
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test bdd_context::ps_test ... ok
[INFO] [stderr] error: test failed, to rerun pass '--lib'
[INFO] [stdout] test bdd_context::test_to_cnf_tseitsin_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] added 1 new variables
[INFO] [stdout] top literal: Lit { var: 0, neg: false }
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }, Lit { var: 0, neg: true }])
[INFO] [stdout] added 1 new variables
[INFO] [stdout] top literal: Lit { var: 0, neg: false }
[INFO] [stdout] clause Clause([Lit { var: 0, neg: false }])
[INFO] [stdout] clause Clause([Lit { var: 0, neg: true }])
[INFO] [stdout] thread 'bdd_context::test_to_cnf_tseitsin_base_cases' panicked at 'assertion failed: false', src/bdd_context.rs:1363:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55b6951cab87 - std::backtrace_rs::backtrace::libunwind::trace::hcd6e187547b8deec
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x55b6951cab87 - std::backtrace_rs::backtrace::trace_unsynchronized::hde10036eb783fbc7
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55b6951cab87 - std::sys_common::backtrace::_print_fmt::h63987b8f86dfc82a
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x55b6951cab87 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hc33f3ac4cc9c4196
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x55b6951eab9c - core::fmt::write::hfdcdeb08fb2b3afa
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/fmt/mod.rs:1078:17
[INFO] [stdout]    5:     0x55b6951c7002 - std::io::Write::write_fmt::h28c53dc51251a293
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/io/mod.rs:1519:15
[INFO] [stdout]    6:     0x55b6951cce35 - std::sys_common::backtrace::_print::hf179508b01f66878
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x55b6951cce35 - std::sys_common::backtrace::print::ha97d11adb39266a6
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x55b6951cce35 - std::panicking::default_hook::{{closure}}::h8da9985a98bd1582
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:208:50
[INFO] [stdout]    9:     0x55b6951cc9c2 - std::panicking::default_hook::hbc0ee792993c2ef2
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:222:9
[INFO] [stdout]   10:     0x55b6951cd5d1 - std::panicking::rust_panic_with_hook::h9fb9cda33a10f084
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:591:17
[INFO] [stdout]   11:     0x55b6951cd0e7 - std::panicking::begin_panic_handler::{{closure}}::hf3e83396e085962e
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:495:13
[INFO] [stdout]   12:     0x55b6951cb04c - std::sys_common::backtrace::__rust_end_short_backtrace::hac151ac4c1e3252d
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x55b6951cd079 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:493:5
[INFO] [stdout]   14:     0x55b6951e9551 - core::panicking::panic_fmt::hf6d8a92b065b8f97
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/panicking.rs:92:14
[INFO] [stdout]   15:     0x55b6951e949d - core::panicking::panic::h95b17729da7179c5
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/panicking.rs:50:5
[INFO] [stdout]   16:     0x55b695156ea2 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::hd0fb6582233e963d
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1363:5
[INFO] [stdout]   17:     0x55b695156a1a - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::{{closure}}::h4b8474574f31042c
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1338:1
[INFO] [stdout]   18:     0x55b69515b77e - core::ops::function::FnOnce::call_once::h42e9a9ccc7b400bb
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   19:     0x55b695189883 - core::ops::function::FnOnce::call_once::ha61d5393ae51ae22
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   20:     0x55b695189883 - test::__rust_begin_short_backtrace::h4a8691b5281c1f3b
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/test/src/lib.rs:516:5
[INFO] [stdout]   21:     0x55b695188176 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hd25ba61494055ad3
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/alloc/src/boxed.rs:1328:9
[INFO] [stdout]   22:     0x55b695188176 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h052fde7b846767ba
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:322:9
[INFO] [stdout]   23:     0x55b695188176 - std::panicking::try::do_call::h04571a1da6838ba1
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:379:40
[INFO] [stdout]   24:     0x55b695188176 - std::panicking::try::h758f090614125cbe
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:343:19
[INFO] [stdout]   25:     0x55b695188176 - std::panic::catch_unwind::h0c48513d5a021d3c
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:396:14
[INFO] [stdout]   26:     0x55b695188176 - test::run_test_in_process::hee75babaaac3822f
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/test/src/lib.rs:538:18
[INFO] [stdout]   27:     0x55b695188176 - test::run_test::run_test_inner::{{closure}}::h2920dea75d7f0c1e
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/test/src/lib.rs:449:39
[INFO] [stdout]   28:     0x55b695160486 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha23dff608830db13
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   29:     0x55b69516521d - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hacce322dead3a799
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/thread/mod.rs:474:17
[INFO] [stdout]   30:     0x55b69516521d - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4f0bc9c26ead0a27
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:322:9
[INFO] [stdout]   31:     0x55b69516521d - std::panicking::try::do_call::h1b9f282fb0c383b3
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:379:40
[INFO] [stdout]   32:     0x55b69516521d - std::panicking::try::hed1ebed51b133ee4
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:343:19
[INFO] [stdout]   33:     0x55b69516521d - std::panic::catch_unwind::h072a2b19fd39a474
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:396:14
[INFO] [stdout]   34:     0x55b69516521d - std::thread::Builder::spawn_unchecked::{{closure}}::hb02c6b2d3ff18bc2
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/thread/mod.rs:473:30
[INFO] [stdout]   35:     0x55b69516521d - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb512c5d27b4adb83
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   36:     0x55b6951d312a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hdbb9ff71143eaad6
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/alloc/src/boxed.rs:1328:9
[INFO] [stdout]   37:     0x55b6951d312a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h9dbde95cefb8368c
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/alloc/src/boxed.rs:1328:9
[INFO] [stdout]   38:     0x55b6951d312a - std::sys::unix::thread::Thread::new::thread_start::hc76032c38affd972
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys/unix/thread.rs:71:17
[INFO] [stdout]   39:     0x7ff8d04a7609 - start_thread
[INFO] [stdout]   40:     0x7ff8d0279293 - clone
[INFO] [stdout]   41:                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:1334:5
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55b6951cab87 - std::backtrace_rs::backtrace::libunwind::trace::hcd6e187547b8deec
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stdout]    1:     0x55b6951cab87 - std::backtrace_rs::backtrace::trace_unsynchronized::hde10036eb783fbc7
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55b6951cab87 - std::sys_common::backtrace::_print_fmt::h63987b8f86dfc82a
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stdout]    3:     0x55b6951cab87 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::hc33f3ac4cc9c4196
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stdout]    4:     0x55b6951eab9c - core::fmt::write::hfdcdeb08fb2b3afa
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/fmt/mod.rs:1078:17
[INFO] [stdout]    5:     0x55b6951c7002 - std::io::Write::write_fmt::h28c53dc51251a293
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/io/mod.rs:1519:15
[INFO] [stdout]    6:     0x55b6951cce35 - std::sys_common::backtrace::_print::hf179508b01f66878
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stdout]    7:     0x55b6951cce35 - std::sys_common::backtrace::print::ha97d11adb39266a6
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stdout]    8:     0x55b6951cce35 - std::panicking::default_hook::{{closure}}::h8da9985a98bd1582
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:208:50
[INFO] [stdout]    9:     0x55b6951cc9c2 - std::panicking::default_hook::hbc0ee792993c2ef2
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:222:9
[INFO] [stdout]   10:     0x55b6951cd5d1 - std::panicking::rust_panic_with_hook::h9fb9cda33a10f084
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:591:17
[INFO] [stdout]   11:     0x55b6951cd0e7 - std::panicking::begin_panic_handler::{{closure}}::hf3e83396e085962e
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:495:13
[INFO] [stdout]   12:     0x55b6951cb04c - std::sys_common::backtrace::__rust_end_short_backtrace::hac151ac4c1e3252d
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stdout]   13:     0x55b6951cd079 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:493:5
[INFO] [stdout]   14:     0x55b6951e9551 - core::panicking::panic_fmt::hf6d8a92b065b8f97
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/panicking.rs:92:14
[INFO] [stdout]   15:     0x55b6951e949d - core::panicking::panic::h95b17729da7179c5
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/panicking.rs:50:5
[INFO] [stdout]   16:     0x55b6951567b5 - guard_extraction::bdd_context::test_to_cnf_tseitsin::h81a8a188316576a9
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1334:5
[INFO] [stdout]   17:     0x55b69515621a - guard_extraction::bdd_context::test_to_cnf_tseitsin::{{closure}}::ha8e817fb612e19e6
[INFO] [stdout]                                at /opt/rustwide/workdir/src/bdd_context.rs:1300:1
[INFO] [stdout]   18:     0x55b69515b74e - core::ops::function::FnOnce::call_once::h40d8fdb7e242812b
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   19:     0x55b695189883 - core::ops::function::FnOnce::call_once::ha61d5393ae51ae22
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   20:     0x55b695189883 - test::__rust_begin_short_backtrace::h4a8691b5281c1f3b
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/test/src/lib.rs:516:5
[INFO] [stdout]   21:     0x55b695188176 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hd25ba61494055ad3
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/alloc/src/boxed.rs:1328:9
[INFO] [stdout]   22:     0x55b695188176 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h052fde7b846767ba
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:322:9
[INFO] [stdout]   23:     0x55b695188176 - std::panicking::try::do_call::h04571a1da6838ba1
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:379:40
[INFO] [stdout]   24:     0x55b695188176 - std::panicking::try::h758f090614125cbe
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:343:19
[INFO] [stdout]   25:     0x55b695188176 - std::panic::catch_unwind::h0c48513d5a021d3c
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:396:14
[INFO] [stdout]   26:     0x55b695188176 - test::run_test_in_process::hee75babaaac3822f
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/test/src/lib.rs:538:18
[INFO] [stdout]   27:     0x55b695188176 - test::run_test::run_test_inner::{{closure}}::h2920dea75d7f0c1e
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/test/src/lib.rs:449:39
[INFO] [stdout]   28:     0x55b695160486 - std::sys_common::backtrace::__rust_begin_short_backtrace::ha23dff608830db13
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stdout]   29:     0x55b69516521d - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hacce322dead3a799
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/thread/mod.rs:474:17
[INFO] [stdout]   30:     0x55b69516521d - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h4f0bc9c26ead0a27
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:322:9
[INFO] [stdout]   31:     0x55b69516521d - std::panicking::try::do_call::h1b9f282fb0c383b3
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:379:40
[INFO] [stdout]   32:     0x55b69516521d - std::panicking::try::hed1ebed51b133ee4
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panicking.rs:343:19
[INFO] [stdout]   33:     0x55b69516521d - std::panic::catch_unwind::h072a2b19fd39a474
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/panic.rs:396:14
[INFO] [stdout]   34:     0x55b69516521d - std::thread::Builder::spawn_unchecked::{{closure}}::hb02c6b2d3ff18bc2
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/thread/mod.rs:473:30
[INFO] [stdout]   35:     0x55b69516521d - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb512c5d27b4adb83
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   36:     0x55b6951d312a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hdbb9ff71143eaad6
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/alloc/src/boxed.rs:1328:9
[INFO] [stdout]   37:     0x55b6951d312a - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h9dbde95cefb8368c
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/alloc/src/boxed.rs:1328:9
[INFO] [stdout]   38:     0x55b6951d312a - std::sys::unix::thread::Thread::new::thread_start::hc76032c38affd972
[INFO] [stdout]                                at /rustc/25b3db3aa752d9d4633c983c9d4bf5e48f9baff1/library/std/src/sys/unix/thread.rs:71:17
[INFO] [stdout]   39:     0x7ff8d04a7609 - start_thread
[INFO] [stdout]   40:     0x7ff8d0279293 - clone
[INFO] [stdout]   41:                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] running `Command { std: "docker" "inspect" "d410549f549ec32f4272d04dea70e4660bfbf920e7a97d7e2e2a3c069cd7d1ba", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "d410549f549ec32f4272d04dea70e4660bfbf920e7a97d7e2e2a3c069cd7d1ba", kill_on_drop: false }`
[INFO] [stdout] d410549f549ec32f4272d04dea70e4660bfbf920e7a97d7e2e2a3c069cd7d1ba