[INFO] fetching crate rsmt2 0.16.2... [INFO] testing rsmt2-0.16.2 against 1.79.0 for beta-1.80-4 [INFO] extracting crate rsmt2 0.16.2 into /workspace/builds/worker-7-tc1/source [INFO] validating manifest of crates.io crate rsmt2 0.16.2 on toolchain 1.79.0 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.79.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate rsmt2 0.16.2 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate rsmt2 0.16.2 [INFO] tweaked toml for crates.io crate rsmt2 0.16.2 written to /workspace/builds/worker-7-tc1/source/Cargo.toml [INFO] crate crates.io crate rsmt2 0.16.2 already has a lockfile, it will not be regenerated [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.79.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded clap v3.2.20 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] efd04532e53876b2da286e47845db569fc164f35b08edd09a25732808472bbff [INFO] running `Command { std: "docker" "start" "-a" "efd04532e53876b2da286e47845db569fc164f35b08edd09a25732808472bbff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "efd04532e53876b2da286e47845db569fc164f35b08edd09a25732808472bbff", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "efd04532e53876b2da286e47845db569fc164f35b08edd09a25732808472bbff", kill_on_drop: false }` [INFO] [stdout] efd04532e53876b2da286e47845db569fc164f35b08edd09a25732808472bbff [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] b8ffae92e2f6f09ba3cb0ffe6cb65da9dc1800d19ae8f8c7618136bc9288158b [INFO] running `Command { std: "docker" "start" "-a" "b8ffae92e2f6f09ba3cb0ffe6cb65da9dc1800d19ae8f8c7618136bc9288158b", kill_on_drop: false }` [INFO] [stderr] Compiling memchr v2.5.0 [INFO] [stderr] Compiling cc v1.0.73 [INFO] [stderr] Compiling libc v0.2.132 [INFO] [stderr] Compiling version_check v0.9.4 [INFO] [stderr] Compiling gimli v0.26.2 [INFO] [stderr] Compiling rustc-demangle v0.1.21 [INFO] [stderr] Compiling miniz_oxide v0.5.4 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling object v0.29.0 [INFO] [stderr] Compiling backtrace v0.3.66 [INFO] [stderr] Compiling addr2line v0.17.0 [INFO] [stderr] Compiling rsmt2 v0.16.2 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 13.68s [INFO] running `Command { std: "docker" "inspect" "b8ffae92e2f6f09ba3cb0ffe6cb65da9dc1800d19ae8f8c7618136bc9288158b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b8ffae92e2f6f09ba3cb0ffe6cb65da9dc1800d19ae8f8c7618136bc9288158b", kill_on_drop: false }` [INFO] [stdout] b8ffae92e2f6f09ba3cb0ffe6cb65da9dc1800d19ae8f8c7618136bc9288158b [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 3173fc9ee66d1444da14286531227e7beea829836d8199280d47a7e25d9c7343 [INFO] running `Command { std: "docker" "start" "-a" "3173fc9ee66d1444da14286531227e7beea829836d8199280d47a7e25d9c7343", kill_on_drop: false }` [INFO] [stderr] Compiling indexmap v1.9.1 [INFO] [stderr] Compiling hashbrown v0.12.3 [INFO] [stderr] Compiling os_str_bytes v6.3.0 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling textwrap v0.15.0 [INFO] [stderr] Compiling termcolor v1.1.3 [INFO] [stderr] Compiling clap_lex v0.2.4 [INFO] [stderr] Compiling clap v3.2.20 [INFO] [stderr] Compiling rsmt2 v0.16.2 (/opt/rustwide/workdir) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 15.19s [INFO] running `Command { std: "docker" "inspect" "3173fc9ee66d1444da14286531227e7beea829836d8199280d47a7e25d9c7343", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3173fc9ee66d1444da14286531227e7beea829836d8199280d47a7e25d9c7343", kill_on_drop: false }` [INFO] [stdout] 3173fc9ee66d1444da14286531227e7beea829836d8199280d47a7e25d9c7343 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 7cbff961aa8d2168e1383a5c18e1763dcc2292ae68bfabf5c9151fdad363fc76 [INFO] running `Command { std: "docker" "start" "-a" "7cbff961aa8d2168e1383a5c18e1763dcc2292ae68bfabf5c9151fdad363fc76", kill_on_drop: false }` [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rsmt2-a5801b48f0225196) [INFO] [stdout] [INFO] [stdout] running 14 tests [INFO] [stdout] test examples::print_time::test_native ... FAILED [INFO] [stdout] test tests::cvc4::set_logic ... FAILED [INFO] [stdout] test examples::simple::run ... FAILED [INFO] [stdout] test tests::cvc4::scenario_1 ... FAILED [INFO] [stdout] test tests::logic ... FAILED [INFO] [stdout] test tests::yices_2::scenario_1 ... FAILED [INFO] [stdout] test tests::z3::scenario_1 ... FAILED [INFO] [stdout] test examples::print_time::test_unroll ... FAILED [INFO] [stdout] test examples::print_time::declare_non_nullary_fun ... FAILED [INFO] [stdout] test tests::yices_2::actlits_1 ... FAILED [INFO] [stdout] test tests::z3::actlits_1 ... FAILED [INFO] [stdout] test tests::z3::set_logic ... FAILED [INFO] [stdout] test tests::z3::actlits_0 ... FAILED [INFO] [stdout] test tests::yices_2::set_logic ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::test_native stdout ---- [INFO] [stdout] thread 'examples::print_time::test_native' panicked at src/examples/mod.rs:21:19: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:296: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:17 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 15: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 16: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 19: [INFO] [stdout] 20: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046cf7199 - rsmt2::examples::get_solver::h2374b04fd4206d91 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 20: 0x561046d01c93 - rsmt2::examples::print_time::test_native::h9fd23156abd47d7f [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:325:22 [INFO] [stdout] 21: 0x561046d01c37 - rsmt2::examples::print_time::test_native::{{closure}}::he542a2e533972e67 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:322:17 [INFO] [stdout] 22: 0x561046ceeea6 - core::ops::function::FnOnce::call_once::hcb336285134db210 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 25: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 26: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 29: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 30: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 32: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 33: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 34: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 35: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 38: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 39: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 40: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 44: 0x7febace83ac3 - [INFO] [stdout] 45: 0x7febacf14a04 - __clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::cvc4::set_logic stdout ---- [INFO] [stdout] thread 'tests::cvc4::set_logic' panicked at src/tests.rs:46:52: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:19 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046ce6ab5 - core::result::Result::expect::hf7e2a27f57fd9ca0 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1034:23 [INFO] [stdout] 21: 0x561046cf3654 - rsmt2::tests::cvc4::set_logic::h89468f684f4ff627 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:46:26 [INFO] [stdout] 22: 0x561046cf35e7 - rsmt2::tests::cvc4::set_logic::{{closure}}::h151e12eeddcbc2d0 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:44:19 [INFO] [stdout] 23: 0x561046ceed46 - core::ops::function::FnOnce::call_once::h8a1cacaf4079dfdf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::simple::run stdout ---- [INFO] [stdout] thread 'examples::simple::run' panicked at src/examples/mod.rs:21:19: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:296: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:498:22 [INFO] [stdout] 12: rsmt2::examples::simple::run::{{closure}} [INFO] [stdout] at src/examples/simple.rs:497:9 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 15: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 16: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 19: [INFO] [stdout] 20: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046cf7309 - rsmt2::examples::get_solver::h863d8d54c5bac542 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 20: 0x561046cdfd71 - rsmt2::examples::simple::run::hd1dd6d30ce4f4c8d [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:498:22 [INFO] [stdout] 21: 0x561046cdfd47 - rsmt2::examples::simple::run::{{closure}}::h1e34cc0f1308e3a0 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:497:9 [INFO] [stdout] 22: 0x561046ceef26 - core::ops::function::FnOnce::call_once::hfb08b7224bc9530d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 25: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 26: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 29: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 30: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 32: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 33: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 34: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 35: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 38: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 39: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 40: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 44: 0x7febace83ac3 - [INFO] [stdout] 45: 0x7febacf14a04 - __clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::cvc4::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::cvc4::scenario_1' panicked at src/tests.rs:54:52: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:20 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046ce6ab5 - core::result::Result::expect::hf7e2a27f57fd9ca0 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1034:23 [INFO] [stdout] 21: 0x561046cf3809 - rsmt2::tests::cvc4::scenario_1::h88afb85c812265fd [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:54:26 [INFO] [stdout] 22: 0x561046cf3707 - rsmt2::tests::cvc4::scenario_1::{{closure}}::hd8cd794e74cc51ce [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:51:20 [INFO] [stdout] 23: 0x561046ceed86 - core::ops::function::FnOnce::call_once::h8f107ee10b01c816 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::logic stdout ---- [INFO] [stdout] thread 'tests::logic' panicked at src/tests.rs:284:44: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:11 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046ce6595 - core::result::Result::expect::h8b04ce8fac0f1483 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1034:23 [INFO] [stdout] 21: 0x561046ced662 - rsmt2::tests::logic::h78120e79844ae394 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:284:22 [INFO] [stdout] 22: 0x561046ced5f7 - rsmt2::tests::logic::{{closure}}::h0ff6f7c03fc066fc [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:281:11 [INFO] [stdout] 23: 0x561046ceecc6 - core::ops::function::FnOnce::call_once::h55a49ee22740f2a6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::yices_2::scenario_1' panicked at src/tests.rs:206:52: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:20 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046ce6ab5 - core::result::Result::expect::hf7e2a27f57fd9ca0 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1034:23 [INFO] [stdout] 21: 0x561046ce3417 - rsmt2::tests::yices_2::scenario_1::h704cef192fe9e940 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:206:26 [INFO] [stdout] 22: 0x561046ce33a7 - rsmt2::tests::yices_2::scenario_1::{{closure}}::hab5448b206a7e6d7 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:204:20 [INFO] [stdout] 23: 0x561046ceeb46 - core::ops::function::FnOnce::call_once::h1af4dddaa6d6bf25 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::z3::scenario_1' panicked at src/tests.rs:101:52: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:20 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046ce6ab5 - core::result::Result::expect::hf7e2a27f57fd9ca0 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1034:23 [INFO] [stdout] 21: 0x561046cf7560 - rsmt2::tests::z3::scenario_1::h4ad2c831bd7dbe31 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:101:26 [INFO] [stdout] 22: 0x561046cf7467 - rsmt2::tests::z3::scenario_1::{{closure}}::h4df261e6123b737f [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:98:20 [INFO] [stdout] 23: 0x561046ceeb06 - core::ops::function::FnOnce::call_once::h0650677d756943e7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::test_unroll stdout ---- [INFO] [stdout] thread 'examples::print_time::test_unroll' panicked at src/examples/mod.rs:21:19: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:296: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:17 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 15: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 16: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 19: [INFO] [stdout] 20: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046cf7199 - rsmt2::examples::get_solver::h2374b04fd4206d91 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 20: 0x561046d041f3 - rsmt2::examples::print_time::test_unroll::hc285d23984f6b1c2 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:417:22 [INFO] [stdout] 21: 0x561046d04197 - rsmt2::examples::print_time::test_unroll::{{closure}}::hdd91c73b4a72f79d [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:414:17 [INFO] [stdout] 22: 0x561046ceedc6 - core::ops::function::FnOnce::call_once::h9180b8d38d03e16b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 25: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 26: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 29: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 30: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 32: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 33: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 34: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 35: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 38: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 39: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 40: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 44: 0x7febace83ac3 - [INFO] [stdout] 45: 0x7febacf14a04 - __clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::declare_non_nullary_fun stdout ---- [INFO] [stdout] thread 'examples::print_time::declare_non_nullary_fun' panicked at src/examples/mod.rs:21:19: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:296: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:29 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 14: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 15: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 16: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 17: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 18: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 19: [INFO] [stdout] 20: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046cf7199 - rsmt2::examples::get_solver::h2374b04fd4206d91 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 20: 0x561046d01a46 - rsmt2::examples::print_time::declare_non_nullary_fun::h5ff36e79c2123fd8 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:310:22 [INFO] [stdout] 21: 0x561046d01a17 - rsmt2::examples::print_time::declare_non_nullary_fun::{{closure}}::h6f45b45e3fd3f172 [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:309:29 [INFO] [stdout] 22: 0x561046ceeee6 - core::ops::function::FnOnce::call_once::hf13e974d2d66d384 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 25: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 26: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 27: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 29: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 30: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 32: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 33: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 34: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 35: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 36: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 38: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 39: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 40: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 41: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 44: 0x7febace83ac3 - [INFO] [stdout] 45: 0x7febacf14a04 - __clone [INFO] [stdout] 46: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::actlits_1 stdout ---- [INFO] [stdout] thread 'tests::yices_2::actlits_1' panicked at src/tests.rs:253:23: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:19 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ce49d2 - rsmt2::tests::yices_2::actlits_1::h0bf73cbc1db30e31 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:253:23 [INFO] [stdout] 20: 0x561046ce3d87 - rsmt2::tests::yices_2::actlits_1::{{closure}}::hd6adec3b9accfac6 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:247:19 [INFO] [stdout] 21: 0x561046ceebc6 - core::ops::function::FnOnce::call_once::h2dc923e3c7b888f3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 24: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 25: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 26: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 27: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 28: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 29: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 30: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 31: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 32: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 33: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 34: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 35: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 36: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 37: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 38: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 39: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 41: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 42: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 43: 0x7febace83ac3 - [INFO] [stdout] 44: 0x7febacf14a04 - __clone [INFO] [stdout] 45: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::actlits_1 stdout ---- [INFO] [stdout] thread 'tests::z3::actlits_1' panicked at src/tests.rs:168:23: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:296: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:19 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 14: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 15: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 17: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 18: [INFO] [stdout] 19: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046cf9bcc - rsmt2::tests::z3::actlits_1::hdd06a73b3fde1655 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:168:23 [INFO] [stdout] 20: 0x561046cf89e7 - rsmt2::tests::z3::actlits_1::{{closure}}::h59b1e3724c03160e [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:165:19 [INFO] [stdout] 21: 0x561046ceee16 - core::ops::function::FnOnce::call_once::h99e69cfef434c314 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 22: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 23: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 24: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 25: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 26: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 27: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 28: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 29: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 30: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 31: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 32: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 33: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 34: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 35: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 36: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 37: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 38: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 39: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 40: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 41: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 42: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 43: 0x7febace83ac3 - [INFO] [stdout] 44: 0x7febacf14a04 - __clone [INFO] [stdout] 45: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::set_logic stdout ---- [INFO] [stdout] thread 'tests::z3::set_logic' panicked at src/tests.rs:93:52: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:19 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046ce6ab5 - core::result::Result::expect::hf7e2a27f57fd9ca0 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1034:23 [INFO] [stdout] 21: 0x561046cf73b4 - rsmt2::tests::z3::set_logic::h987259802fc52165 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:93:26 [INFO] [stdout] 22: 0x561046cf7347 - rsmt2::tests::z3::set_logic::{{closure}}::h551918cede366389 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:91:19 [INFO] [stdout] 23: 0x561046ceee66 - core::ops::function::FnOnce::call_once::hbb627701b141bc8e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::actlits_0 stdout ---- [INFO] [stdout] thread 'tests::z3::actlits_0' panicked at src/tests.rs:132:49: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236:36 [INFO] [stdout] 9: rsmt2::solver::Solver::default_z3 [INFO] [stdout] at src/solver.rs:296: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:19 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 14: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 15: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 17: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 18: [INFO] [stdout] 19: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046cf7cc6 - core::result::Result::unwrap::h0a905ccf3d2b7002 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1077:23 [INFO] [stdout] 21: 0x561046cf7cc6 - rsmt2::tests::z3::actlits_0::hd27bf6c91b4c1e51 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:132:26 [INFO] [stdout] 22: 0x561046cf7bf7 - rsmt2::tests::z3::actlits_0::{{closure}}::h5b7ec92d8d26893a [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:131:19 [INFO] [stdout] 23: 0x561046ceec06 - core::ops::function::FnOnce::call_once::h39168e5f00ca0427 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::set_logic stdout ---- [INFO] [stdout] thread 'tests::yices_2::set_logic' panicked at src/tests.rs:199:52: [INFO] [stdout] 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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 2: core::option::Option::unwrap_or_else [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/option.rs:977:21 [INFO] [stdout] 3: error_chain::State::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/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/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: core::result::Result::map_err [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:829:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn [INFO] [stdout] at src/solver.rs:192:23 [INFO] [stdout] 8: rsmt2::solver::Solver::new [INFO] [stdout] at src/solver.rs:236: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:19 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 12: core::ops::function::FnOnce::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] test::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 13: test::run_test_in_process::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 14: test::run_test::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 15: std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] std::panicking::try::do_call [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] std::panicking::try [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] std::panic::catch_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] std::thread::Builder::spawn_unchecked_::{{closure}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}} [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 16: as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] as core::ops::function::FnOnce>::call_once [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] std::sys::pal::unix::thread::Thread::new::thread_start [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 17: [INFO] [stdout] 18: __clone [INFO] [stdout] ) } }) [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x561046e261f5 - std::backtrace_rs::backtrace::libunwind::trace::h1a07e5dba0da0cd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/libunwind.rs:105:5 [INFO] [stdout] 1: 0x561046e261f5 - std::backtrace_rs::backtrace::trace_unsynchronized::h61b9b8394328c0bc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x561046e261f5 - std::sys_common::backtrace::_print_fmt::h1c5e18b460934cff [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:68:5 [INFO] [stdout] 3: 0x561046e261f5 - ::fmt::h1e1a1972118942ad [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:44:22 [INFO] [stdout] 4: 0x561046e4cd6b - core::fmt::rt::Argument::fmt::h07af2b4071d536cd [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/rt.rs:165:63 [INFO] [stdout] 5: 0x561046e4cd6b - core::fmt::write::hc090a2ffd6b28c4a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/fmt/mod.rs:1157:21 [INFO] [stdout] 6: 0x561046e236df - std::io::Write::write_fmt::h9443d787e8277bd2 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/io/mod.rs:1832:15 [INFO] [stdout] 7: 0x561046e25fce - std::sys_common::backtrace::_print::h4e80c5803d4ee35b [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:47:5 [INFO] [stdout] 8: 0x561046e25fce - std::sys_common::backtrace::print::ha96650907276675e [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:34:9 [INFO] [stdout] 9: 0x561046e27949 - std::panicking::default_hook::{{closure}}::h215c2a0a8346e0e0 [INFO] [stdout] 10: 0x561046e2760e - std::panicking::default_hook::h207342be97478370 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:295:9 [INFO] [stdout] 11: 0x561046d39f3a - as core::ops::function::Fn>::call::haebd875eeb75949f [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 12: 0x561046d39f3a - test::test_main::{{closure}}::h9108cb0ebacdb458 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:137:21 [INFO] [stdout] 13: 0x561046e27f16 - as core::ops::function::Fn>::call::ha9c3bc81d312fd83 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2036:9 [INFO] [stdout] 14: 0x561046e27f16 - std::panicking::rust_panic_with_hook::hac8bdceee1e4fe2c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:799:13 [INFO] [stdout] 15: 0x561046e27cc4 - std::panicking::begin_panic_handler::{{closure}}::h00d785e82757ce3c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:664:13 [INFO] [stdout] 16: 0x561046e266b9 - std::sys_common::backtrace::__rust_end_short_backtrace::h1628d957bcd06996 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:171:18 [INFO] [stdout] 17: 0x561046e279f7 - rust_begin_unwind [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:652:5 [INFO] [stdout] 18: 0x561046ca98c3 - core::panicking::panic_fmt::hdc63834ffaaefae5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panicking.rs:72:14 [INFO] [stdout] 19: 0x561046ca9df6 - core::result::unwrap_failed::h82b551e0ff2b2176 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1654:5 [INFO] [stdout] 20: 0x561046ce6ab5 - core::result::Result::expect::hf7e2a27f57fd9ca0 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/result.rs:1034:23 [INFO] [stdout] 21: 0x561046ce32f4 - rsmt2::tests::yices_2::set_logic::h264aabd27d37922a [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:199:26 [INFO] [stdout] 22: 0x561046ce3287 - rsmt2::tests::yices_2::set_logic::{{closure}}::h365254a4881c51db [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:197:19 [INFO] [stdout] 23: 0x561046ceed06 - core::ops::function::FnOnce::call_once::h86fe59481370d63c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x561046d3e91b - core::ops::function::FnOnce::call_once::hb194ee8411fb46c7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x561046d3e91b - test::__rust_begin_short_backtrace::h871a93aaa56c76c5 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:623:18 [INFO] [stdout] 26: 0x561046d3e021 - test::run_test_in_process::{{closure}}::h6d9e6b0161cb50c6 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:60 [INFO] [stdout] 27: 0x561046d3e021 - as core::ops::function::FnOnce<()>>::call_once::hb9f3c63b5d0e0baa [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x561046d3e021 - std::panicking::try::do_call::h83eb4c9b7c70ebcc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 29: 0x561046d3e021 - std::panicking::try::h5ffd56bf671a89b3 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 30: 0x561046d3e021 - std::panic::catch_unwind::h044e758d6cbf65b7 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 31: 0x561046d3e021 - test::run_test_in_process::hf7ca2db08c9223b8 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:646:27 [INFO] [stdout] 32: 0x561046d3e021 - test::run_test::{{closure}}::h9657c20462181b87 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:569:43 [INFO] [stdout] 33: 0x561046d06aa4 - test::run_test::{{closure}}::h80c3aef427ce62cc [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/test/src/lib.rs:597:41 [INFO] [stdout] 34: 0x561046d06aa4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h43274eec75e29097 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys_common/backtrace.rs:155:18 [INFO] [stdout] 35: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hea1335728d2a7953 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:542:17 [INFO] [stdout] 36: 0x561046d0b512 - as core::ops::function::FnOnce<()>>::call_once::hb16d5d5fd985753c [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x561046d0b512 - std::panicking::try::do_call::h65de05e16c44e167 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:559:40 [INFO] [stdout] 38: 0x561046d0b512 - std::panicking::try::h187f01afe14eb3bf [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panicking.rs:523:19 [INFO] [stdout] 39: 0x561046d0b512 - std::panic::catch_unwind::h1b55347b2c8efb63 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/panic.rs:149:14 [INFO] [stdout] 40: 0x561046d0b512 - std::thread::Builder::spawn_unchecked_::{{closure}}::hea39e0adaff5b52d [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/thread/mod.rs:541:30 [INFO] [stdout] 41: 0x561046d0b512 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h9b61aba01c3c1f32 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h09e5a4c541afa800 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 43: 0x561046e2c39b - as core::ops::function::FnOnce>::call_once::h9c8b03c22f4e7026 [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/alloc/src/boxed.rs:2022:9 [INFO] [stdout] 44: 0x561046e2c39b - std::sys::pal::unix::thread::Thread::new::thread_start::h522bc89a54da820a [INFO] [stdout] at /rustc/129f3b9964af4d4a709d1383930ade12dfe7c081/library/std/src/sys/pal/unix/thread.rs:108:17 [INFO] [stdout] 45: 0x7febace83ac3 - [INFO] [stdout] 46: 0x7febacf14a04 - __clone [INFO] [stdout] 47: 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.39s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] running `Command { std: "docker" "inspect" "7cbff961aa8d2168e1383a5c18e1763dcc2292ae68bfabf5c9151fdad363fc76", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7cbff961aa8d2168e1383a5c18e1763dcc2292ae68bfabf5c9151fdad363fc76", kill_on_drop: false }` [INFO] [stdout] 7cbff961aa8d2168e1383a5c18e1763dcc2292ae68bfabf5c9151fdad363fc76