[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 1.85.0 for beta-1.86-1 [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 1.85.0 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.85.0" "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" "+1.85.0" "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 itertools v0.8.2 (available: v0.14.0) [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.85.0" "fetch" "--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-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:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9b05d1020b1d2910ac84185f51570f46478ce403ef729fe65023dec0ce088d73 [INFO] running `Command { std: "docker" "start" "-a" "9b05d1020b1d2910ac84185f51570f46478ce403ef729fe65023dec0ce088d73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9b05d1020b1d2910ac84185f51570f46478ce403ef729fe65023dec0ce088d73", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9b05d1020b1d2910ac84185f51570f46478ce403ef729fe65023dec0ce088d73", kill_on_drop: false }` [INFO] [stdout] 9b05d1020b1d2910ac84185f51570f46478ce403ef729fe65023dec0ce088d73 [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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] cdb6e64d3de57f92c41c6e1e40242a3820000d77a2854a960e8a21233d01eee7 [INFO] running `Command { std: "docker" "start" "-a" "cdb6e64d3de57f92c41c6e1e40242a3820000d77a2854a960e8a21233d01eee7", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.170 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling version_check v0.9.5 [INFO] [stderr] Compiling glob v0.3.2 [INFO] [stderr] Compiling proc-macro2 v1.0.93 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling unicode-ident v1.0.17 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling unicode-width v0.1.14 [INFO] [stderr] Compiling log v0.4.26 [INFO] [stderr] Compiling strsim v0.8.0 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling humantime v2.1.0 [INFO] [stderr] Compiling bitflags v1.3.2 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling libloading v0.8.6 [INFO] [stderr] Compiling bindgen v0.57.0 [INFO] [stderr] Compiling termcolor v1.4.1 [INFO] [stderr] Compiling cc v1.2.15 [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 textwrap v0.11.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling nom v5.1.3 [INFO] [stderr] Compiling either v1.13.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Compiling itertools v0.8.2 [INFO] [stderr] Compiling aho-corasick v1.1.3 [INFO] [stderr] Compiling quote v1.0.38 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling which v3.1.1 [INFO] [stderr] Compiling clap v2.34.0 [INFO] [stderr] Compiling espresso-rs v0.1.0 (https://github.com/m-dahl/espresso-rs#5c9155b6) [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling cexpr v0.4.0 [INFO] [stderr] Compiling regex v1.11.1 [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 28.58s [INFO] running `Command { std: "docker" "inspect" "cdb6e64d3de57f92c41c6e1e40242a3820000d77a2854a960e8a21233d01eee7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "cdb6e64d3de57f92c41c6e1e40242a3820000d77a2854a960e8a21233d01eee7", kill_on_drop: false }` [INFO] [stdout] cdb6e64d3de57f92c41c6e1e40242a3820000d77a2854a960e8a21233d01eee7 [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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 168b104e69b36e35a88583442483045b84b485830473cb644cd2a2e3ade71ad7 [INFO] running `Command { std: "docker" "start" "-a" "168b104e69b36e35a88583442483045b84b485830473cb644cd2a2e3ade71ad7", 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.96s [INFO] running `Command { std: "docker" "inspect" "168b104e69b36e35a88583442483045b84b485830473cb644cd2a2e3ade71ad7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "168b104e69b36e35a88583442483045b84b485830473cb644cd2a2e3ade71ad7", kill_on_drop: false }` [INFO] [stdout] 168b104e69b36e35a88583442483045b84b485830473cb644cd2a2e3ade71ad7 [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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3959728d45483eb673ba100a951a6b9f5012970368db2a9e08e0ac9b67c8a5ad" "/opt/rustwide/cargo-home/bin/cargo" "+1.85.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 1c47207137ca0224c24c7f3eee0abe3fe7975eea9c875b8788563649356c654c [INFO] running `Command { std: "docker" "start" "-a" "1c47207137ca0224c24c7f3eee0abe3fe7975eea9c875b8788563649356c654c", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/guard_extraction-c9c7c0f4164b54ed) [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] 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] [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: 0x574a3242c42a - std::backtrace_rs::backtrace::libunwind::trace::h88deb10bd0145eb8 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5 [INFO] [stdout] 1: 0x574a3242c42a - std::backtrace_rs::backtrace::trace_unsynchronized::he1036f5481c14dff [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x574a3242c42a - std::sys::backtrace::_print_fmt::hecc345b6e70c4b20 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x574a3242c42a - ::fmt::he089f96442833f67 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x574a32451de3 - core::fmt::rt::Argument::fmt::h1f77cded99c71a14 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/fmt/rt.rs:177:76 [INFO] [stdout] 5: 0x574a32451de3 - core::fmt::write::h2f210ed4c94745cb [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/fmt/mod.rs:1440:21 [INFO] [stdout] 6: 0x574a32429543 - std::io::Write::write_fmt::he723b56f7e0bd522 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/io/mod.rs:1887:15 [INFO] [stdout] 7: 0x574a3242c272 - std::sys::backtrace::BacktraceLock::print::h810fbd31421329e6 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x574a3242d960 - std::panicking::default_hook::{{closure}}::hbaad47ed9dc6356d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x574a3242d6fd - std::panicking::default_hook::h24e207139139d40a [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:319:9 [INFO] [stdout] 10: 0x574a323f0ba3 - as core::ops::function::Fn>::call::h63353c459bb27956 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:2007:9 [INFO] [stdout] 11: 0x574a323f0ba3 - test::test_main::{{closure}}::hd5af4d6c4e32fe08 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:134:21 [INFO] [stdout] 12: 0x574a3242e193 - as core::ops::function::Fn>::call::h3af32c23caf5c679 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:2007:9 [INFO] [stdout] 13: 0x574a3242e193 - std::panicking::rust_panic_with_hook::ha9131beeb2ddc506 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:836:13 [INFO] [stdout] 14: 0x574a3242de36 - std::panicking::begin_panic_handler::{{closure}}::h1bba0eaeb6da506f [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:694:13 [INFO] [stdout] 15: 0x574a3242c929 - std::sys::backtrace::__rust_end_short_backtrace::h1d1ca3eade483f4c [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x574a3242dafd - rust_begin_unwind [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:692:5 [INFO] [stdout] 17: 0x574a323a4db0 - core::panicking::panic_fmt::h896a0727a1a943f9 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x574a323a4e3c - core::panicking::panic::h06336e0c962d4a4a [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panicking.rs:145:5 [INFO] [stdout] 19: 0x574a323ab9f7 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::he1f53b919060a6af [INFO] [stdout] at /opt/rustwide/workdir/src/bdd_context.rs:1359:5 [INFO] [stdout] 20: 0x574a323ab5d7 - guard_extraction::bdd_context::test_to_cnf_tseitsin_base_cases::{{closure}}::hb64d502c15beb752 [INFO] [stdout] at /opt/rustwide/workdir/src/bdd_context.rs:1334:37 [INFO] [stdout] 21: 0x574a323a5d86 - core::ops::function::FnOnce::call_once::hbf39f6271fcd8fa5 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x574a323f634b - core::ops::function::FnOnce::call_once::h8acc80b5a33ff319 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x574a323f634b - test::__rust_begin_short_backtrace::h52b6da716ad42b7d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:632:18 [INFO] [stdout] 24: 0x574a323f5283 - test::run_test_in_process::{{closure}}::h2580047890abbefe [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:655:60 [INFO] [stdout] 25: 0x574a323f5283 - as core::ops::function::FnOnce<()>>::call_once::h936f8c89d0a99c40 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 26: 0x574a323f5283 - std::panicking::try::do_call::h868682cc368697f9 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:584:40 [INFO] [stdout] 27: 0x574a323f5283 - std::panicking::try::h0356ffc38cbb5501 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:547:19 [INFO] [stdout] 28: 0x574a323f5283 - std::panic::catch_unwind::h74edf102a3082536 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panic.rs:358:14 [INFO] [stdout] 29: 0x574a323f5283 - test::run_test_in_process::hc27d69576b7224e4 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:655:27 [INFO] [stdout] 30: 0x574a323f5283 - test::run_test::{{closure}}::h9f3bfaf910429adb [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:576:43 [INFO] [stdout] 31: 0x574a323b8fb5 - test::run_test::{{closure}}::h3d537cdce8ec5816 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:606:41 [INFO] [stdout] 32: 0x574a323b8fb5 - std::sys::backtrace::__rust_begin_short_backtrace::hb51d9a6c67ec382d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 33: 0x574a323bc9f6 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5738f3abb9603fe6 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/thread/mod.rs:564:17 [INFO] [stdout] 34: 0x574a323bc9f6 - as core::ops::function::FnOnce<()>>::call_once::h5e9f4b56e45e8108 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 35: 0x574a323bc9f6 - std::panicking::try::do_call::ha36db853b2f34e23 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:584:40 [INFO] [stdout] 36: 0x574a323bc9f6 - std::panicking::try::h57e1aa33a0efb1be [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:547:19 [INFO] [stdout] 37: 0x574a323bc9f6 - std::panic::catch_unwind::hdb71a6103024936e [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panic.rs:358:14 [INFO] [stdout] 38: 0x574a323bc9f6 - std::thread::Builder::spawn_unchecked_::{{closure}}::h8caa22218f423ab1 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/thread/mod.rs:562:30 [INFO] [stdout] 39: 0x574a323bc9f6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb3b44780e9c053e5 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x574a32431ffb - as core::ops::function::FnOnce>::call_once::h2649f14f1b1c150d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:1993:9 [INFO] [stdout] 41: 0x574a32431ffb - as core::ops::function::FnOnce>::call_once::hb2ade58cb34e1bc4 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:1993:9 [INFO] [stdout] 42: 0x574a32431ffb - std::sys::pal::unix::thread::Thread::new::thread_start::ha07e360225fa3528 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/pal/unix/thread.rs:106:17 [INFO] [stdout] 43: 0x755457c9fac3 - [INFO] [stdout] 44: 0x755457d30a04 - clone [INFO] [stdout] 45: 0x0 - [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] [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: 0x574a3242c42a - std::backtrace_rs::backtrace::libunwind::trace::h88deb10bd0145eb8 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5 [INFO] [stdout] 1: 0x574a3242c42a - std::backtrace_rs::backtrace::trace_unsynchronized::he1036f5481c14dff [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x574a3242c42a - std::sys::backtrace::_print_fmt::hecc345b6e70c4b20 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x574a3242c42a - ::fmt::he089f96442833f67 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x574a32451de3 - core::fmt::rt::Argument::fmt::h1f77cded99c71a14 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/fmt/rt.rs:177:76 [INFO] [stdout] 5: 0x574a32451de3 - core::fmt::write::h2f210ed4c94745cb [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/fmt/mod.rs:1440:21 [INFO] [stdout] 6: 0x574a32429543 - std::io::Write::write_fmt::he723b56f7e0bd522 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/io/mod.rs:1887:15 [INFO] [stdout] 7: 0x574a3242c272 - std::sys::backtrace::BacktraceLock::print::h810fbd31421329e6 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 8: 0x574a3242d960 - std::panicking::default_hook::{{closure}}::hbaad47ed9dc6356d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x574a3242d6fd - std::panicking::default_hook::h24e207139139d40a [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:319:9 [INFO] [stdout] 10: 0x574a323f0ba3 - as core::ops::function::Fn>::call::h63353c459bb27956 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:2007:9 [INFO] [stdout] 11: 0x574a323f0ba3 - test::test_main::{{closure}}::hd5af4d6c4e32fe08 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:134:21 [INFO] [stdout] 12: 0x574a3242e193 - as core::ops::function::Fn>::call::h3af32c23caf5c679 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:2007:9 [INFO] [stdout] 13: 0x574a3242e193 - std::panicking::rust_panic_with_hook::ha9131beeb2ddc506 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:836:13 [INFO] [stdout] 14: 0x574a3242de36 - std::panicking::begin_panic_handler::{{closure}}::h1bba0eaeb6da506f [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:694:13 [INFO] [stdout] 15: 0x574a3242c929 - std::sys::backtrace::__rust_end_short_backtrace::h1d1ca3eade483f4c [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 16: 0x574a3242dafd - rust_begin_unwind [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:692:5 [INFO] [stdout] 17: 0x574a323a4db0 - core::panicking::panic_fmt::h896a0727a1a943f9 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panicking.rs:75:14 [INFO] [stdout] 18: 0x574a323a4e3c - core::panicking::panic::h06336e0c962d4a4a [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panicking.rs:145:5 [INFO] [stdout] 19: 0x574a323ab4e0 - guard_extraction::bdd_context::test_to_cnf_tseitsin::h5ae950b9483671ff [INFO] [stdout] at /opt/rustwide/workdir/src/bdd_context.rs:1330:5 [INFO] [stdout] 20: 0x574a323aaf07 - guard_extraction::bdd_context::test_to_cnf_tseitsin::{{closure}}::h596356d2202806a6 [INFO] [stdout] at /opt/rustwide/workdir/src/bdd_context.rs:1296:26 [INFO] [stdout] 21: 0x574a323a5d46 - core::ops::function::FnOnce::call_once::h97548a19eb79201a [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x574a323f634b - core::ops::function::FnOnce::call_once::h8acc80b5a33ff319 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x574a323f634b - test::__rust_begin_short_backtrace::h52b6da716ad42b7d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:632:18 [INFO] [stdout] 24: 0x574a323f5283 - test::run_test_in_process::{{closure}}::h2580047890abbefe [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:655:60 [INFO] [stdout] 25: 0x574a323f5283 - as core::ops::function::FnOnce<()>>::call_once::h936f8c89d0a99c40 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 26: 0x574a323f5283 - std::panicking::try::do_call::h868682cc368697f9 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:584:40 [INFO] [stdout] 27: 0x574a323f5283 - std::panicking::try::h0356ffc38cbb5501 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:547:19 [INFO] [stdout] 28: 0x574a323f5283 - std::panic::catch_unwind::h74edf102a3082536 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panic.rs:358:14 [INFO] [stdout] 29: 0x574a323f5283 - test::run_test_in_process::hc27d69576b7224e4 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:655:27 [INFO] [stdout] 30: 0x574a323f5283 - test::run_test::{{closure}}::h9f3bfaf910429adb [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:576:43 [INFO] [stdout] 31: 0x574a323b8fb5 - test::run_test::{{closure}}::h3d537cdce8ec5816 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/test/src/lib.rs:606:41 [INFO] [stdout] 32: 0x574a323b8fb5 - std::sys::backtrace::__rust_begin_short_backtrace::hb51d9a6c67ec382d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 33: 0x574a323bc9f6 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h5738f3abb9603fe6 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/thread/mod.rs:564:17 [INFO] [stdout] 34: 0x574a323bc9f6 - as core::ops::function::FnOnce<()>>::call_once::h5e9f4b56e45e8108 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 35: 0x574a323bc9f6 - std::panicking::try::do_call::ha36db853b2f34e23 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:584:40 [INFO] [stdout] 36: 0x574a323bc9f6 - std::panicking::try::h57e1aa33a0efb1be [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panicking.rs:547:19 [INFO] [stdout] 37: 0x574a323bc9f6 - std::panic::catch_unwind::hdb71a6103024936e [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/panic.rs:358:14 [INFO] [stdout] 38: 0x574a323bc9f6 - std::thread::Builder::spawn_unchecked_::{{closure}}::h8caa22218f423ab1 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/thread/mod.rs:562:30 [INFO] [stdout] 39: 0x574a323bc9f6 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hb3b44780e9c053e5 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x574a32431ffb - as core::ops::function::FnOnce>::call_once::h2649f14f1b1c150d [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:1993:9 [INFO] [stdout] 41: 0x574a32431ffb - as core::ops::function::FnOnce>::call_once::hb2ade58cb34e1bc4 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/alloc/src/boxed.rs:1993:9 [INFO] [stdout] 42: 0x574a32431ffb - std::sys::pal::unix::thread::Thread::new::thread_start::ha07e360225fa3528 [INFO] [stdout] at /rustc/4d91de4e48198da2e33413efdcd9cd2cc0c46688/library/std/src/sys/pal/unix/thread.rs:106:17 [INFO] [stdout] 43: 0x755457c9fac3 - [INFO] [stdout] 44: 0x755457d30a04 - clone [INFO] [stdout] 45: 0x0 - [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.02s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] running `Command { std: "docker" "inspect" "1c47207137ca0224c24c7f3eee0abe3fe7975eea9c875b8788563649356c654c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1c47207137ca0224c24c7f3eee0abe3fe7975eea9c875b8788563649356c654c", kill_on_drop: false }` [INFO] [stdout] 1c47207137ca0224c24c7f3eee0abe3fe7975eea9c875b8788563649356c654c