[INFO] cloning repository https://github.com/elasticrash/sat_rs [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/elasticrash/sat_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Felasticrash%2Fsat_rs", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Felasticrash%2Fsat_rs'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] ab32f1083c4b7d60860f19e4b7b461bc36392d79 [INFO] testing elasticrash/sat_rs against beta-2021-09-08 for beta-1.56-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Felasticrash%2Fsat_rs" "/workspace/builds/worker-9/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-9/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/elasticrash/sat_rs on toolchain beta-2021-09-08 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/elasticrash/sat_rs [INFO] finished tweaking git repo https://github.com/elasticrash/sat_rs [INFO] tweaked toml for git repo https://github.com/elasticrash/sat_rs written to /workspace/builds/worker-9/source/Cargo.toml [INFO] crate git repo https://github.com/elasticrash/sat_rs already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2021-09-08" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded sys-info v0.5.8 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9788adfd65d2c677472d2c7774398d050db39329154ed1f2a58a70b84be36b01 [INFO] running `Command { std: "docker" "start" "-a" "9788adfd65d2c677472d2c7774398d050db39329154ed1f2a58a70b84be36b01", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9788adfd65d2c677472d2c7774398d050db39329154ed1f2a58a70b84be36b01", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9788adfd65d2c677472d2c7774398d050db39329154ed1f2a58a70b84be36b01", kill_on_drop: false }` [INFO] [stdout] 9788adfd65d2c677472d2c7774398d050db39329154ed1f2a58a70b84be36b01 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] ac527e5f979c18d1824bfcf2e86d2d8a924df35a9dfa7aafeea0c223c2fa783a [INFO] running `Command { std: "docker" "start" "-a" "ac527e5f979c18d1824bfcf2e86d2d8a924df35a9dfa7aafeea0c223c2fa783a", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.86 [INFO] [stderr] Compiling regex-syntax v0.6.18 [INFO] [stderr] Compiling sys-info v0.5.8 [INFO] [stderr] Compiling aho-corasick v0.7.13 [INFO] [stderr] Compiling time v0.1.44 [INFO] [stderr] Compiling chrono v0.4.19 [INFO] [stderr] Compiling regex v1.3.9 [INFO] [stderr] Compiling simplelog v0.9.0 [INFO] [stderr] Compiling sat_rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 15.76s [INFO] running `Command { std: "docker" "inspect" "ac527e5f979c18d1824bfcf2e86d2d8a924df35a9dfa7aafeea0c223c2fa783a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "ac527e5f979c18d1824bfcf2e86d2d8a924df35a9dfa7aafeea0c223c2fa783a", kill_on_drop: false }` [INFO] [stdout] ac527e5f979c18d1824bfcf2e86d2d8a924df35a9dfa7aafeea0c223c2fa783a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 94c525138564238fa7e8d54759fb851cf37a4bcda916511426b6cf2be6e33c9e [INFO] running `Command { std: "docker" "start" "-a" "94c525138564238fa7e8d54759fb851cf37a4bcda916511426b6cf2be6e33c9e", kill_on_drop: false }` [INFO] [stderr] Compiling sat_rs v0.1.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 2.55s [INFO] running `Command { std: "docker" "inspect" "94c525138564238fa7e8d54759fb851cf37a4bcda916511426b6cf2be6e33c9e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "94c525138564238fa7e8d54759fb851cf37a4bcda916511426b6cf2be6e33c9e", kill_on_drop: false }` [INFO] [stdout] 94c525138564238fa7e8d54759fb851cf37a4bcda916511426b6cf2be6e33c9e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-9/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:a89201d6b5b9fd45c15d5952ece0a0129e7e80cb26ec023fd59cf09bc26f1604" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2021-09-08" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 2dc06732e354a97409087d46385805564e400e755b5e28b9c45bc50912a8a4ac [INFO] running `Command { std: "docker" "start" "-a" "2dc06732e354a97409087d46385805564e400e755b5e28b9c45bc50912a8a4ac", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/sat_rs-ed7f47143855741e) [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test models::varorder::tests::insert_new_var ... ok [INFO] [stdout] test control_problem ... ok [INFO] [stdout] test models::varorder::tests::new_var_order ... ok [INFO] [stdout] test quinn_problem ... ok [INFO] [stdout] test aim_50_problem ... FAILED [INFO] [stdout] test aim_100_problem ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- aim_50_problem stdout ---- [INFO] [stdout] thread 'aim_50_problem' panicked at 'assertion failed: self.enqueue(&c.data[0], Some(c.clone()))', src/functions/new_clause.rs:198:21 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x55eb5d16df1c - std::backtrace_rs::backtrace::libunwind::trace::h51faa62df48810e4 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x55eb5d16df1c - std::backtrace_rs::backtrace::trace_unsynchronized::h91de4d8e16d607e4 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55eb5d16df1c - std::sys_common::backtrace::_print_fmt::h71b0935f97e4322c [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55eb5d16df1c - ::fmt::h9a78218788c14e18 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55eb5d19150c - core::fmt::write::h3381b3176fe2b3d3 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/fmt/mod.rs:1150:17 [INFO] [stdout] 5: 0x55eb5d16ab65 - std::io::Write::write_fmt::hb6383f24fe197d3c [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/io/mod.rs:1667:15 [INFO] [stdout] 6: 0x55eb5d16fbd0 - std::sys_common::backtrace::_print::h4b77abc4d907ed0e [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55eb5d16fbd0 - std::sys_common::backtrace::print::hb170c60b542377ad [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55eb5d16fbd0 - std::panicking::default_hook::{{closure}}::h12bbda9af8901ee3 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:210:50 [INFO] [stdout] 9: 0x55eb5d16f7c2 - std::panicking::default_hook::h8c6c66d3f3ba6768 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:224:9 [INFO] [stdout] 10: 0x55eb5d170284 - std::panicking::rust_panic_with_hook::h36f2fa0bb09f4069 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:624:17 [INFO] [stdout] 11: 0x55eb5d16fd32 - std::panicking::begin_panic_handler::{{closure}}::h9c42b65a42d06a7a [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x55eb5d16e3e4 - std::sys_common::backtrace::__rust_end_short_backtrace::hc791bddfe31e532c [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x55eb5d16fcc9 - rust_begin_unwind [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:517:5 [INFO] [stdout] 14: 0x55eb5cf59b71 - core::panicking::panic_fmt::hf9de31d4acbce4db [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panicking.rs:101:14 [INFO] [stdout] 15: 0x55eb5cf59abd - core::panicking::panic::h8a6bc58a21c6c095 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panicking.rs:50:5 [INFO] [stdout] 16: 0x55eb5cf60073 - ::new_clause_pr::h5aec825ac78a85b9 [INFO] [stdout] at /opt/rustwide/workdir/src/functions/new_clause.rs:198:21 [INFO] [stdout] 17: 0x55eb5cf5ec9b - ::new_clause::hf209894eae29be15 [INFO] [stdout] at /opt/rustwide/workdir/src/functions/new_clause.rs:99:9 [INFO] [stdout] 18: 0x55eb5cf64448 - ::search::h406ae890d3c41e1b [INFO] [stdout] at /opt/rustwide/workdir/src/functions/search.rs:72:21 [INFO] [stdout] 19: 0x55eb5cf675bc - ::solve::h3131f2888adae1ce [INFO] [stdout] at /opt/rustwide/workdir/src/functions/solve.rs:106:22 [INFO] [stdout] 20: 0x55eb5cf6803b - ::solve_no_assumptions::h43efb8f86afce9c3 [INFO] [stdout] at /opt/rustwide/workdir/src/functions/solve.rs:124:16 [INFO] [stdout] 21: 0x55eb5cf752f0 - sat_rs::process_problem::h4ed6b6f294843709 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:84:5 [INFO] [stdout] 22: 0x55eb5cf75c88 - sat_rs::aim_50_problem::hcf2a575be4342850 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:198:17 [INFO] [stdout] 23: 0x55eb5cf75c3a - sat_rs::aim_50_problem::{{closure}}::hd2e134c96d6fa864 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:106:1 [INFO] [stdout] 24: 0x55eb5cf73f1e - core::ops::function::FnOnce::call_once::h63f50b1c51f76eb0 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 25: 0x55eb5d1476d3 - core::ops::function::FnOnce::call_once::h61555a204318cc58 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 26: 0x55eb5d1476d3 - test::__rust_begin_short_backtrace::h8331e7b1cc7a6e62 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:578:5 [INFO] [stdout] 27: 0x55eb5d146158 - as core::ops::function::FnOnce>::call_once::h98582e597fa7f145 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9 [INFO] [stdout] 28: 0x55eb5d146158 - as core::ops::function::FnOnce<()>>::call_once::h38fa7a0826ecff45 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 29: 0x55eb5d146158 - std::panicking::try::do_call::h5b27d1cfffaa9f87 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40 [INFO] [stdout] 30: 0x55eb5d146158 - std::panicking::try::h86f7124b3264bcbe [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19 [INFO] [stdout] 31: 0x55eb5d146158 - std::panic::catch_unwind::h42dadf3598df7528 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14 [INFO] [stdout] 32: 0x55eb5d146158 - test::run_test_in_process::h9d4b7510f0910050 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:601:18 [INFO] [stdout] 33: 0x55eb5d146158 - test::run_test::run_test_inner::{{closure}}::h9b17f1fd181fe294 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:493:39 [INFO] [stdout] 34: 0x55eb5d113cae - test::run_test::run_test_inner::{{closure}}::h476f9211dfec6075 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:520:37 [INFO] [stdout] 35: 0x55eb5d113cae - std::sys_common::backtrace::__rust_begin_short_backtrace::h5c2db6945645950d [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 36: 0x55eb5d118548 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h791169ea9ba5492d [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 37: 0x55eb5d118548 - as core::ops::function::FnOnce<()>>::call_once::he930357ede3f4b4d [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 38: 0x55eb5d118548 - std::panicking::try::do_call::h0de4b1dd08a9aa80 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40 [INFO] [stdout] 39: 0x55eb5d118548 - std::panicking::try::hf5b5c530df698d97 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19 [INFO] [stdout] 40: 0x55eb5d118548 - std::panic::catch_unwind::hed97078f17dbf191 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14 [INFO] [stdout] 41: 0x55eb5d118548 - std::thread::Builder::spawn_unchecked::{{closure}}::h2e673950929cba93 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 42: 0x55eb5d118548 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h8e18ddd18a52f010 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 43: 0x55eb5d174f33 - as core::ops::function::FnOnce>::call_once::hbbbb32ef11ea0ad2 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9 [INFO] [stdout] 44: 0x55eb5d174f33 - as core::ops::function::FnOnce>::call_once::h3b8ef23699fc5385 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9 [INFO] [stdout] 45: 0x55eb5d174f33 - std::sys::unix::thread::Thread::new::thread_start::ha57f5cba35f709b7 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 46: 0x7f3cedbc1609 - start_thread [INFO] [stdout] 47: 0x7f3ced993293 - clone [INFO] [stdout] 48: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- aim_100_problem stdout ---- [INFO] [stdout] thread 'aim_100_problem' panicked at 'attempt to shift left with overflow', src/functions/analyse.rs:201:38 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x55eb5d16df1c - std::backtrace_rs::backtrace::libunwind::trace::h51faa62df48810e4 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x55eb5d16df1c - std::backtrace_rs::backtrace::trace_unsynchronized::h91de4d8e16d607e4 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x55eb5d16df1c - std::sys_common::backtrace::_print_fmt::h71b0935f97e4322c [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x55eb5d16df1c - ::fmt::h9a78218788c14e18 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x55eb5d19150c - core::fmt::write::h3381b3176fe2b3d3 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/fmt/mod.rs:1150:17 [INFO] [stdout] 5: 0x55eb5d16ab65 - std::io::Write::write_fmt::hb6383f24fe197d3c [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/io/mod.rs:1667:15 [INFO] [stdout] 6: 0x55eb5d16fbd0 - std::sys_common::backtrace::_print::h4b77abc4d907ed0e [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x55eb5d16fbd0 - std::sys_common::backtrace::print::hb170c60b542377ad [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x55eb5d16fbd0 - std::panicking::default_hook::{{closure}}::h12bbda9af8901ee3 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:210:50 [INFO] [stdout] 9: 0x55eb5d16f7c2 - std::panicking::default_hook::h8c6c66d3f3ba6768 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:224:9 [INFO] [stdout] 10: 0x55eb5d170284 - std::panicking::rust_panic_with_hook::h36f2fa0bb09f4069 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:624:17 [INFO] [stdout] 11: 0x55eb5d16fd32 - std::panicking::begin_panic_handler::{{closure}}::h9c42b65a42d06a7a [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x55eb5d16e3e4 - std::sys_common::backtrace::__rust_end_short_backtrace::hc791bddfe31e532c [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x55eb5d16fcc9 - rust_begin_unwind [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:517:5 [INFO] [stdout] 14: 0x55eb5cf59b71 - core::panicking::panic_fmt::hf9de31d4acbce4db [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panicking.rs:101:14 [INFO] [stdout] 15: 0x55eb5cf59abd - core::panicking::panic::h8a6bc58a21c6c095 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panicking.rs:50:5 [INFO] [stdout] 16: 0x55eb5cf5cd89 - ::analyze_removeable::h742e50808dea35f3 [INFO] [stdout] at /opt/rustwide/workdir/src/functions/analyse.rs:201:38 [INFO] [stdout] 17: 0x55eb5cf5b753 - ::analyze::hc1d0251cfbebc23b [INFO] [stdout] at /opt/rustwide/workdir/src/functions/analyse.rs:117:33 [INFO] [stdout] 18: 0x55eb5cf643e5 - ::search::h406ae890d3c41e1b [INFO] [stdout] at /opt/rustwide/workdir/src/functions/search.rs:69:48 [INFO] [stdout] 19: 0x55eb5cf675bc - ::solve::h3131f2888adae1ce [INFO] [stdout] at /opt/rustwide/workdir/src/functions/solve.rs:106:22 [INFO] [stdout] 20: 0x55eb5cf6803b - ::solve_no_assumptions::h43efb8f86afce9c3 [INFO] [stdout] at /opt/rustwide/workdir/src/functions/solve.rs:124:16 [INFO] [stdout] 21: 0x55eb5cf752f0 - sat_rs::process_problem::h4ed6b6f294843709 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:84:5 [INFO] [stdout] 22: 0x55eb5cf76488 - sat_rs::aim_100_problem::h5d190ca1cebc8314 [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:413:13 [INFO] [stdout] 23: 0x55eb5cf7643a - sat_rs::aim_100_problem::{{closure}}::he72c1f69e2c82e1f [INFO] [stdout] at /opt/rustwide/workdir/src/main.rs:241:1 [INFO] [stdout] 24: 0x55eb5cf73f9e - core::ops::function::FnOnce::call_once::hca2e22277b969996 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 25: 0x55eb5d1476d3 - core::ops::function::FnOnce::call_once::h61555a204318cc58 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 26: 0x55eb5d1476d3 - test::__rust_begin_short_backtrace::h8331e7b1cc7a6e62 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:578:5 [INFO] [stdout] 27: 0x55eb5d146158 - as core::ops::function::FnOnce>::call_once::h98582e597fa7f145 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9 [INFO] [stdout] 28: 0x55eb5d146158 - as core::ops::function::FnOnce<()>>::call_once::h38fa7a0826ecff45 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 29: 0x55eb5d146158 - std::panicking::try::do_call::h5b27d1cfffaa9f87 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40 [INFO] [stdout] 30: 0x55eb5d146158 - std::panicking::try::h86f7124b3264bcbe [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19 [INFO] [stdout] 31: 0x55eb5d146158 - std::panic::catch_unwind::h42dadf3598df7528 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14 [INFO] [stdout] 32: 0x55eb5d146158 - test::run_test_in_process::h9d4b7510f0910050 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:601:18 [INFO] [stdout] 33: 0x55eb5d146158 - test::run_test::run_test_inner::{{closure}}::h9b17f1fd181fe294 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:493:39 [INFO] [stdout] 34: 0x55eb5d113cae - test::run_test::run_test_inner::{{closure}}::h476f9211dfec6075 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/test/src/lib.rs:520:37 [INFO] [stdout] 35: 0x55eb5d113cae - std::sys_common::backtrace::__rust_begin_short_backtrace::h5c2db6945645950d [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 36: 0x55eb5d118548 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h791169ea9ba5492d [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 37: 0x55eb5d118548 - as core::ops::function::FnOnce<()>>::call_once::he930357ede3f4b4d [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 38: 0x55eb5d118548 - std::panicking::try::do_call::h0de4b1dd08a9aa80 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:403:40 [INFO] [stdout] 39: 0x55eb5d118548 - std::panicking::try::hf5b5c530df698d97 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panicking.rs:367:19 [INFO] [stdout] 40: 0x55eb5d118548 - std::panic::catch_unwind::hed97078f17dbf191 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/panic.rs:129:14 [INFO] [stdout] 41: 0x55eb5d118548 - std::thread::Builder::spawn_unchecked::{{closure}}::h2e673950929cba93 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 42: 0x55eb5d118548 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h8e18ddd18a52f010 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 43: 0x55eb5d174f33 - as core::ops::function::FnOnce>::call_once::hbbbb32ef11ea0ad2 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9 [INFO] [stdout] 44: 0x55eb5d174f33 - as core::ops::function::FnOnce>::call_once::h3b8ef23699fc5385 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/alloc/src/boxed.rs:1636:9 [INFO] [stdout] 45: 0x55eb5d174f33 - std::sys::unix::thread::Thread::new::thread_start::ha57f5cba35f709b7 [INFO] [stdout] at /rustc/e784c962ea252f0874a4305168077e7048cb39e9/library/std/src/sys/unix/thread.rs:106:17 [INFO] [stdout] 46: 0x7f3cedbc1609 - start_thread [INFO] [stdout] 47: 0x7f3ced993293 - clone [INFO] [stdout] 48: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] aim_100_problem [INFO] [stdout] aim_50_problem [INFO] [stdout] [INFO] [stdout] test result: FAILED. 4 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--bin sat_rs' [INFO] running `Command { std: "docker" "inspect" "2dc06732e354a97409087d46385805564e400e755b5e28b9c45bc50912a8a4ac", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "2dc06732e354a97409087d46385805564e400e755b5e28b9c45bc50912a8a4ac", kill_on_drop: false }` [INFO] [stdout] 2dc06732e354a97409087d46385805564e400e755b5e28b9c45bc50912a8a4ac