[INFO] fetching crate rsmt2 0.14.1... [INFO] testing rsmt2-0.14.1 against beta-2022-04-10 for beta-1.61-1 [INFO] extracting crate rsmt2 0.14.1 into /workspace/builds/worker-23/source [INFO] validating manifest of crates.io crate rsmt2 0.14.1 on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate rsmt2 0.14.1 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate rsmt2 0.14.1 [INFO] tweaked toml for crates.io crate rsmt2 0.14.1 written to /workspace/builds/worker-23/source/Cargo.toml [INFO] crate crates.io crate rsmt2 0.14.1 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] f5f914df3d3d0674bdd362cd1f9e1477f29dd6aa8800dc5fa43b58a1d5af4512 [INFO] running `Command { std: "docker" "start" "-a" "f5f914df3d3d0674bdd362cd1f9e1477f29dd6aa8800dc5fa43b58a1d5af4512", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "f5f914df3d3d0674bdd362cd1f9e1477f29dd6aa8800dc5fa43b58a1d5af4512", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f5f914df3d3d0674bdd362cd1f9e1477f29dd6aa8800dc5fa43b58a1d5af4512", kill_on_drop: false }` [INFO] [stdout] f5f914df3d3d0674bdd362cd1f9e1477f29dd6aa8800dc5fa43b58a1d5af4512 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 31bddb95b3289107d7178e52e0d03a293ff43cf15d67a15f291f7bba383c03cf [INFO] running `Command { std: "docker" "start" "-a" "31bddb95b3289107d7178e52e0d03a293ff43cf15d67a15f291f7bba383c03cf", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Compiling memchr v2.4.0 [INFO] [stderr] Compiling cc v1.0.69 [INFO] [stderr] Compiling libc v0.2.98 [INFO] [stderr] Compiling gimli v0.24.0 [INFO] [stderr] Compiling version_check v0.9.3 [INFO] [stderr] Compiling rustc-demangle v0.1.20 [INFO] [stderr] Compiling miniz_oxide v0.4.4 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling object v0.25.3 [INFO] [stderr] Compiling backtrace v0.3.60 [INFO] [stderr] Compiling addr2line v0.15.2 [INFO] [stderr] Compiling rsmt2 v0.14.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 5.98s [INFO] running `Command { std: "docker" "inspect" "31bddb95b3289107d7178e52e0d03a293ff43cf15d67a15f291f7bba383c03cf", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "31bddb95b3289107d7178e52e0d03a293ff43cf15d67a15f291f7bba383c03cf", kill_on_drop: false }` [INFO] [stdout] 31bddb95b3289107d7178e52e0d03a293ff43cf15d67a15f291f7bba383c03cf [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 8026c988eaaed1e4792ed5ece0413d2d4d986165447add90d9e10cc2a2e5bb6a [INFO] running `Command { std: "docker" "start" "-a" "8026c988eaaed1e4792ed5ece0413d2d4d986165447add90d9e10cc2a2e5bb6a", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling rsmt2 v0.14.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 5.62s [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/rsmt2-cefecfa51437643e) [INFO] [stderr] Executable unittests examples/adt.rs (/opt/rustwide/target/debug/examples/adt-f3e9b9afd74ac56c) [INFO] [stderr] Executable unittests examples/custom_cmd.rs (/opt/rustwide/target/debug/examples/custom_cmd-18c8d40de53bfbfa) [INFO] running `Command { std: "docker" "inspect" "8026c988eaaed1e4792ed5ece0413d2d4d986165447add90d9e10cc2a2e5bb6a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8026c988eaaed1e4792ed5ece0413d2d4d986165447add90d9e10cc2a2e5bb6a", kill_on_drop: false }` [INFO] [stdout] 8026c988eaaed1e4792ed5ece0413d2d4d986165447add90d9e10cc2a2e5bb6a [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-23/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 33a9e423a80b3890fc323f23420d10158e8d80ac60a447b7a1bffaa0302c210c [INFO] running `Command { std: "docker" "start" "-a" "33a9e423a80b3890fc323f23420d10158e8d80ac60a447b7a1bffaa0302c210c", kill_on_drop: false }` [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rsmt2-cefecfa51437643e) [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test examples::print_time::declare_non_nullary_fun ... FAILED [INFO] [stdout] test tests::yices_2::scenario_1 ... FAILED [INFO] [stdout] test tests::yices_2::actlits_1 ... FAILED [INFO] [stdout] test tests::logic ... FAILED [INFO] [stdout] test tests::z3::actlits_0 ... FAILED [INFO] [stdout] test examples::print_time::test_native ... FAILED [INFO] [stdout] test tests::yices_2::set_logic ... FAILED [INFO] [stdout] test tests::cvc4::set_logic ... FAILED [INFO] [stdout] test examples::simple::run ... FAILED [INFO] [stdout] test tests::z3::set_logic ... FAILED [INFO] [stdout] test tests::z3::scenario_1 ... FAILED [INFO] [stdout] test tests::cvc4::scenario_1 ... FAILED [INFO] [stdout] test examples::print_time::test_unroll ... FAILED [INFO] [stdout] test tests::z3::actlits_1 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:186: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108: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: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473e27c6 - rsmt2::examples::get_solver::he05cfa90026246cf [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x5588473da131 - rsmt2::examples::print_time::declare_non_nullary_fun::h549a1a64f71dbbcd [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:310:22 [INFO] [stdout] 17: 0x5588473da10a - rsmt2::examples::print_time::declare_non_nullary_fun::{{closure}}::hc36f66e57b76539e [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:309:1 [INFO] [stdout] 18: 0x5588473ca5ae - core::ops::function::FnOnce::call_once::h6f2a7ac9a9bd6e5b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 21: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 25: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 26: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 28: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 29: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 30: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 31: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 32: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 34: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 35: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 36: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 40: 0x7f6861087609 - start_thread [INFO] [stdout] 41: 0x7f6861310163 - clone [INFO] [stdout] 42: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::scenario_1 [INFO] [stdout] at src/tests.rs:206:26 [INFO] [stdout] 10: rsmt2::tests::yices_2::scenario_1::{{closure}} [INFO] [stdout] at src/tests.rs:204:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:206:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f153c - core::result::Result::expect::h3d8ced3a86feaecf [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1035:23 [INFO] [stdout] 17: 0x5588473d4c85 - rsmt2::tests::yices_2::scenario_1::h6bf7640b08e97185 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:206:26 [INFO] [stdout] 18: 0x5588473d4c0a - rsmt2::tests::yices_2::scenario_1::{{closure}}::h6abcdb40dc4a13e6 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:204:5 [INFO] [stdout] 19: 0x5588473ca77e - core::ops::function::FnOnce::call_once::hffad728f669d1a0d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::actlits_1 [INFO] [stdout] at src/tests.rs:251:32 [INFO] [stdout] 10: rsmt2::tests::yices_2::actlits_1::{{closure}} [INFO] [stdout] at src/tests.rs:247:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:253:23 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473d5782 - rsmt2::tests::yices_2::actlits_1::he73e8ec60ed0e03c [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:253:23 [INFO] [stdout] 16: 0x5588473d551a - rsmt2::tests::yices_2::actlits_1::{{closure}}::h7a544ec74337796c [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:247:5 [INFO] [stdout] 17: 0x5588473ca3ce - core::ops::function::FnOnce::call_once::h2543cd74eabd5064 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 20: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 21: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 22: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 23: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 24: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 25: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 26: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 27: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 28: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 29: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 30: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 31: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 32: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 33: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 34: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 35: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 37: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 38: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 39: 0x7f6861087609 - start_thread [INFO] [stdout] 40: 0x7f6861310163 - clone [INFO] [stdout] 41: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::tests::logic [INFO] [stdout] at src/tests.rs:284:22 [INFO] [stdout] 10: rsmt2::tests::logic::{{closure}} [INFO] [stdout] at src/tests.rs:281:1 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:284:44 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f16bc - core::result::Result::expect::h608100621df9eebc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1035:23 [INFO] [stdout] 17: 0x5588473c4eb2 - rsmt2::tests::logic::hee2c67a49d851666 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:284:22 [INFO] [stdout] 18: 0x5588473c4e3a - rsmt2::tests::logic::{{closure}}::h2f7091c516c8c098 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:281:1 [INFO] [stdout] 19: 0x5588473ca6be - core::ops::function::FnOnce::call_once::hddfa9b40e69ab947 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - clone [INFO] [stdout] 43: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:186: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 15: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 18: start_thread [INFO] [stdout] 19: clone [INFO] [stdout] ) } })', src/tests.rs:132:49 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f1ee4 - core::result::Result::unwrap::h568b70134713c446 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1078:23 [INFO] [stdout] 17: 0x5588473e963d - rsmt2::tests::z3::actlits_0::h9eade430cdf95e00 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:132:26 [INFO] [stdout] 18: 0x5588473e95fa - rsmt2::tests::z3::actlits_0::{{closure}}::hbd7e40806ed307bf [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:131:5 [INFO] [stdout] 19: 0x5588473ca36e - core::ops::function::FnOnce::call_once::h18564851e04508c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - clone [INFO] [stdout] 43: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:186: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108: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: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473e27c6 - rsmt2::examples::get_solver::he05cfa90026246cf [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x5588473da35a - rsmt2::examples::print_time::test_native::h30927356d64d5f65 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:325:22 [INFO] [stdout] 17: 0x5588473da30a - rsmt2::examples::print_time::test_native::{{closure}}::he76585532eea9b64 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:322:1 [INFO] [stdout] 18: 0x5588473ca6fe - core::ops::function::FnOnce::call_once::he294ef7432b2dcb3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 21: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 25: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 26: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 28: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 29: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 30: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 31: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 32: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 34: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 35: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 36: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 40: 0x7f6861087609 - start_thread [INFO] [stdout] 41: 0x7f6861310163 - clone [INFO] [stdout] 42: 0x0 - [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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::set_logic [INFO] [stdout] at src/tests.rs:199:26 [INFO] [stdout] 10: rsmt2::tests::yices_2::set_logic::{{closure}} [INFO] [stdout] at src/tests.rs:197:5 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:199:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f153c - core::result::Result::expect::h3d8ced3a86feaecf [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1035:23 [INFO] [stdout] 17: 0x5588473d4b62 - rsmt2::tests::yices_2::set_logic::h33ccaa85a6ff29ec [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:199:26 [INFO] [stdout] 18: 0x5588473d4aea - rsmt2::tests::yices_2::set_logic::{{closure}}::h8a1ae34c03800033 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:197:5 [INFO] [stdout] 19: 0x5588473ca67e - core::ops::function::FnOnce::call_once::hc9f9c7ea1542c88c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:46:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f153c - core::result::Result::expect::h3d8ced3a86feaecf [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1035:23 [INFO] [stdout] 17: 0x5588473d41f2 - rsmt2::tests::cvc4::set_logic::h0b07ed8e6e0b66b1 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:46:26 [INFO] [stdout] 18: 0x5588473d417a - rsmt2::tests::cvc4::set_logic::{{closure}}::hc4001dfc5495c16d [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:44:5 [INFO] [stdout] 19: 0x5588473ca44e - core::ops::function::FnOnce::call_once::h2c97fc802ac53f07 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:186: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108: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: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473e2676 - rsmt2::examples::get_solver::h2dc59db0f43b081b [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x5588473ef8b1 - rsmt2::examples::simple::run::h4c32988bc4b54f19 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:487:22 [INFO] [stdout] 17: 0x5588473ef88a - rsmt2::examples::simple::run::{{closure}}::hc4b1cf99d58d3a3e [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:486:1 [INFO] [stdout] 18: 0x5588473ca4de - core::ops::function::FnOnce::call_once::h5310683663687c50 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 21: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 25: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 26: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 28: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 29: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 30: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 31: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 32: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 34: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 35: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 36: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 40: 0x7f6861087609 - start_thread [INFO] [stdout] 41: 0x7f6861310163 - clone [INFO] [stdout] 42: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:93:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f153c - core::result::Result::expect::h3d8ced3a86feaecf [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1035:23 [INFO] [stdout] 17: 0x5588473e8e52 - rsmt2::tests::z3::set_logic::h2919da920b6505c7 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:93:26 [INFO] [stdout] 18: 0x5588473e8dda - rsmt2::tests::z3::set_logic::{{closure}}::he124eeecd194a470 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:91:5 [INFO] [stdout] 19: 0x5588473ca73e - core::ops::function::FnOnce::call_once::hf7a3d608d0858e3a [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - clone [INFO] [stdout] 43: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:101:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f153c - core::result::Result::expect::h3d8ced3a86feaecf [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1035:23 [INFO] [stdout] 17: 0x5588473e8ff7 - rsmt2::tests::z3::scenario_1::h45b5623a2e01e2ca [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:101:26 [INFO] [stdout] 18: 0x5588473e8efa - rsmt2::tests::z3::scenario_1::{{closure}}::he448049e38228167 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:98:5 [INFO] [stdout] 19: 0x5588473ca48e - core::ops::function::FnOnce::call_once::h2d3a7435b3772cf9 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - clone [INFO] [stdout] 43: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 13: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:54:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473895d3 - core::result::unwrap_failed::h6bc7b183ec719494 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1785:5 [INFO] [stdout] 16: 0x5588473f153c - core::result::Result::expect::h3d8ced3a86feaecf [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:1035:23 [INFO] [stdout] 17: 0x5588473d439a - rsmt2::tests::cvc4::scenario_1::h4d5bef64f068f205 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:54:26 [INFO] [stdout] 18: 0x5588473d429a - rsmt2::tests::cvc4::scenario_1::{{closure}}::hd04dd5ce0c9d9909 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:51:5 [INFO] [stdout] 19: 0x5588473ca40e - core::ops::function::FnOnce::call_once::h28699963c85269da [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 23: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 25: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 26: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 28: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 29: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 30: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 31: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 32: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 34: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 35: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 36: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 37: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 40: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 41: 0x7f6861087609 - start_thread [INFO] [stdout] 42: 0x7f6861310163 - 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:186: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 15: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108: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: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473e27c6 - rsmt2::examples::get_solver::he05cfa90026246cf [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x5588473dc6ba - rsmt2::examples::print_time::test_unroll::h53185918a1b8dd1d [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:417:22 [INFO] [stdout] 17: 0x5588473dc66a - rsmt2::examples::print_time::test_unroll::{{closure}}::hb3bda0a504eb15c1 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:414:1 [INFO] [stdout] 18: 0x5588473ca56e - core::ops::function::FnOnce::call_once::h69d53f51e30d8f9e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 21: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 22: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 23: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 24: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 25: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 26: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 27: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 28: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 29: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 30: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 31: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 32: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 33: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 34: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 35: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 36: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 38: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 39: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 40: 0x7f6861087609 - start_thread [INFO] [stdout] 41: 0x7f6861310163 - clone [INFO] [stdout] 42: 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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/option.rs:807: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/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/result.rs:855: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:86:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:130:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:186:9 [INFO] [stdout] 10: rsmt2::tests::z3::actlits_1 [INFO] [stdout] at src/tests.rs:166:32 [INFO] [stdout] 11: rsmt2::tests::z3::actlits_1::{{closure}} [INFO] [stdout] at src/tests.rs:165:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 15: test::run_test::run_test_inner::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 18: start_thread [INFO] [stdout] 19: clone [INFO] [stdout] ) } })', src/tests.rs:168:23 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x5588475224fd - std::backtrace_rs::backtrace::libunwind::trace::ha359b7f0090e2792 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5 [INFO] [stdout] 1: 0x5588475224fd - std::backtrace_rs::backtrace::trace_unsynchronized::h0584631f25c1d70e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x5588475224fd - std::sys_common::backtrace::_print_fmt::hdadffd97d279ff14 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:66:5 [INFO] [stdout] 3: 0x5588475224fd - ::fmt::h26f189e611080a74 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:45:22 [INFO] [stdout] 4: 0x558847544f8c - core::fmt::write::hfb5d11dfe037e8b7 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/fmt/mod.rs:1194:17 [INFO] [stdout] 5: 0x55884751ec81 - std::io::Write::write_fmt::h6a24ec64406df9e2 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/io/mod.rs:1655:15 [INFO] [stdout] 6: 0x558847524245 - std::sys_common::backtrace::_print::h7a0e44402913ba60 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:48:5 [INFO] [stdout] 7: 0x558847524245 - std::sys_common::backtrace::print::h9767dc455a84e728 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:35:9 [INFO] [stdout] 8: 0x558847524245 - std::panicking::default_hook::{{closure}}::h60afd6c8b12988ad [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:295:22 [INFO] [stdout] 9: 0x558847523f34 - std::panicking::default_hook::ha7b9bac6813f9d21 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:311:9 [INFO] [stdout] 10: 0x558847524792 - std::panicking::rust_panic_with_hook::h7b117a162a6f8664 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:698:17 [INFO] [stdout] 11: 0x558847524677 - std::panicking::begin_panic_handler::{{closure}}::h346750923c608600 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:588:13 [INFO] [stdout] 12: 0x5588475229b4 - std::sys_common::backtrace::__rust_end_short_backtrace::h768c56c6a0c055c0 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:138:18 [INFO] [stdout] 13: 0x5588475243a9 - rust_begin_unwind [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:584:5 [INFO] [stdout] 14: 0x5588473894e3 - core::panicking::panic_fmt::h5c41cb2fa118fdbc [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panicking.rs:143:14 [INFO] [stdout] 15: 0x5588473e9b16 - rsmt2::tests::z3::actlits_1::h15a1b7c4359f1cff [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:168:23 [INFO] [stdout] 16: 0x5588473e997a - rsmt2::tests::z3::actlits_1::{{closure}}::h4102804310d34a57 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:165:5 [INFO] [stdout] 17: 0x5588473ca63e - core::ops::function::FnOnce::call_once::h8aead4530b4114fe [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x55884742ca13 - core::ops::function::FnOnce::call_once::h018fc248431ce8de [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x55884742ca13 - test::__rust_begin_short_backtrace::h293b982b6069d6e3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:574:5 [INFO] [stdout] 20: 0x55884742b7c9 - as core::ops::function::FnOnce>::call_once::h4fc1be1a762c7a46 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 21: 0x55884742b7c9 - as core::ops::function::FnOnce<()>>::call_once::hd44623ec51b9e897 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 22: 0x55884742b7c9 - std::panicking::try::do_call::ha8cfa4b025f5b832 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 23: 0x55884742b7c9 - std::panicking::try::h664f75e41c112145 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 24: 0x55884742b7c9 - std::panic::catch_unwind::h4932ec05cd60558e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 25: 0x55884742b7c9 - test::run_test_in_process::ha14a47756671755c [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:597:18 [INFO] [stdout] 26: 0x55884742b7c9 - test::run_test::run_test_inner::{{closure}}::h0ec9e37c8f67b62d [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:491:39 [INFO] [stdout] 27: 0x5588473f797e - test::run_test::run_test_inner::{{closure}}::hd9d2e7f26d4f59e6 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/test/src/lib.rs:518:37 [INFO] [stdout] 28: 0x5588473f797e - std::sys_common::backtrace::__rust_begin_short_backtrace::h41c0a39fac5123f8 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys_common/backtrace.rs:122:18 [INFO] [stdout] 29: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h69a02ca0bebb6eeb [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:498:17 [INFO] [stdout] 30: 0x5588473fcee8 - as core::ops::function::FnOnce<()>>::call_once::hdd05632920ce689b [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/panic/unwind_safe.rs:271:9 [INFO] [stdout] 31: 0x5588473fcee8 - std::panicking::try::do_call::hb4947142729b90fd [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:492:40 [INFO] [stdout] 32: 0x5588473fcee8 - std::panicking::try::h15a7e9b8394e6878 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panicking.rs:456:19 [INFO] [stdout] 33: 0x5588473fcee8 - std::panic::catch_unwind::hbd3f4a3f9df49b85 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/panic.rs:137:14 [INFO] [stdout] 34: 0x5588473fcee8 - std::thread::Builder::spawn_unchecked_::{{closure}}::h880b5d5f1b9799f4 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/thread/mod.rs:497:30 [INFO] [stdout] 35: 0x5588473fcee8 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h304d5eaf401f5061 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x558847529123 - as core::ops::function::FnOnce>::call_once::hdba7f2afed0c35b3 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 37: 0x558847529123 - as core::ops::function::FnOnce>::call_once::h38b0832765bf7961 [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/alloc/src/boxed.rs:1861:9 [INFO] [stdout] 38: 0x558847529123 - std::sys::unix::thread::Thread::new::thread_start::h70236dc17753425e [INFO] [stdout] at /rustc/7c13df853721b60a03e7c0bb084d2eb1e27a9caa/library/std/src/sys/unix/thread.rs:108:17 [INFO] [stdout] 39: 0x7f6861087609 - start_thread [INFO] [stdout] 40: 0x7f6861310163 - clone [INFO] [stdout] 41: 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; finished in 0.34s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "33a9e423a80b3890fc323f23420d10158e8d80ac60a447b7a1bffaa0302c210c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "33a9e423a80b3890fc323f23420d10158e8d80ac60a447b7a1bffaa0302c210c", kill_on_drop: false }` [INFO] [stdout] 33a9e423a80b3890fc323f23420d10158e8d80ac60a447b7a1bffaa0302c210c