[INFO] cloning repository https://github.com/hopv/hoice [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/hopv/hoice" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 1c9a5d1975affdcf819bf1526f936142564266f4 [INFO] testing hopv/hoice against 1.55.0 for beta-1.56-2 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fhopv%2Fhoice" "/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/hopv/hoice on toolchain 1.55.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.55.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/hopv/hoice [INFO] finished tweaking git repo https://github.com/hopv/hoice [INFO] tweaked toml for git repo https://github.com/hopv/hoice written to /workspace/builds/worker-9/source/Cargo.toml [INFO] crate git repo https://github.com/hopv/hoice already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.55.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded rsmt2 v0.12.0 [INFO] [stderr] Downloaded hashconsing v1.3.0 [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" "+1.55.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 005b73f7c0364770dbd390d618b9d8b21a4fc65073e705b8163dc6f1bec6cd65 [INFO] running `Command { std: "docker" "start" "-a" "005b73f7c0364770dbd390d618b9d8b21a4fc65073e705b8163dc6f1bec6cd65", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "005b73f7c0364770dbd390d618b9d8b21a4fc65073e705b8163dc6f1bec6cd65", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "005b73f7c0364770dbd390d618b9d8b21a4fc65073e705b8163dc6f1bec6cd65", kill_on_drop: false }` [INFO] [stdout] 005b73f7c0364770dbd390d618b9d8b21a4fc65073e705b8163dc6f1bec6cd65 [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" "+1.55.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a647817539c6ca5778381f9d412e1110f7639cdff6443fdc4508703746c98e09 [INFO] running `Command { std: "docker" "start" "-a" "a647817539c6ca5778381f9d412e1110f7639cdff6443fdc4508703746c98e09", kill_on_drop: false }` [INFO] [stderr] Compiling gimli v0.23.0 [INFO] [stderr] Compiling object v0.23.0 [INFO] [stderr] Compiling rustc-demangle v0.1.18 [INFO] [stderr] Compiling ansi_term v0.12.1 [INFO] [stderr] Compiling num-bigint v0.4.0 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling hashconsing v1.3.0 [INFO] [stderr] Compiling getrandom v0.2.2 [INFO] [stderr] Compiling num-complex v0.4.0 [INFO] [stderr] Compiling rand_core v0.6.2 [INFO] [stderr] Compiling mylib v0.1.0 (https://github.com/AdrienChampion/mylib#62fecec9) [INFO] [stderr] Compiling rand_chacha v0.3.0 [INFO] [stderr] Compiling rand_xorshift v0.3.0 [INFO] [stderr] Compiling rand v0.8.3 [INFO] [stderr] Compiling addr2line v0.14.1 [INFO] [stderr] Compiling backtrace v0.3.56 [INFO] [stderr] Compiling num-rational v0.4.0 [INFO] [stderr] Compiling num v0.4.0 [INFO] [stderr] Compiling rsmt2 v0.12.0 [INFO] [stderr] Compiling hoice v1.9.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 1m 03s [INFO] running `Command { std: "docker" "inspect" "a647817539c6ca5778381f9d412e1110f7639cdff6443fdc4508703746c98e09", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a647817539c6ca5778381f9d412e1110f7639cdff6443fdc4508703746c98e09", kill_on_drop: false }` [INFO] [stdout] a647817539c6ca5778381f9d412e1110f7639cdff6443fdc4508703746c98e09 [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" "+1.55.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d2cb1ff4acf5989611aa7dda1aacdd5e8cc1c5a4a7111529c6b8eeb817414681 [INFO] running `Command { std: "docker" "start" "-a" "d2cb1ff4acf5989611aa7dda1aacdd5e8cc1c5a4a7111529c6b8eeb817414681", kill_on_drop: false }` [INFO] [stderr] Compiling hoice v1.9.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 18.62s [INFO] running `Command { std: "docker" "inspect" "d2cb1ff4acf5989611aa7dda1aacdd5e8cc1c5a4a7111529c6b8eeb817414681", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d2cb1ff4acf5989611aa7dda1aacdd5e8cc1c5a4a7111529c6b8eeb817414681", kill_on_drop: false }` [INFO] [stdout] d2cb1ff4acf5989611aa7dda1aacdd5e8cc1c5a4a7111529c6b8eeb817414681 [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" "+1.55.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 364d4b44e8dbfe847fbc963ca9c764a3b430b81912860a091650ec0b6f31b395 [INFO] running `Command { std: "docker" "start" "-a" "364d4b44e8dbfe847fbc963ca9c764a3b430b81912860a091650ec0b6f31b395", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-00d1ef218b5922b7) [INFO] [stdout] [INFO] [stdout] running 40 tests [INFO] [stdout] test dtyp::dtyp_write_dec ... ok [INFO] [stdout] test term::test::cst_ge_1 ... ok [INFO] [stdout] test term::test::cst_div ... ok [INFO] [stdout] test term::test::cst_not_2 ... ok [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/hoice-001294007b2a6571) [INFO] [stdout] test term::test::cst_or_4 ... ok [INFO] [stderr] Running tests/tests.rs (/opt/rustwide/target/debug/deps/tests-1afad19e19dad3b8) [INFO] [stdout] test term::test::cst_gt_1 ... ok [INFO] [stdout] test term::test::cst_impl_4 ... ok [INFO] [stdout] test term::test::cst_mod ... ok [INFO] [stdout] test term::test::cst_sub_1 ... ok [INFO] [stdout] test term::test::cst_not_1 ... ok [INFO] [stdout] test term::test::cst_eq_2 ... ok [INFO] [stdout] test term::test::cst_or_5 ... ok [INFO] [stdout] test term::test::cst_or_1 ... ok [INFO] [stdout] test term::test::cst_impl_2 ... ok [INFO] [stdout] test term::test::cst_lt_2 ... ok [INFO] [stdout] test term::test::cst_le_1 ... ok [INFO] [stdout] test term::test::cst_gt_2 ... ok [INFO] [stdout] test term::test::cst_eq_4 ... ok [INFO] [stdout] test term::test::cst_or_3 ... ok [INFO] [stdout] test term::test::cst_le_2 ... ok [INFO] [stdout] test term::test::cst_lt_1 ... ok [INFO] [stdout] test term::test::cst_eq_3 ... ok [INFO] [stdout] test term::test::add_real_1 ... ok [INFO] [stdout] test term::test::cst_mul ... ok [INFO] [stdout] test term::test::cst_and_2 ... ok [INFO] [stdout] test term::test::cst_and_1 ... ok [INFO] [stdout] test term::test::cst_or_2 ... ok [INFO] [stdout] test term::test::lazy_3 ... ok [INFO] [stdout] test term::test::cst_add ... ok [INFO] [stdout] test term::test::cst_impl_1 ... ok [INFO] [stdout] test term::test::cst_ge_2 ... ok [INFO] [stdout] test term::test::cst_impl_3 ... ok [INFO] [stdout] test term::test::cst_and_3 ... ok [INFO] [stdout] test term::test::ite_1 ... ok [INFO] [stdout] test term::test::cst_and_4 ... ok [INFO] [stdout] test term::test::cst_eq_1 ... ok [INFO] [stdout] test term::test::cst_sub_2 ... ok [INFO] [stdout] test term::test::lazy_2 ... ok [INFO] [stdout] test term::test::lazy_4 ... ok [INFO] [stdout] test term::test::lazy_1 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 40 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 6 tests [INFO] [stdout] test unsat ... FAILED [INFO] [stdout] test err ... ok [INFO] [stdout] test sat_file ... FAILED [INFO] [stdout] test sat ... FAILED [INFO] [stdout] test sat_ackermann ... FAILED [INFO] [stderr] error: test failed, to rerun pass '--test tests' [INFO] [stdout] test sat_rec_simpl ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- unsat stdout ---- [INFO] [stdout] looking at `preproc.smt2` [INFO] [stdout] Error: [INFO] [stdout] > While spawning child process with z3 [INFO] [stdout] > No such file or directory (os error 2) [INFO] [stdout] thread 'unsat' panicked at 'failure', tests/tests.rs:54:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588df16c8a0 - std::backtrace_rs::backtrace::libunwind::trace::ha0ad43e8a952bfe7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x5588df16c8a0 - std::backtrace_rs::backtrace::trace_unsynchronized::h6830419c0c4130dc [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588df16c8a0 - std::sys_common::backtrace::_print_fmt::h8f3516631ffa1ef5 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5588df16c8a0 - ::fmt::he1640d5f0d93f618 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5588df190d2c - core::fmt::write::h88012e1f01caeebf [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/fmt/mod.rs:1115:17 [INFO] [stdout] 5: 0x5588df168e35 - std::io::Write::write_fmt::h7728c39ea5632753 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/io/mod.rs:1665:15 [INFO] [stdout] 6: 0x5588df16ea8b - std::sys_common::backtrace::_print::ha1f00492f406a015 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5588df16ea8b - std::sys_common::backtrace::print::hd54561b13feb6af3 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5588df16ea8b - std::panicking::default_hook::{{closure}}::h84fe124cd0864662 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5588df16e59c - std::panicking::default_hook::h5a8e74a76ce290a7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x5588df16f154 - std::panicking::rust_panic_with_hook::h67c812a4fe9d4c91 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x5588defc14e3 - std::panicking::begin_panic::{{closure}}::h8a827401ec773040 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:542:9 [INFO] [stdout] 12: 0x5588defc11e9 - std::sys_common::backtrace::__rust_end_short_backtrace::hcbd3a83187a6f653 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5588defc1419 - std::panicking::begin_panic::h7398ccda2843c137 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:541:12 [INFO] [stdout] 14: 0x5588de56d178 - tests::unsat::hf4ef08737c34b5ff [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:54:5 [INFO] [stdout] 15: 0x5588de56cfaa - tests::unsat::{{closure}}::hc4ac5e046d476703 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:53:1 [INFO] [stdout] 16: 0x5588de5723fe - core::ops::function::FnOnce::call_once::h071466d824c4dd18 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x5588de5bb363 - core::ops::function::FnOnce::call_once::h5aba9a5d361d6c79 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x5588de5bb363 - test::__rust_begin_short_backtrace::h705bb53b2b1d45e6 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:578:5 [INFO] [stdout] 19: 0x5588de5b9e18 - as core::ops::function::FnOnce>::call_once::ha20f614d7c0b2b6d [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 20: 0x5588de5b9e18 - as core::ops::function::FnOnce<()>>::call_once::hf02f19eeb64ceabd [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 21: 0x5588de5b9e18 - std::panicking::try::do_call::h4bfab65eb3b4b036 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 22: 0x5588de5b9e18 - std::panicking::try::h6613a46a6d2b6f88 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 23: 0x5588de5b9e18 - std::panic::catch_unwind::h9f07b17b60991273 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 24: 0x5588de5b9e18 - test::run_test_in_process::hc38797eecf07854f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:601:18 [INFO] [stdout] 25: 0x5588de5b9e18 - test::run_test::run_test_inner::{{closure}}::hac209db8bce0fd77 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:493:39 [INFO] [stdout] 26: 0x5588de5885ad - test::run_test::run_test_inner::{{closure}}::h4aefdd4b4a423e20 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:520:37 [INFO] [stdout] 27: 0x5588de5885ad - std::sys_common::backtrace::__rust_begin_short_backtrace::h652c9e2663704700 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 28: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hd84fd5e0b5b1f45f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:476:17 [INFO] [stdout] 29: 0x5588de58cd88 - as core::ops::function::FnOnce<()>>::call_once::he23556962a2ae14b [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 30: 0x5588de58cd88 - std::panicking::try::do_call::h67d4f93e1fbaa5f9 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 31: 0x5588de58cd88 - std::panicking::try::h396886e678db815e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 32: 0x5588de58cd88 - std::panic::catch_unwind::hc1d64dcecf0a00e0 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 33: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::hc2644cf33cb61d8e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:475:30 [INFO] [stdout] 34: 0x5588de58cd88 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h4473c2c77b66963f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::h6bff7798948b1075 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 36: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::hc2d25ac38f6b2342 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 37: 0x5588df174687 - std::sys::unix::thread::Thread::new::thread_start::hbba5bc368baac205 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys/unix/thread.rs:74:17 [INFO] [stdout] 38: 0x7f46936c7609 - start_thread [INFO] [stdout] 39: 0x7f4693499293 - clone [INFO] [stdout] 40: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- sat_file stdout ---- [INFO] [stdout] looking at `rsc/sat/long/file.smt2` [INFO] [stdout] Error: [INFO] [stdout] > while reading file and getting model [INFO] [stdout] > While spawning child process with z3 [INFO] [stdout] > No such file or directory (os error 2) [INFO] [stdout] thread 'sat_file' panicked at 'failure', tests/tests.rs:44:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588df16c8a0 - std::backtrace_rs::backtrace::libunwind::trace::ha0ad43e8a952bfe7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x5588df16c8a0 - std::backtrace_rs::backtrace::trace_unsynchronized::h6830419c0c4130dc [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588df16c8a0 - std::sys_common::backtrace::_print_fmt::h8f3516631ffa1ef5 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5588df16c8a0 - ::fmt::he1640d5f0d93f618 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5588df190d2c - core::fmt::write::h88012e1f01caeebf [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/fmt/mod.rs:1115:17 [INFO] [stdout] 5: 0x5588df168e35 - std::io::Write::write_fmt::h7728c39ea5632753 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/io/mod.rs:1665:15 [INFO] [stdout] 6: 0x5588df16ea8b - std::sys_common::backtrace::_print::ha1f00492f406a015 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5588df16ea8b - std::sys_common::backtrace::print::hd54561b13feb6af3 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5588df16ea8b - std::panicking::default_hook::{{closure}}::h84fe124cd0864662 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5588df16e59c - std::panicking::default_hook::h5a8e74a76ce290a7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x5588df16f154 - std::panicking::rust_panic_with_hook::h67c812a4fe9d4c91 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x5588defc14e3 - std::panicking::begin_panic::{{closure}}::h8a827401ec773040 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:542:9 [INFO] [stdout] 12: 0x5588defc11e9 - std::sys_common::backtrace::__rust_end_short_backtrace::hcbd3a83187a6f653 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5588defc1419 - std::panicking::begin_panic::h7398ccda2843c137 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:541:12 [INFO] [stdout] 14: 0x5588de56c664 - tests::sat_file::hec1d1f8ab9eca52e [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:44:5 [INFO] [stdout] 15: 0x5588de56c48a - tests::sat_file::{{closure}}::h690a172e0eba348b [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:43:1 [INFO] [stdout] 16: 0x5588de57247e - core::ops::function::FnOnce::call_once::h6ba4f612ba1641a9 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x5588de5bb363 - core::ops::function::FnOnce::call_once::h5aba9a5d361d6c79 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x5588de5bb363 - test::__rust_begin_short_backtrace::h705bb53b2b1d45e6 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:578:5 [INFO] [stdout] 19: 0x5588de5b9e18 - as core::ops::function::FnOnce>::call_once::ha20f614d7c0b2b6d [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 20: 0x5588de5b9e18 - as core::ops::function::FnOnce<()>>::call_once::hf02f19eeb64ceabd [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 21: 0x5588de5b9e18 - std::panicking::try::do_call::h4bfab65eb3b4b036 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 22: 0x5588de5b9e18 - std::panicking::try::h6613a46a6d2b6f88 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 23: 0x5588de5b9e18 - std::panic::catch_unwind::h9f07b17b60991273 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 24: 0x5588de5b9e18 - test::run_test_in_process::hc38797eecf07854f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:601:18 [INFO] [stdout] 25: 0x5588de5b9e18 - test::run_test::run_test_inner::{{closure}}::hac209db8bce0fd77 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:493:39 [INFO] [stdout] 26: 0x5588de5885ad - test::run_test::run_test_inner::{{closure}}::h4aefdd4b4a423e20 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:520:37 [INFO] [stdout] 27: 0x5588de5885ad - std::sys_common::backtrace::__rust_begin_short_backtrace::h652c9e2663704700 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 28: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hd84fd5e0b5b1f45f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:476:17 [INFO] [stdout] 29: 0x5588de58cd88 - as core::ops::function::FnOnce<()>>::call_once::he23556962a2ae14b [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 30: 0x5588de58cd88 - std::panicking::try::do_call::h67d4f93e1fbaa5f9 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 31: 0x5588de58cd88 - std::panicking::try::h396886e678db815e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 32: 0x5588de58cd88 - std::panic::catch_unwind::hc1d64dcecf0a00e0 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 33: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::hc2644cf33cb61d8e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:475:30 [INFO] [stdout] 34: 0x5588de58cd88 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h4473c2c77b66963f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::h6bff7798948b1075 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 36: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::hc2d25ac38f6b2342 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 37: 0x5588df174687 - std::sys::unix::thread::Thread::new::thread_start::hbba5bc368baac205 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys/unix/thread.rs:74:17 [INFO] [stdout] 38: 0x7f46936c7609 - start_thread [INFO] [stdout] 39: 0x7f4693499293 - clone [INFO] [stdout] 40: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- sat stdout ---- [INFO] [stdout] looking at `rsc/sat/a-init_reals.smt2` [INFO] [stdout] Error: [INFO] [stdout] > while reading file and getting model [INFO] [stdout] > While spawning child process with z3 [INFO] [stdout] > No such file or directory (os error 2) [INFO] [stdout] thread 'sat' panicked at 'failure', tests/tests.rs:34:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588df16c8a0 - std::backtrace_rs::backtrace::libunwind::trace::ha0ad43e8a952bfe7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x5588df16c8a0 - std::backtrace_rs::backtrace::trace_unsynchronized::h6830419c0c4130dc [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588df16c8a0 - std::sys_common::backtrace::_print_fmt::h8f3516631ffa1ef5 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5588df16c8a0 - ::fmt::he1640d5f0d93f618 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5588df190d2c - core::fmt::write::h88012e1f01caeebf [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/fmt/mod.rs:1115:17 [INFO] [stdout] 5: 0x5588df168e35 - std::io::Write::write_fmt::h7728c39ea5632753 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/io/mod.rs:1665:15 [INFO] [stdout] 6: 0x5588df16ea8b - std::sys_common::backtrace::_print::ha1f00492f406a015 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5588df16ea8b - std::sys_common::backtrace::print::hd54561b13feb6af3 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5588df16ea8b - std::panicking::default_hook::{{closure}}::h84fe124cd0864662 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5588df16e59c - std::panicking::default_hook::h5a8e74a76ce290a7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x5588df16f154 - std::panicking::rust_panic_with_hook::h67c812a4fe9d4c91 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x5588defc14e3 - std::panicking::begin_panic::{{closure}}::h8a827401ec773040 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:542:9 [INFO] [stdout] 12: 0x5588defc11e9 - std::sys_common::backtrace::__rust_end_short_backtrace::hcbd3a83187a6f653 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5588defc1419 - std::panicking::begin_panic::h7398ccda2843c137 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:541:12 [INFO] [stdout] 14: 0x5588de56bb48 - tests::sat::he5b3a290106f67f3 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:34:5 [INFO] [stdout] 15: 0x5588de56b97a - tests::sat::{{closure}}::hcec470b1ef2a79f6 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:33:1 [INFO] [stdout] 16: 0x5588de57250e - core::ops::function::FnOnce::call_once::ha4bcab502285bf70 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x5588de5bb363 - core::ops::function::FnOnce::call_once::h5aba9a5d361d6c79 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x5588de5bb363 - test::__rust_begin_short_backtrace::h705bb53b2b1d45e6 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:578:5 [INFO] [stdout] 19: 0x5588de5b9e18 - as core::ops::function::FnOnce>::call_once::ha20f614d7c0b2b6d [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 20: 0x5588de5b9e18 - as core::ops::function::FnOnce<()>>::call_once::hf02f19eeb64ceabd [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 21: 0x5588de5b9e18 - std::panicking::try::do_call::h4bfab65eb3b4b036 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 22: 0x5588de5b9e18 - std::panicking::try::h6613a46a6d2b6f88 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 23: 0x5588de5b9e18 - std::panic::catch_unwind::h9f07b17b60991273 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 24: 0x5588de5b9e18 - test::run_test_in_process::hc38797eecf07854f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:601:18 [INFO] [stdout] 25: 0x5588de5b9e18 - test::run_test::run_test_inner::{{closure}}::hac209db8bce0fd77 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:493:39 [INFO] [stdout] 26: 0x5588de5885ad - test::run_test::run_test_inner::{{closure}}::h4aefdd4b4a423e20 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:520:37 [INFO] [stdout] 27: 0x5588de5885ad - std::sys_common::backtrace::__rust_begin_short_backtrace::h652c9e2663704700 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 28: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hd84fd5e0b5b1f45f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:476:17 [INFO] [stdout] 29: 0x5588de58cd88 - as core::ops::function::FnOnce<()>>::call_once::he23556962a2ae14b [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 30: 0x5588de58cd88 - std::panicking::try::do_call::h67d4f93e1fbaa5f9 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 31: 0x5588de58cd88 - std::panicking::try::h396886e678db815e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 32: 0x5588de58cd88 - std::panic::catch_unwind::hc1d64dcecf0a00e0 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 33: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::hc2644cf33cb61d8e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:475:30 [INFO] [stdout] 34: 0x5588de58cd88 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h4473c2c77b66963f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::h6bff7798948b1075 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 36: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::hc2d25ac38f6b2342 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 37: 0x5588df174687 - std::sys::unix::thread::Thread::new::thread_start::hbba5bc368baac205 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys/unix/thread.rs:74:17 [INFO] [stdout] 38: 0x7f46936c7609 - start_thread [INFO] [stdout] 39: 0x7f4693499293 - clone [INFO] [stdout] 40: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- sat_ackermann stdout ---- [INFO] [stdout] looking at `rsc/sat/long/Ackermann00.smt2` [INFO] [stdout] Error: [INFO] [stdout] > while reading file and getting model [INFO] [stdout] > While spawning child process with z3 [INFO] [stdout] > No such file or directory (os error 2) [INFO] [stdout] thread 'sat_ackermann' panicked at 'failure', tests/tests.rs:39:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588df16c8a0 - std::backtrace_rs::backtrace::libunwind::trace::ha0ad43e8a952bfe7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x5588df16c8a0 - std::backtrace_rs::backtrace::trace_unsynchronized::h6830419c0c4130dc [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588df16c8a0 - std::sys_common::backtrace::_print_fmt::h8f3516631ffa1ef5 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5588df16c8a0 - ::fmt::he1640d5f0d93f618 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5588df190d2c - core::fmt::write::h88012e1f01caeebf [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/fmt/mod.rs:1115:17 [INFO] [stdout] 5: 0x5588df168e35 - std::io::Write::write_fmt::h7728c39ea5632753 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/io/mod.rs:1665:15 [INFO] [stdout] 6: 0x5588df16ea8b - std::sys_common::backtrace::_print::ha1f00492f406a015 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5588df16ea8b - std::sys_common::backtrace::print::hd54561b13feb6af3 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5588df16ea8b - std::panicking::default_hook::{{closure}}::h84fe124cd0864662 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5588df16e59c - std::panicking::default_hook::h5a8e74a76ce290a7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x5588df16f154 - std::panicking::rust_panic_with_hook::h67c812a4fe9d4c91 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x5588defc14e3 - std::panicking::begin_panic::{{closure}}::h8a827401ec773040 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:542:9 [INFO] [stdout] 12: 0x5588defc11e9 - std::sys_common::backtrace::__rust_end_short_backtrace::hcbd3a83187a6f653 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5588defc1419 - std::panicking::begin_panic::h7398ccda2843c137 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:541:12 [INFO] [stdout] 14: 0x5588de56c0d4 - tests::sat_ackermann::hb14897dd17154bce [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:39:5 [INFO] [stdout] 15: 0x5588de56befa - tests::sat_ackermann::{{closure}}::h2cf86efe1a154c2a [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:38:1 [INFO] [stdout] 16: 0x5588de57259e - core::ops::function::FnOnce::call_once::hb8b30a71f859e270 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x5588de5bb363 - core::ops::function::FnOnce::call_once::h5aba9a5d361d6c79 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x5588de5bb363 - test::__rust_begin_short_backtrace::h705bb53b2b1d45e6 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:578:5 [INFO] [stdout] 19: 0x5588de5b9e18 - as core::ops::function::FnOnce>::call_once::ha20f614d7c0b2b6d [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 20: 0x5588de5b9e18 - as core::ops::function::FnOnce<()>>::call_once::hf02f19eeb64ceabd [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 21: 0x5588de5b9e18 - std::panicking::try::do_call::h4bfab65eb3b4b036 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 22: 0x5588de5b9e18 - std::panicking::try::h6613a46a6d2b6f88 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 23: 0x5588de5b9e18 - std::panic::catch_unwind::h9f07b17b60991273 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 24: 0x5588de5b9e18 - test::run_test_in_process::hc38797eecf07854f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:601:18 [INFO] [stdout] 25: 0x5588de5b9e18 - test::run_test::run_test_inner::{{closure}}::hac209db8bce0fd77 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:493:39 [INFO] [stdout] 26: 0x5588de5885ad - test::run_test::run_test_inner::{{closure}}::h4aefdd4b4a423e20 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:520:37 [INFO] [stdout] 27: 0x5588de5885ad - std::sys_common::backtrace::__rust_begin_short_backtrace::h652c9e2663704700 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 28: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hd84fd5e0b5b1f45f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:476:17 [INFO] [stdout] 29: 0x5588de58cd88 - as core::ops::function::FnOnce<()>>::call_once::he23556962a2ae14b [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 30: 0x5588de58cd88 - std::panicking::try::do_call::h67d4f93e1fbaa5f9 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 31: 0x5588de58cd88 - std::panicking::try::h396886e678db815e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 32: 0x5588de58cd88 - std::panic::catch_unwind::hc1d64dcecf0a00e0 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 33: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::hc2644cf33cb61d8e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:475:30 [INFO] [stdout] 34: 0x5588de58cd88 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h4473c2c77b66963f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::h6bff7798948b1075 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 36: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::hc2d25ac38f6b2342 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 37: 0x5588df174687 - std::sys::unix::thread::Thread::new::thread_start::hbba5bc368baac205 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys/unix/thread.rs:74:17 [INFO] [stdout] 38: 0x7f46936c7609 - start_thread [INFO] [stdout] 39: 0x7f4693499293 - clone [INFO] [stdout] 40: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- sat_rec_simpl stdout ---- [INFO] [stdout] looking at `rsc/sat/long/recursive_simplifications.smt2` [INFO] [stdout] Error: [INFO] [stdout] > while reading file and getting model [INFO] [stdout] > While spawning child process with z3 [INFO] [stdout] > No such file or directory (os error 2) [INFO] [stdout] thread 'sat_rec_simpl' panicked at 'failure', tests/tests.rs:49:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588df16c8a0 - std::backtrace_rs::backtrace::libunwind::trace::ha0ad43e8a952bfe7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x5588df16c8a0 - std::backtrace_rs::backtrace::trace_unsynchronized::h6830419c0c4130dc [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588df16c8a0 - std::sys_common::backtrace::_print_fmt::h8f3516631ffa1ef5 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5588df16c8a0 - ::fmt::he1640d5f0d93f618 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5588df190d2c - core::fmt::write::h88012e1f01caeebf [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/fmt/mod.rs:1115:17 [INFO] [stdout] 5: 0x5588df168e35 - std::io::Write::write_fmt::h7728c39ea5632753 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/io/mod.rs:1665:15 [INFO] [stdout] 6: 0x5588df16ea8b - std::sys_common::backtrace::_print::ha1f00492f406a015 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5588df16ea8b - std::sys_common::backtrace::print::hd54561b13feb6af3 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5588df16ea8b - std::panicking::default_hook::{{closure}}::h84fe124cd0864662 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5588df16e59c - std::panicking::default_hook::h5a8e74a76ce290a7 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x5588df16f154 - std::panicking::rust_panic_with_hook::h67c812a4fe9d4c91 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x5588defc14e3 - std::panicking::begin_panic::{{closure}}::h8a827401ec773040 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:542:9 [INFO] [stdout] 12: 0x5588defc11e9 - std::sys_common::backtrace::__rust_end_short_backtrace::hcbd3a83187a6f653 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5588defc1419 - std::panicking::begin_panic::h7398ccda2843c137 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:541:12 [INFO] [stdout] 14: 0x5588de56cbf4 - tests::sat_rec_simpl::h76a3f0cf8b57e917 [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:49:5 [INFO] [stdout] 15: 0x5588de56ca1a - tests::sat_rec_simpl::{{closure}}::h044d122f8e3afc5b [INFO] [stdout] at /opt/rustwide/workdir/tests/tests.rs:48:1 [INFO] [stdout] 16: 0x5588de5725de - core::ops::function::FnOnce::call_once::hfee4f91320aa855e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: 0x5588de5bb363 - core::ops::function::FnOnce::call_once::h5aba9a5d361d6c79 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x5588de5bb363 - test::__rust_begin_short_backtrace::h705bb53b2b1d45e6 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:578:5 [INFO] [stdout] 19: 0x5588de5b9e18 - as core::ops::function::FnOnce>::call_once::ha20f614d7c0b2b6d [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 20: 0x5588de5b9e18 - as core::ops::function::FnOnce<()>>::call_once::hf02f19eeb64ceabd [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 21: 0x5588de5b9e18 - std::panicking::try::do_call::h4bfab65eb3b4b036 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 22: 0x5588de5b9e18 - std::panicking::try::h6613a46a6d2b6f88 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 23: 0x5588de5b9e18 - std::panic::catch_unwind::h9f07b17b60991273 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 24: 0x5588de5b9e18 - test::run_test_in_process::hc38797eecf07854f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:601:18 [INFO] [stdout] 25: 0x5588de5b9e18 - test::run_test::run_test_inner::{{closure}}::hac209db8bce0fd77 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:493:39 [INFO] [stdout] 26: 0x5588de5885ad - test::run_test::run_test_inner::{{closure}}::h4aefdd4b4a423e20 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/test/src/lib.rs:520:37 [INFO] [stdout] 27: 0x5588de5885ad - std::sys_common::backtrace::__rust_begin_short_backtrace::h652c9e2663704700 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 28: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::hd84fd5e0b5b1f45f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:476:17 [INFO] [stdout] 29: 0x5588de58cd88 - as core::ops::function::FnOnce<()>>::call_once::he23556962a2ae14b [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:347:9 [INFO] [stdout] 30: 0x5588de58cd88 - std::panicking::try::do_call::h67d4f93e1fbaa5f9 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 31: 0x5588de58cd88 - std::panicking::try::h396886e678db815e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 32: 0x5588de58cd88 - std::panic::catch_unwind::hc1d64dcecf0a00e0 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/panic.rs:434:14 [INFO] [stdout] 33: 0x5588de58cd88 - std::thread::Builder::spawn_unchecked::{{closure}}::hc2644cf33cb61d8e [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/thread/mod.rs:475:30 [INFO] [stdout] 34: 0x5588de58cd88 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h4473c2c77b66963f [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 35: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::h6bff7798948b1075 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 36: 0x5588df174687 - as core::ops::function::FnOnce>::call_once::hc2d25ac38f6b2342 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/alloc/src/boxed.rs:1572:9 [INFO] [stdout] 37: 0x5588df174687 - std::sys::unix::thread::Thread::new::thread_start::hbba5bc368baac205 [INFO] [stdout] at /rustc/c8dfcfe046a7680554bf4eb612bad840e7631c4b/library/std/src/sys/unix/thread.rs:74:17 [INFO] [stdout] 38: 0x7f46936c7609 - start_thread [INFO] [stdout] 39: 0x7f4693499293 - clone [INFO] [stdout] 40: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] sat [INFO] [stdout] sat_ackermann [INFO] [stdout] sat_file [INFO] [stdout] sat_rec_simpl [INFO] [stdout] unsat [INFO] [stdout] [INFO] [stdout] test result: FAILED. 1 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out; finished in 15.35s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "364d4b44e8dbfe847fbc963ca9c764a3b430b81912860a091650ec0b6f31b395", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "364d4b44e8dbfe847fbc963ca9c764a3b430b81912860a091650ec0b6f31b395", kill_on_drop: false }` [INFO] [stdout] 364d4b44e8dbfe847fbc963ca9c764a3b430b81912860a091650ec0b6f31b395