[INFO] fetching crate rsmt2 0.12.0... [INFO] testing rsmt2-0.12.0 against try#ce59db7a1b1b012fb2793c4641c1bdecad7a128b for pr-85530 [INFO] extracting crate rsmt2 0.12.0 into /workspace/builds/worker-5/source [INFO] validating manifest of crates.io crate rsmt2 0.12.0 on toolchain ce59db7a1b1b012fb2793c4641c1bdecad7a128b [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ce59db7a1b1b012fb2793c4641c1bdecad7a128b" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking crates.io crate rsmt2 0.12.0 [INFO] removed 0 missing examples [INFO] finished tweaking crates.io crate rsmt2 0.12.0 [INFO] tweaked toml for crates.io crate rsmt2 0.12.0 written to /workspace/builds/worker-5/source/Cargo.toml [INFO] crate crates.io crate rsmt2 0.12.0 already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ce59db7a1b1b012fb2793c4641c1bdecad7a128b" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ce59db7a1b1b012fb2793c4641c1bdecad7a128b" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 08f9704c574e38e71383b6f250e19b8413e9ea5ca390cd04804fa9a5c019d928 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "08f9704c574e38e71383b6f250e19b8413e9ea5ca390cd04804fa9a5c019d928", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "08f9704c574e38e71383b6f250e19b8413e9ea5ca390cd04804fa9a5c019d928", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "08f9704c574e38e71383b6f250e19b8413e9ea5ca390cd04804fa9a5c019d928", kill_on_drop: false }` [INFO] [stdout] 08f9704c574e38e71383b6f250e19b8413e9ea5ca390cd04804fa9a5c019d928 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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=forbid" "-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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ce59db7a1b1b012fb2793c4641c1bdecad7a128b" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 32a32bb2ddbea538380cbb99e0ecd36692fb0c0c99721c21a1cb7130e1d93c29 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "32a32bb2ddbea538380cbb99e0ecd36692fb0c0c99721c21a1cb7130e1d93c29", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.92 [INFO] [stderr] Compiling gimli v0.23.0 [INFO] [stderr] Compiling object v0.23.0 [INFO] [stderr] Compiling rustc-demangle v0.1.18 [INFO] [stderr] Compiling error-chain v0.12.4 [INFO] [stderr] Compiling addr2line v0.14.1 [INFO] [stderr] Compiling backtrace v0.3.56 [INFO] [stderr] Compiling rsmt2 v0.12.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 13.85s [INFO] running `Command { std: "docker" "inspect" "32a32bb2ddbea538380cbb99e0ecd36692fb0c0c99721c21a1cb7130e1d93c29", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "32a32bb2ddbea538380cbb99e0ecd36692fb0c0c99721c21a1cb7130e1d93c29", kill_on_drop: false }` [INFO] [stdout] 32a32bb2ddbea538380cbb99e0ecd36692fb0c0c99721c21a1cb7130e1d93c29 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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=forbid" "-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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ce59db7a1b1b012fb2793c4641c1bdecad7a128b" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 692cccb9e5bacdabbdb71e3a113a78980eee787a7a75c7d50071c4f926d28183 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "692cccb9e5bacdabbdb71e3a113a78980eee787a7a75c7d50071c4f926d28183", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-width v0.1.8 [INFO] [stderr] Compiling vec_map v0.8.2 [INFO] [stderr] Compiling atty v0.2.14 [INFO] [stderr] Compiling textwrap v0.11.0 [INFO] [stderr] Compiling clap v2.33.3 [INFO] [stderr] Compiling rsmt2 v0.12.0 (/opt/rustwide/workdir) [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 18.02s [INFO] running `Command { std: "docker" "inspect" "692cccb9e5bacdabbdb71e3a113a78980eee787a7a75c7d50071c4f926d28183", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "692cccb9e5bacdabbdb71e3a113a78980eee787a7a75c7d50071c4f926d28183", kill_on_drop: false }` [INFO] [stdout] 692cccb9e5bacdabbdb71e3a113a78980eee787a7a75c7d50071c4f926d28183 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5/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=forbid" "-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:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ce59db7a1b1b012fb2793c4641c1bdecad7a128b" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 7a5ed8e08ade4b227db606bc149c8aa0de8b3485c97f6f73806c123983230817 [INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap. [INFO] running `Command { std: "docker" "start" "-a" "7a5ed8e08ade4b227db606bc149c8aa0de8b3485c97f6f73806c123983230817", kill_on_drop: false }` [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.04s [INFO] [stdout] running 14 tests [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/rsmt2-4cee14dc23b3fc3d) [INFO] [stdout] test tests::z3::set_logic ... FAILED [INFO] [stdout] test tests::z3::scenario_1 ... FAILED [INFO] [stdout] test tests::logic ... FAILED [INFO] [stdout] test examples::simple::run ... FAILED [INFO] [stdout] test tests::yices_2::actlits_1 ... FAILED [INFO] [stdout] test tests::cvc4::scenario_1 ... FAILED [INFO] [stdout] test examples::print_time::declare_non_nullary_fun ... FAILED [INFO] [stdout] test examples::print_time::test_native ... FAILED [INFO] [stdout] test tests::yices_2::scenario_1 ... FAILED [INFO] [stdout] test tests::yices_2::set_logic ... FAILED [INFO] [stdout] test tests::z3::actlits_0 ... FAILED [INFO] [stdout] test tests::cvc4::set_logic ... FAILED [INFO] [stdout] test examples::print_time::test_unroll ... FAILED [INFO] [stdout] test tests::z3::actlits_1 ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- tests::z3::set_logic stdout ---- [INFO] [stdout] thread 'tests::z3::set_logic' panicked at 'solver creation: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::z3::set_logic [INFO] [stdout] at src/tests.rs:93:26 [INFO] [stdout] 10: rsmt2::tests::z3::set_logic::{closure#0} [INFO] [stdout] at src/tests.rs:91:5 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:93:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x55767067045d - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::expect [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:997:23 [INFO] [stdout] 17: 0x55767066d6d2 - rsmt2[b5550f95a9d3f2e8]::tests::z3::set_logic [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:93:26 [INFO] [stdout] 18: 0x55767066d65a - rsmt2[b5550f95a9d3f2e8]::tests::z3::set_logic::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:91:5 [INFO] [stdout] 19: 0x557670650f4e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::z3::scenario_1' panicked at 'solver creation: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::z3::scenario_1 [INFO] [stdout] at src/tests.rs:101:26 [INFO] [stdout] 10: rsmt2::tests::z3::scenario_1::{closure#0} [INFO] [stdout] at src/tests.rs:98:5 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:101:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x55767067045d - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::expect [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:997:23 [INFO] [stdout] 17: 0x55767066d867 - rsmt2[b5550f95a9d3f2e8]::tests::z3::scenario_1 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:101:26 [INFO] [stdout] 18: 0x55767066d76a - rsmt2[b5550f95a9d3f2e8]::tests::z3::scenario_1::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:98:5 [INFO] [stdout] 19: 0x557670650e8e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::logic stdout ---- [INFO] [stdout] thread 'tests::logic' panicked at 'solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::logic [INFO] [stdout] at src/tests.rs:297:22 [INFO] [stdout] 10: rsmt2::tests::logic::{closure#0} [INFO] [stdout] at src/tests.rs:294:1 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:297:44 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x55767067055d - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::expect [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:997:23 [INFO] [stdout] 17: 0x557670651952 - rsmt2[b5550f95a9d3f2e8]::tests::logic [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:297:22 [INFO] [stdout] 18: 0x5576706518da - rsmt2[b5550f95a9d3f2e8]::tests::logic::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:294:1 [INFO] [stdout] 19: 0x557670650e4e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::simple::run stdout ---- [INFO] [stdout] thread 'examples::simple::run' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: >::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver:: [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::simple::run [INFO] [stdout] at src/examples/simple.rs:487:22 [INFO] [stdout] 12: rsmt2::examples::simple::run::{closure#0} [INFO] [stdout] at src/examples/simple.rs:486:1 [INFO] [stdout] 13: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 15: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x557670611d8b - std[77c0456e0eb29f0c]::panicking::begin_panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:457:5 [INFO] [stdout] 15: 0x5576706487cb - rsmt2[b5550f95a9d3f2e8]::examples::get_solver:: [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x55767063e411 - rsmt2[b5550f95a9d3f2e8]::examples::simple::run [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:487:22 [INFO] [stdout] 17: 0x55767063e3da - rsmt2[b5550f95a9d3f2e8]::examples::simple::run::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/examples/simple.rs:486:1 [INFO] [stdout] 18: 0x55767065118e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 21: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 23: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 26: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 28: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 29: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 32: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 35: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 36: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 38: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f716bc33609 - start_thread [INFO] [stdout] 41: 0x7f716bebe293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::actlits_1 stdout ---- [INFO] [stdout] thread 'tests::yices_2::actlits_1' panicked at 'Could not spawn solver kid: Error(Msg("While spawning child process with yices"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::actlits_1 [INFO] [stdout] at src/tests.rs:259:32 [INFO] [stdout] 10: rsmt2::tests::yices_2::actlits_1::{closure#0} [INFO] [stdout] at src/tests.rs:255:5 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:261:23 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x557670611d8b - std[77c0456e0eb29f0c]::panicking::begin_panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:457:5 [INFO] [stdout] 15: 0x55767064b237 - rsmt2[b5550f95a9d3f2e8]::tests::yices_2::actlits_1 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:261:23 [INFO] [stdout] 16: 0x55767064afaa - rsmt2[b5550f95a9d3f2e8]::tests::yices_2::actlits_1::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:255:5 [INFO] [stdout] 17: 0x55767065104e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 20: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 21: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 22: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 23: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 25: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 26: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 27: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 28: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 29: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 30: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 31: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 32: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 34: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 35: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 37: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 38: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 39: 0x7f716bc33609 - start_thread [INFO] [stdout] 40: 0x7f716bebe293 - clone [INFO] [stdout] 41: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::cvc4::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::cvc4::scenario_1' panicked at 'solver creation: Error(Msg("While spawning child process with cvc4"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::cvc4::scenario_1 [INFO] [stdout] at src/tests.rs:54:26 [INFO] [stdout] 10: rsmt2::tests::cvc4::scenario_1::{closure#0} [INFO] [stdout] at src/tests.rs:51:5 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:54:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x55767067045d - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::expect [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:997:23 [INFO] [stdout] 17: 0x557670649d93 - rsmt2[b5550f95a9d3f2e8]::tests::cvc4::scenario_1 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:54:26 [INFO] [stdout] 18: 0x557670649c8a - rsmt2[b5550f95a9d3f2e8]::tests::cvc4::scenario_1::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:51:5 [INFO] [stdout] 19: 0x557670650f8e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::declare_non_nullary_fun stdout ---- [INFO] [stdout] thread 'examples::print_time::declare_non_nullary_fun' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: >::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver:: [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::print_time::declare_non_nullary_fun [INFO] [stdout] at src/examples/print_time.rs:310:22 [INFO] [stdout] 12: rsmt2::examples::print_time::declare_non_nullary_fun::{closure#0} [INFO] [stdout] at src/examples/print_time.rs:309:1 [INFO] [stdout] 13: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 15: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x557670611d8b - std[77c0456e0eb29f0c]::panicking::begin_panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:457:5 [INFO] [stdout] 15: 0x55767064866b - rsmt2[b5550f95a9d3f2e8]::examples::get_solver:: [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x557670656e61 - rsmt2[b5550f95a9d3f2e8]::examples::print_time::declare_non_nullary_fun [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:310:22 [INFO] [stdout] 17: 0x557670656e3a - rsmt2[b5550f95a9d3f2e8]::examples::print_time::declare_non_nullary_fun::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:309:1 [INFO] [stdout] 18: 0x55767065114e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 21: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 23: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 26: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 28: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 29: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 32: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 35: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 36: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 38: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f716bc33609 - start_thread [INFO] [stdout] 41: 0x7f716bebe293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::test_native stdout ---- [INFO] [stdout] thread 'examples::print_time::test_native' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: >::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver:: [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::print_time::test_native [INFO] [stdout] at src/examples/print_time.rs:325:22 [INFO] [stdout] 12: rsmt2::examples::print_time::test_native::{closure#0} [INFO] [stdout] at src/examples/print_time.rs:322:1 [INFO] [stdout] 13: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 15: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x557670611d8b - std[77c0456e0eb29f0c]::panicking::begin_panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:457:5 [INFO] [stdout] 15: 0x55767064866b - rsmt2[b5550f95a9d3f2e8]::examples::get_solver:: [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x5576706570ba - rsmt2[b5550f95a9d3f2e8]::examples::print_time::test_native [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:325:22 [INFO] [stdout] 17: 0x55767065705a - rsmt2[b5550f95a9d3f2e8]::examples::print_time::test_native::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:322:1 [INFO] [stdout] 18: 0x5576706510ce - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 21: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 23: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 26: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 28: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 29: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 32: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 35: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 36: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 38: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f716bc33609 - start_thread [INFO] [stdout] 41: 0x7f716bebe293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::scenario_1 stdout ---- [INFO] [stdout] thread 'tests::yices_2::scenario_1' panicked at 'solver creation: Error(Msg("While spawning child process with yices"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::scenario_1 [INFO] [stdout] at src/tests.rs:214:26 [INFO] [stdout] 10: rsmt2::tests::yices_2::scenario_1::{closure#0} [INFO] [stdout] at src/tests.rs:212:5 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:214:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x55767067045d - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::expect [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:997:23 [INFO] [stdout] 17: 0x55767064a6b5 - rsmt2[b5550f95a9d3f2e8]::tests::yices_2::scenario_1 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:214:26 [INFO] [stdout] 18: 0x55767064a63a - rsmt2[b5550f95a9d3f2e8]::tests::yices_2::scenario_1::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:212:5 [INFO] [stdout] 19: 0x55767065100e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::yices_2::set_logic stdout ---- [INFO] [stdout] thread 'tests::yices_2::set_logic' panicked at 'solver creation: Error(Msg("While spawning child process with yices"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::yices_2::set_logic [INFO] [stdout] at src/tests.rs:207:26 [INFO] [stdout] 10: rsmt2::tests::yices_2::set_logic::{closure#0} [INFO] [stdout] at src/tests.rs:205:5 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:207:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x55767067045d - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::expect [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:997:23 [INFO] [stdout] 17: 0x55767064a5a2 - rsmt2[b5550f95a9d3f2e8]::tests::yices_2::set_logic [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:207:26 [INFO] [stdout] 18: 0x55767064a52a - rsmt2[b5550f95a9d3f2e8]::tests::yices_2::set_logic::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:205:5 [INFO] [stdout] 19: 0x55767065108e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::actlits_0 stdout ---- [INFO] [stdout] thread 'tests::z3::actlits_0' panicked at 'called `Result::unwrap()` on an `Err` value: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: >::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::tests::z3::actlits_0 [INFO] [stdout] at src/tests.rs:132:26 [INFO] [stdout] 11: rsmt2::tests::z3::actlits_0::{closure#0} [INFO] [stdout] at src/tests.rs:131:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 13: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 14: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 15: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 16: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 18: start_thread [INFO] [stdout] 19: clone [INFO] [stdout] ) } })', src/tests.rs:132:49 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x557670670645 - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::unwrap [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1037:23 [INFO] [stdout] 17: 0x55767066df1d - rsmt2[b5550f95a9d3f2e8]::tests::z3::actlits_0 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:132:26 [INFO] [stdout] 18: 0x55767066deda - rsmt2[b5550f95a9d3f2e8]::tests::z3::actlits_0::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:131:5 [INFO] [stdout] 19: 0x557670650ece - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::cvc4::set_logic stdout ---- [INFO] [stdout] thread 'tests::cvc4::set_logic' panicked at 'solver creation: Error(Msg("While spawning child process with cvc4"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: rsmt2::tests::cvc4::set_logic [INFO] [stdout] at src/tests.rs:46:26 [INFO] [stdout] 10: rsmt2::tests::cvc4::set_logic::{closure#0} [INFO] [stdout] at src/tests.rs:44:5 [INFO] [stdout] 11: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 13: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 14: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 15: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 16: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 17: start_thread [INFO] [stdout] 18: clone [INFO] [stdout] ) } })', src/tests.rs:46:52 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x5576706125b1 - core[ee1ca6415511a9c4]::panicking::panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/panicking.rs:92:14 [INFO] [stdout] 15: 0x5576706126a3 - core[ee1ca6415511a9c4]::result::unwrap_failed [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:1355:5 [INFO] [stdout] 16: 0x55767067045d - , rsmt2[b5550f95a9d3f2e8]::errors::Error>>::expect [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:997:23 [INFO] [stdout] 17: 0x557670649bf2 - rsmt2[b5550f95a9d3f2e8]::tests::cvc4::set_logic [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:46:26 [INFO] [stdout] 18: 0x557670649b7a - rsmt2[b5550f95a9d3f2e8]::tests::cvc4::set_logic::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:44:5 [INFO] [stdout] 19: 0x557670650fce - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 21: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 23: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 26: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 28: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 29: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 30: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 32: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 35: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 36: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 37: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 38: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 40: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 41: 0x7f716bc33609 - start_thread [INFO] [stdout] 42: 0x7f716bebe293 - clone [INFO] [stdout] 43: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- examples::print_time::test_unroll stdout ---- [INFO] [stdout] thread 'examples::print_time::test_unroll' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: >::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::examples::get_solver:: [INFO] [stdout] at src/examples/mod.rs:19:11 [INFO] [stdout] 11: rsmt2::examples::print_time::test_unroll [INFO] [stdout] at src/examples/print_time.rs:417:22 [INFO] [stdout] 12: rsmt2::examples::print_time::test_unroll::{closure#0} [INFO] [stdout] at src/examples/print_time.rs:414:1 [INFO] [stdout] 13: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 14: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 15: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 16: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 17: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 19: start_thread [INFO] [stdout] 20: clone [INFO] [stdout] ) } })', src/examples/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x557670611d8b - std[77c0456e0eb29f0c]::panicking::begin_panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:457:5 [INFO] [stdout] 15: 0x55767064866b - rsmt2[b5550f95a9d3f2e8]::examples::get_solver:: [INFO] [stdout] at /opt/rustwide/workdir/src/examples/mod.rs:21:19 [INFO] [stdout] 16: 0x55767065972a - rsmt2[b5550f95a9d3f2e8]::examples::print_time::test_unroll [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:417:22 [INFO] [stdout] 17: 0x5576706596ca - rsmt2[b5550f95a9d3f2e8]::examples::print_time::test_unroll::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/examples/print_time.rs:414:1 [INFO] [stdout] 18: 0x55767065110e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 20: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 21: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 22: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 23: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 25: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 26: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 27: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 28: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 29: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 30: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 31: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 32: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 34: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 35: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 36: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 37: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 38: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 39: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 40: 0x7f716bc33609 - start_thread [INFO] [stdout] 41: 0x7f716bebe293 - clone [INFO] [stdout] 42: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- tests::z3::actlits_1 stdout ---- [INFO] [stdout] thread 'tests::z3::actlits_1' panicked at 'Could not spawn solver kid: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some( 0: ::new [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48 [INFO] [stdout] 1: <::new as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 2: >::unwrap_or_else::<::new> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/option.rs:427:21 [INFO] [stdout] 3: ::new:: [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0} [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33 [INFO] [stdout] 5: >::map_err:: as rsmt2::errors::ResExt>::chain_err<>::spawn::{closure#0}, rsmt2::errors::ErrorKind>::{closure#0}> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/result.rs:591:27 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::<>::spawn::{closure#0}, rsmt2::errors::ErrorKind> [INFO] [stdout] at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17 [INFO] [stdout] 7: >::spawn [INFO] [stdout] at src/solver.rs:133:23 [INFO] [stdout] 8: >::new [INFO] [stdout] at src/solver.rs:177:36 [INFO] [stdout] 9: >::default_z3 [INFO] [stdout] at src/solver.rs:224:9 [INFO] [stdout] 10: rsmt2::tests::z3::actlits_1 [INFO] [stdout] at src/tests.rs:170:32 [INFO] [stdout] 11: rsmt2::tests::z3::actlits_1::{closure#0} [INFO] [stdout] at src/tests.rs:169:5 [INFO] [stdout] 12: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 13: >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] test::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 14: + core::marker::Send> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] + core::marker::Send>> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe + core::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind:: + core::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] test::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] test::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 15: test::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] std::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 16: ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] ::spawn_unchecked::{closure#0}::{closure#0}> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] std::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] std::panicking::try::<(), std::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] std::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] <::spawn_unchecked::{closure#0} as core::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 17: > as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] >> as core::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 18: start_thread [INFO] [stdout] 19: clone [INFO] [stdout] ) } })', src/tests.rs:172:23 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::libunwind::trace [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5 [INFO] [stdout] 1: 0x557670795400 - std[77c0456e0eb29f0c]::backtrace_rs::backtrace::trace_unsynchronized:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5 [INFO] [stdout] 2: 0x557670795400 - std[77c0456e0eb29f0c]::sys_common::backtrace::_print_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:67:5 [INFO] [stdout] 3: 0x557670795400 - ::fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:46:22 [INFO] [stdout] 4: 0x5576707b7d8c - core[ee1ca6415511a9c4]::fmt::write [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/fmt/mod.rs:1110:17 [INFO] [stdout] 5: 0x5576707920e5 - as std[77c0456e0eb29f0c]::io::Write>::write_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/io/mod.rs:1584:15 [INFO] [stdout] 6: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::_print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:49:5 [INFO] [stdout] 7: 0x5576707975ab - std[77c0456e0eb29f0c]::sys_common::backtrace::print [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:36:9 [INFO] [stdout] 8: 0x5576707975ab - std[77c0456e0eb29f0c]::panicking::default_hook::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:208:50 [INFO] [stdout] 9: 0x5576707970bc - std[77c0456e0eb29f0c]::panicking::default_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:222:9 [INFO] [stdout] 10: 0x557670797c51 - std[77c0456e0eb29f0c]::panicking::rust_panic_with_hook [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:622:17 [INFO] [stdout] 11: 0x557670797757 - std[77c0456e0eb29f0c]::panicking::begin_panic_handler::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:519:13 [INFO] [stdout] 12: 0x5576707958fc - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_end_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:141:18 [INFO] [stdout] 13: 0x5576707976b9 - rust_begin_unwind [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:515:5 [INFO] [stdout] 14: 0x557670611d8b - std[77c0456e0eb29f0c]::panicking::begin_panic_fmt [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:457:5 [INFO] [stdout] 15: 0x55767066e40b - rsmt2[b5550f95a9d3f2e8]::tests::z3::actlits_1 [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:172:23 [INFO] [stdout] 16: 0x55767066e24a - rsmt2[b5550f95a9d3f2e8]::tests::z3::actlits_1::{closure#0} [INFO] [stdout] at /opt/rustwide/workdir/src/tests.rs:169:5 [INFO] [stdout] 17: 0x557670650f0e - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 18: 0x5576706a4ec3 - >::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 19: 0x5576706a4ec3 - test[eeb9024d9ac7bc83]::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:577:5 [INFO] [stdout] 20: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 21: 0x5576706a398c - + core[ee1ca6415511a9c4]::marker::Send>> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 22: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::do_call:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 23: 0x5576706a398c - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe + core[ee1ca6415511a9c4]::marker::Send>>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 24: 0x5576706a398c - std[77c0456e0eb29f0c]::panic::catch_unwind:: + core[ee1ca6415511a9c4]::marker::Send>>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 25: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test_in_process [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:600:18 [INFO] [stdout] 26: 0x5576706a398c - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:492:39 [INFO] [stdout] 27: 0x557670683652 - test[eeb9024d9ac7bc83]::run_test::run_test_inner::{closure#1} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/test/src/lib.rs:519:37 [INFO] [stdout] 28: 0x557670683652 - std[77c0456e0eb29f0c]::sys_common::backtrace::__rust_begin_short_backtrace:: [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys_common/backtrace.rs:125:18 [INFO] [stdout] 29: 0x557670683f38 - ::spawn_unchecked::::{closure#0}::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:481:17 [INFO] [stdout] 30: 0x557670683f38 - ::spawn_unchecked::{closure#0}::{closure#0}> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:346:9 [INFO] [stdout] 31: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::do_call::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:401:40 [INFO] [stdout] 32: 0x557670683f38 - std[77c0456e0eb29f0c]::panicking::try::<(), std[77c0456e0eb29f0c]::panic::AssertUnwindSafe<::spawn_unchecked::{closure#0}::{closure#0}>> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panicking.rs:365:19 [INFO] [stdout] 33: 0x557670683f38 - std[77c0456e0eb29f0c]::panic::catch_unwind::::spawn_unchecked::{closure#0}::{closure#0}>, ()> [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/panic.rs:433:14 [INFO] [stdout] 34: 0x557670683f38 - ::spawn_unchecked::::{closure#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/thread/mod.rs:480:30 [INFO] [stdout] 35: 0x557670683f38 - <::spawn_unchecked::{closure#0} as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0} [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/core/src/ops/function.rs:227:5 [INFO] [stdout] 36: 0x55767079c887 - > as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 37: 0x55767079c887 - >> as core[ee1ca6415511a9c4]::ops::function::FnOnce<()>>::call_once [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/alloc/src/boxed.rs:1575:9 [INFO] [stdout] 38: 0x55767079c887 - ::new::thread_start [INFO] [stdout] at /rustc/ce59db7a1b1b012fb2793c4641c1bdecad7a128b/library/std/src/sys/unix/thread.rs:71:17 [INFO] [stdout] 39: 0x7f716bc33609 - start_thread [INFO] [stdout] 40: 0x7f716bebe293 - clone [INFO] [stdout] 41: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] examples::print_time::declare_non_nullary_fun [INFO] [stdout] examples::print_time::test_native [INFO] [stdout] examples::print_time::test_unroll [INFO] [stdout] examples::simple::run [INFO] [stdout] tests::cvc4::scenario_1 [INFO] [stdout] tests::cvc4::set_logic [INFO] [stdout] tests::logic [INFO] [stdout] tests::yices_2::actlits_1 [INFO] [stdout] tests::yices_2::scenario_1 [INFO] [stdout] tests::yices_2::set_logic [INFO] [stdout] tests::z3::actlits_0 [INFO] [stdout] tests::z3::actlits_1 [INFO] [stdout] tests::z3::scenario_1 [INFO] [stdout] tests::z3::set_logic [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 14 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.65s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "7a5ed8e08ade4b227db606bc149c8aa0de8b3485c97f6f73806c123983230817", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "7a5ed8e08ade4b227db606bc149c8aa0de8b3485c97f6f73806c123983230817", kill_on_drop: false }` [INFO] [stdout] 7a5ed8e08ade4b227db606bc149c8aa0de8b3485c97f6f73806c123983230817