[INFO] fetching crate rsmt2 0.11.0... [INFO] testing rsmt2-0.11.0 against 1.49.0 for beta-1.50-1 [INFO] extracting crate rsmt2 0.11.0 into /workspace/builds/worker-2/source [INFO] validating manifest of crates.io crate rsmt2 0.11.0 on toolchain 1.49.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.49.0" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] started tweaking crates.io crate rsmt2 0.11.0 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate rsmt2 0.11.0 [INFO] tweaked toml for crates.io crate rsmt2 0.11.0 written to /workspace/builds/worker-2/source/Cargo.toml [INFO] crate crates.io crate rsmt2 0.11.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.49.0" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 215bb5e24750038d05cb2d2472ee733ecaf0af41ed01d276e6742e6fd52f72b4 [INFO] running `Command { std: "docker" "start" "-a" "215bb5e24750038d05cb2d2472ee733ecaf0af41ed01d276e6742e6fd52f72b4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "215bb5e24750038d05cb2d2472ee733ecaf0af41ed01d276e6742e6fd52f72b4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "215bb5e24750038d05cb2d2472ee733ecaf0af41ed01d276e6742e6fd52f72b4", kill_on_drop: false }` [INFO] [stdout] 215bb5e24750038d05cb2d2472ee733ecaf0af41ed01d276e6742e6fd52f72b4 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] [stdout] 1d0fb58b089c9f735ade8084aabd65900208f7e6f11b825c8815e965a5b11944 [INFO] running `Command { std: "docker" "start" "-a" "1d0fb58b089c9f735ade8084aabd65900208f7e6f11b825c8815e965a5b11944", kill_on_drop: false }` [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling rsmt2 v0.11.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.61s [INFO] running `Command { std: "docker" "inspect" "1d0fb58b089c9f735ade8084aabd65900208f7e6f11b825c8815e965a5b11944", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1d0fb58b089c9f735ade8084aabd65900208f7e6f11b825c8815e965a5b11944", kill_on_drop: false }` [INFO] [stdout] 1d0fb58b089c9f735ade8084aabd65900208f7e6f11b825c8815e965a5b11944 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] d6d700a1f12bff6471fe1cc6bbd6b4e2f13cef7bf5ab1667bdffc67398d4430b [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "d6d700a1f12bff6471fe1cc6bbd6b4e2f13cef7bf5ab1667bdffc67398d4430b", kill_on_drop: false }` [INFO] [stderr] Compiling rsmt2 v0.11.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 4.96s [INFO] running `Command { std: "docker" "inspect" "d6d700a1f12bff6471fe1cc6bbd6b4e2f13cef7bf5ab1667bdffc67398d4430b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d6d700a1f12bff6471fe1cc6bbd6b4e2f13cef7bf5ab1667bdffc67398d4430b", kill_on_drop: false }` [INFO] [stdout] d6d700a1f12bff6471fe1cc6bbd6b4e2f13cef7bf5ab1667bdffc67398d4430b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:b8eeb62f26c39b23691079a6cb6de528d8e88b4d71a8f6b1d30f8ba7d9c16de9" "/opt/rustwide/cargo-home/bin/cargo" "+1.49.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 6294b067dedfae202862b73c99941053b2ce0692e3a01025a076ac6e3d486a2d [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "6294b067dedfae202862b73c99941053b2ce0692e3a01025a076ac6e3d486a2d", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stderr] Running /opt/rustwide/target/debug/deps/rsmt2-cf82dafad90a7156 [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test tests::yices_2::set_logic ... FAILED [INFO] [stdout] test tests::yices_2::actlits_1 ... FAILED [INFO] [stdout] test tests::yices_2::scenario_1 ... FAILED [INFO] [stdout] test examples::print_time::test_unroll ... FAILED [INFO] [stdout] test examples::print_time::test_native ... FAILED [INFO] [stdout] test tests::z3::actlits_0 ... FAILED [INFO] [stdout] test tests::z3::actlits_1 ... FAILED [INFO] [stdout] test tests::cvc4::scenario_1 ... FAILED [INFO] [stdout] test examples::print_time::declare_non_nullary_fun ... FAILED [INFO] [stdout] test tests::logic ... FAILED [INFO] [stdout] test tests::z3::set_logic ... FAILED [INFO] [stdout] test tests::cvc4::set_logic ... FAILED [INFO] [stdout] test examples::simple::run ... FAILED [INFO] [stdout] test tests::z3::scenario_1 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::set_logic stdout ---- [INFO] [stdout] thread 'tests::yices_2::set_logic' panicked at 'solver creation: Error(Msg("While spawning child process with yices"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::set_logic [INFO] [stdout] at src/tests.rs:207:26 [INFO] [stdout] 10: rsmt2::tests::yices_2::set_logic::{{closure}} [INFO] [stdout] at src/tests.rs:205:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:207:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stdout] 17: 0x558735066554 - core::result::Result::expect::h63312de58e067db7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:933:23 [INFO] [stdout] 18: 0x558735090e2b - rsmt2::tests::yices_2::set_logic::h6c2f3635f57b8a52 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:207:26 [INFO] [stdout] 19: 0x558735090d9a - rsmt2::tests::yices_2::set_logic::{{closure}}::hab83cbe1e900e3e7 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:205:5 [INFO] [stdout] 20: 0x5587350937ee - core::ops::function::FnOnce::call_once::heecf3c5210e1b314 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::actlits_1 stdout ---- [INFO] [stdout] thread 'tests::yices_2::actlits_1' panicked at 'Could not spawn solver kid: Error(Msg("While spawning child process with yices"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::actlits_1 [INFO] [stdout] at src/tests.rs:259:32 [INFO] [stdout] 10: rsmt2::tests::yices_2::actlits_1::{{closure}} [INFO] [stdout] at src/tests.rs:255:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:261:23 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351c42bb - std::panicking::begin_panic_fmt::h4a7e15187eac098d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:437:5 [INFO] [stdout] 16: 0x558735091e20 - rsmt2::tests::yices_2::actlits_1::h4479b97ff92585c8 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:261:23 [INFO] [stdout] 17: 0x558735091baa - rsmt2::tests::yices_2::actlits_1::{{closure}}::h247b39db756656e4 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:255:5 [INFO] [stdout] 18: 0x55873509360e - core::ops::function::FnOnce::call_once::h623b4ee365e6746f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 21: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 22: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 23: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 24: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 25: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 26: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 27: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 28: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 29: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 30: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 31: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 32: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 33: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 34: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 35: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 37: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 38: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 39: 0x7f0dc6392609 - start_thread [INFO] [stdout] 40: 0x7f0dc661d293 - clone [INFO] [stdout] 41: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::yices_2::scenario_1' panicked at 'solver creation: Error(Msg("While spawning child process with yices"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::scenario_1 [INFO] [stdout] at src/tests.rs:214:26 [INFO] [stdout] 10: rsmt2::tests::yices_2::scenario_1::{{closure}} [INFO] [stdout] at src/tests.rs:212:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:214:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stdout] 17: 0x558735066554 - core::result::Result::expect::h63312de58e067db7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:933:23 [INFO] [stdout] 18: 0x558735090f62 - rsmt2::tests::yices_2::scenario_1::h6d5c21cd8291b2f9 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:214:26 [INFO] [stdout] 19: 0x558735090eba - rsmt2::tests::yices_2::scenario_1::{{closure}}::h1b760605103ac719 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:212:5 [INFO] [stdout] 20: 0x5587350936fe - core::ops::function::FnOnce::call_once::h90ed6a1e9969ab10 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::test_unroll stdout ---- [INFO] [stdout] thread 'examples::print_time::test_unroll' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::print_time::test_unroll [INFO] [stdout] at src/examples/print_time.rs:417:22 [INFO] [stdout] 12: rsmt2::examples::print_time::test_unroll::{{closure}} [INFO] [stdout] at src/examples/print_time.rs:414:1 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 16: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351c42bb - std::panicking::begin_panic_fmt::h4a7e15187eac098d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:437:5 [INFO] [stdout] 16: 0x55873505d5fb - rsmt2::examples::get_solver::h576210b64c540a31 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 17: 0x55873505225a - rsmt2::examples::print_time::test_unroll::h934e5187fef770ab [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:417:22 [INFO] [stdout] 18: 0x5587350521fa - rsmt2::examples::print_time::test_unroll::{{closure}}::h3d9a25877255022f [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:414:1 [INFO] [stdout] 19: 0x55873509350e - core::ops::function::FnOnce::call_once::h00d4cad4eda373fd [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 22: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 24: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 26: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 27: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 29: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 31: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 32: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 34: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 35: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 36: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f0dc6392609 - start_thread [INFO] [stdout] 41: 0x7f0dc661d293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::test_native stdout ---- [INFO] [stdout] thread 'examples::print_time::test_native' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::print_time::test_native [INFO] [stdout] at src/examples/print_time.rs:325:22 [INFO] [stdout] 12: rsmt2::examples::print_time::test_native::{{closure}} [INFO] [stdout] at src/examples/print_time.rs:322:1 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 16: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351c42bb - std::panicking::begin_panic_fmt::h4a7e15187eac098d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:437:5 [INFO] [stdout] 16: 0x55873505d5fb - rsmt2::examples::get_solver::h576210b64c540a31 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 17: 0x55873504eeea - rsmt2::examples::print_time::test_native::hdc74193c6773df86 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:325:22 [INFO] [stdout] 18: 0x55873504ee8a - rsmt2::examples::print_time::test_native::{{closure}}::h84a81ca44e5f6923 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:322:1 [INFO] [stdout] 19: 0x55873509366e - core::ops::function::FnOnce::call_once::h77eb7c12e8e0bd04 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 22: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 24: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 26: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 27: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 29: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 31: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 32: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 34: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 35: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 36: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f0dc6392609 - start_thread [INFO] [stdout] 41: 0x7f0dc661d293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::actlits_0 stdout ---- [INFO] [stdout] thread 'tests::z3::actlits_0' panicked at 'called `Result::unwrap()` on an `Err` value: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::tests::z3::actlits_0 [INFO] [stdout] at src/tests.rs:132:26 [INFO] [stdout] 11: rsmt2::tests::z3::actlits_0::{{closure}} [INFO] [stdout] at src/tests.rs:131:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 15: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 18: start_thread [INFO] [stdout] 19: clone [INFO] [stdout] ) } })', src/tests.rs:132:49 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stdout] 17: 0x558735066cae - core::result::Result::unwrap::h9041766d52735543 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:973:23 [INFO] [stdout] 18: 0x55873505e020 - rsmt2::tests::z3::actlits_0::h9baa0bf33cf6c1ff [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:132:26 [INFO] [stdout] 19: 0x55873505dfda - rsmt2::tests::z3::actlits_0::{{closure}}::h3adb1a44bc332828 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:131:5 [INFO] [stdout] 20: 0x55873509377e - core::ops::function::FnOnce::call_once::hd0037599c1736593 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::actlits_1 stdout ---- [INFO] [stdout] thread 'tests::z3::actlits_1' panicked at 'Could not spawn solver kid: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::tests::z3::actlits_1 [INFO] [stdout] at src/tests.rs:170:32 [INFO] [stdout] 11: rsmt2::tests::z3::actlits_1::{{closure}} [INFO] [stdout] at src/tests.rs:169:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 15: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 18: start_thread [INFO] [stdout] 19: clone [INFO] [stdout] ) } })', src/tests.rs:172:23 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351c42bb - std::panicking::begin_panic_fmt::h4a7e15187eac098d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:437:5 [INFO] [stdout] 16: 0x55873505e4f5 - rsmt2::tests::z3::actlits_1::h93de7b6016b785fe [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:172:23 [INFO] [stdout] 17: 0x55873505e33a - rsmt2::tests::z3::actlits_1::{{closure}}::h7dac084e172e177c [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:169:5 [INFO] [stdout] 18: 0x5587350937be - core::ops::function::FnOnce::call_once::hd419f40da989a0a2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 21: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 22: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 23: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 24: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 25: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 26: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 27: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 28: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 29: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 30: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 31: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 32: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 33: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 34: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 35: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 37: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 38: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 39: 0x7f0dc6392609 - start_thread [INFO] [stdout] 40: 0x7f0dc661d293 - clone [INFO] [stdout] 41: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::cvc4::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::cvc4::scenario_1' panicked at 'solver creation: Error(Msg("While spawning child process with cvc4"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::cvc4::scenario_1 [INFO] [stdout] at src/tests.rs:54:26 [INFO] [stdout] 10: rsmt2::tests::cvc4::scenario_1::{{closure}} [INFO] [stdout] at src/tests.rs:51:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:54:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] [stdout] 17: 0x558735066554 - core::result::Result::expect::h63312de58e067db7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:933:23 [INFO] [stdout] 18: 0x5587350869fa - rsmt2::tests::cvc4::scenario_1::he6f8e8021bc5ca2b [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:54:26 [INFO] [stdout] 19: 0x55873508691a - rsmt2::tests::cvc4::scenario_1::{{closure}}::h31d602d389243201 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:51:5 [INFO] [stdout] 20: 0x55873509369e - core::ops::function::FnOnce::call_once::h7db3fef6ef5dad80 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::declare_non_nullary_fun stdout ---- [INFO] [stdout] thread 'examples::print_time::declare_non_nullary_fun' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::print_time::declare_non_nullary_fun [INFO] [stdout] at src/examples/print_time.rs:310:22 [INFO] [stdout] 12: rsmt2::examples::print_time::declare_non_nullary_fun::{{closure}} [INFO] [stdout] at src/examples/print_time.rs:309:1 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 16: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351c42bb - std::panicking::begin_panic_fmt::h4a7e15187eac098d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:437:5 [INFO] [stdout] 16: 0x55873505d5fb - rsmt2::examples::get_solver::h576210b64c540a31 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 17: 0x55873504eca1 - rsmt2::examples::print_time::declare_non_nullary_fun::he48763d6c8cd281c [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:310:22 [INFO] [stdout] 18: 0x55873504ec7a - rsmt2::examples::print_time::declare_non_nullary_fun::{{closure}}::h3c75bf239cb84b99 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:309:1 [INFO] [stdout] 19: 0x5587350936ce - core::ops::function::FnOnce::call_once::h8122c41c016c779a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 22: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 24: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 26: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 27: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 29: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 31: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 32: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 34: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 35: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 36: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f0dc6392609 - start_thread [INFO] [stdout] 41: 0x7f0dc661d293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::logic stdout ---- [INFO] [stdout] thread 'tests::logic' panicked at 'solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::logic [INFO] [stdout] at src/tests.rs:297:22 [INFO] [stdout] 10: rsmt2::tests::logic::{{closure}} [INFO] [stdout] at src/tests.rs:294:1 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:297:44 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stdout] 17: 0x558735066314 - core::result::Result::expect::h4836a0d7f9e5651e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:933:23 [INFO] [stdout] 18: 0x5587350985bb - rsmt2::tests::logic::hf3df0e0aeba139b7 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:297:22 [INFO] [stdout] 19: 0x55873509852a - rsmt2::tests::logic::{{closure}}::he1964c62b53242ac [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:294:1 [INFO] [stdout] 20: 0x55873509381e - core::ops::function::FnOnce::call_once::hf49bf5b1fb924bea [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::set_logic stdout ---- [INFO] [stdout] thread 'tests::z3::set_logic' panicked at 'solver creation: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::z3::set_logic [INFO] [stdout] at src/tests.rs:93:26 [INFO] [stdout] 10: rsmt2::tests::z3::set_logic::{{closure}} [INFO] [stdout] at src/tests.rs:91:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:93:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stdout] 17: 0x558735066554 - core::result::Result::expect::h63312de58e067db7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:933:23 [INFO] [stdout] 18: 0x55873505d6cb - rsmt2::tests::z3::set_logic::h8e6ab601cd130839 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:93:26 [INFO] [stdout] 19: 0x55873505d63a - rsmt2::tests::z3::set_logic::{{closure}}::hcc09eb32c821ec1a [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:91:5 [INFO] [stdout] 20: 0x55873509353e - core::ops::function::FnOnce::call_once::h052796209efae3dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::cvc4::set_logic stdout ---- [INFO] [stdout] thread 'tests::cvc4::set_logic' panicked at 'solver creation: Error(Msg("While spawning child process with cvc4"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::cvc4::set_logic [INFO] [stdout] at src/tests.rs:46:26 [INFO] [stdout] 10: rsmt2::tests::cvc4::set_logic::{{closure}} [INFO] [stdout] at src/tests.rs:44:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:46:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stdout] 17: 0x558735066554 - core::result::Result::expect::h63312de58e067db7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:933:23 [INFO] [stdout] 18: 0x55873508688b - rsmt2::tests::cvc4::set_logic::h62606b0e6521a361 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:46:26 [INFO] [stdout] 19: 0x5587350867fa - rsmt2::tests::cvc4::set_logic::{{closure}}::h54b2971c96388d06 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:44:5 [INFO] [stdout] 20: 0x55873509363e - core::ops::function::FnOnce::call_once::h69ac9dce13e4b943 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::simple::run stdout ---- [INFO] [stdout] thread 'examples::simple::run' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::simple::run [INFO] [stdout] at src/examples/simple.rs:487:22 [INFO] [stdout] 12: rsmt2::examples::simple::run::{{closure}} [INFO] [stdout] at src/examples/simple.rs:486:1 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 16: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351c42bb - std::panicking::begin_panic_fmt::h4a7e15187eac098d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:437:5 [INFO] [stdout] 16: 0x55873505d48b - rsmt2::examples::get_solver::h382a5c62f8deea76 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 17: 0x55873508e034 - rsmt2::examples::simple::run::hcd4b9b933e9465f7 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:487:22 [INFO] [stdout] 18: 0x55873508dffa - rsmt2::examples::simple::run::{{closure}}::hb6a65dff2d18a698 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:486:1 [INFO] [stdout] 19: 0x55873509359e - core::ops::function::FnOnce::call_once::h4025b4ffa6f0f02b [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 22: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 24: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 26: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 27: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 29: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 31: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 32: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 34: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 35: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 36: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f0dc6392609 - start_thread [INFO] [stdout] 41: 0x7f0dc661d293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::z3::scenario_1' panicked at 'solver creation: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: error_chain::backtrace::imp::InternalBacktrace::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:427:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:595:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::z3::scenario_1 [INFO] [stdout] at src/tests.rs:101:26 [INFO] [stdout] 10: rsmt2::tests::z3::scenario_1::{{closure}} [INFO] [stdout] at src/tests.rs:98:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 14: std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:101:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5587351c19d0 - std::backtrace_rs::backtrace::libunwind::trace::h04d12fdcddff82aa [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/libunwind.rs:100:5 [INFO] [stdout] 1: 0x5587351c19d0 - std::backtrace_rs::backtrace::trace_unsynchronized::h1459b974b6fbe5e1 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5587351c19d0 - std::sys_common::backtrace::_print_fmt::h9b8396a669123d95 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x5587351c19d0 - ::fmt::he009dcaaa75eed60 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5587351e4cac - core::fmt::write::h77b4746b0dea1dd3 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/fmt/mod.rs:1078:17 [INFO] [stdout] 5: 0x558735099cd6 - std::io::Write::write_fmt::h3a40d9c04f88bb58 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/mod.rs:1518:15 [INFO] [stdout] 6: 0x5587351bb90d - std::io::impls::>::write_fmt::h1b3d263673641f53 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/io/impls.rs:179:9 [INFO] [stdout] 7: 0x5587351c40c5 - std::sys_common::backtrace::_print::h2d880c9e69a21be9 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 8: 0x5587351c40c5 - std::sys_common::backtrace::print::h5f02b1bb49f36879 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 9: 0x5587351c40c5 - std::panicking::default_hook::{{closure}}::h658e288a7a809b29 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:208:50 [INFO] [stdout] 10: 0x5587351c3d12 - std::panicking::default_hook::hb52d73f0da9a4bb8 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:224:9 [INFO] [stdout] 11: 0x5587351c4861 - std::panicking::rust_panic_with_hook::hfe7e1c684e3e6462 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:593:17 [INFO] [stdout] 12: 0x5587351c43a7 - std::panicking::begin_panic_handler::{{closure}}::h42939e004b32765c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:499:13 [INFO] [stdout] 13: 0x5587351c1e8c - std::sys_common::backtrace::__rust_end_short_backtrace::h9d2070f7bf9fd56c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 14: 0x5587351c4309 - rust_begin_unwind [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:495:5 [INFO] [stdout] 15: 0x5587351e3611 - core::panicking::panic_fmt::ha0bb065d9a260792 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/panicking.rs:92:14 [INFO] [stdout] 16: 0x5587351e3433 - core::option::expect_none_failed::h7e1dd0a94971eb61 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/option.rs:1268:5 [INFO] [stdout] 17: 0x558735066554 - core::result::Result::expect::h63312de58e067db7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/result.rs:933:23 [INFO] [stdout] 18: 0x55873505d83a - rsmt2::tests::z3::scenario_1::h2a455a31ffd2f7e4 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:101:26 [INFO] [stdout] 19: 0x55873505d75a - rsmt2::tests::z3::scenario_1::{{closure}}::hd75a5226c60f6669 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:98:5 [INFO] [stdout] 20: 0x55873509356e - core::ops::function::FnOnce::call_once::h3f4f3c16d8259e26 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5587350c1823 - core::ops::function::FnOnce::call_once::hdbd2235b6243db3d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 22: 0x5587350c1823 - test::__rust_begin_short_backtrace::hb1dea1c208110812 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:517:5 [INFO] [stdout] 23: 0x5587350bfcca - as core::ops::function::FnOnce>::call_once::h5d11a40efef721f2 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 24: 0x5587350bfcca - as core::ops::function::FnOnce<()>>::call_once::h23961df98af0bc5a [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 25: 0x5587350bfcca - std::panicking::try::do_call::h6390646e3de3fb9e [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 26: 0x5587350bfcca - std::panicking::try::hc531439ab6159192 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 27: 0x5587350bfcca - std::panic::catch_unwind::h859d8bdaf9b4855c [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 28: 0x5587350bfcca - test::run_test_in_process::hae60aa74417e3abc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:544:18 [INFO] [stdout] 29: 0x5587350bfcca - test::run_test::run_test_inner::{{closure}}::hf48c86652c4a151d [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/test/src/lib.rs:450:39 [INFO] [stdout] 30: 0x558735099056 - std::sys_common::backtrace::__rust_begin_short_backtrace::hb82b392232b8bd1f [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h79ca9e9abe157956 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:474:17 [INFO] [stdout] 32: 0x55873509e053 - as core::ops::function::FnOnce<()>>::call_once::ha12f1f228780a4f7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:322:9 [INFO] [stdout] 33: 0x55873509e053 - std::panicking::try::do_call::h722bb7416d021cdc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:381:40 [INFO] [stdout] 34: 0x55873509e053 - std::panicking::try::h78e5abca71ac7cac [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panicking.rs:345:19 [INFO] [stdout] 35: 0x55873509e053 - std::panic::catch_unwind::h95162588bd0fa090 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/panic.rs:396:14 [INFO] [stdout] 36: 0x55873509e053 - std::thread::Builder::spawn_unchecked::{{closure}}::h64da5c4b9acc58dc [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/thread/mod.rs:473:30 [INFO] [stdout] 37: 0x55873509e053 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h7a8c588ad0b69edb [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::h09ff301006f1aeca [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 39: 0x5587351cad9a - as core::ops::function::FnOnce>::call_once::he79488c8f00b5f31 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/alloc/src/boxed.rs:1307:9 [INFO] [stdout] 40: 0x5587351cad9a - std::sys::unix::thread::Thread::new::thread_start::h587efff279c68ba7 [INFO] [stdout] at /rustc/e1884a8e3c3e813aada8254edfa120e85bf5ffca/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f0dc6392609 - start_thread [INFO] [stdout] 42: 0x7f0dc661d293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] examples::print_time::declare_non_nullary_fun [INFO] [stdout] examples::print_time::test_native [INFO] [stdout] examples::print_time::test_unroll [INFO] [stdout] examples::simple::run [INFO] [stdout] tests::cvc4::scenario_1 [INFO] [stdout] tests::cvc4::set_logic [INFO] [stdout] tests::logic [INFO] [stdout] tests::yices_2::actlits_1 [INFO] [stdout] tests::yices_2::scenario_1 [INFO] [stdout] tests::yices_2::set_logic [INFO] [stdout] tests::z3::actlits_0 [INFO] [stdout] tests::z3::actlits_1 [INFO] [stdout] tests::z3::scenario_1 [INFO] [stdout] tests::z3::set_logic [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 14 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "6294b067dedfae202862b73c99941053b2ce0692e3a01025a076ac6e3d486a2d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6294b067dedfae202862b73c99941053b2ce0692e3a01025a076ac6e3d486a2d", kill_on_drop: false }` [INFO] [stdout] 6294b067dedfae202862b73c99941053b2ce0692e3a01025a076ac6e3d486a2d