[INFO] fetching crate rsmt2 0.11.0-beta.2...
[INFO] testing rsmt2-0.11.0-beta.2 against beta-2020-10-09 for beta-1.48-1
[INFO] extracting crate rsmt2 0.11.0-beta.2 into /workspace/builds/worker-0/source
[INFO] validating manifest of crates.io crate rsmt2 0.11.0-beta.2 on toolchain beta-2020-10-09
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-10-09" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate rsmt2 0.11.0-beta.2
[INFO] finished tweaking crates.io crate rsmt2 0.11.0-beta.2
[INFO] tweaked toml for crates.io crate rsmt2 0.11.0-beta.2 written to /workspace/builds/worker-0/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-10-09" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2020-10-09" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 0e2de18e0451b3949338654fd0e494cb913a04b02b9a936d295dd64d8324d133
[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" "0e2de18e0451b3949338654fd0e494cb913a04b02b9a936d295dd64d8324d133", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "0e2de18e0451b3949338654fd0e494cb913a04b02b9a936d295dd64d8324d133", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0e2de18e0451b3949338654fd0e494cb913a04b02b9a936d295dd64d8324d133", kill_on_drop: false }`
[INFO] [stdout] 0e2de18e0451b3949338654fd0e494cb913a04b02b9a936d295dd64d8324d133
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 4b6e6d7019c3e8b5dff54309204e2c07f2222ddbf4e043281d81e73497044cc4
[INFO] running `Command { std: "docker" "start" "-a" "4b6e6d7019c3e8b5dff54309204e2c07f2222ddbf4e043281d81e73497044cc4", kill_on_drop: false }`
[INFO] [stderr]    Compiling backtrace v0.3.53
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling rsmt2 v0.11.0-beta.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 2.79s
[INFO] running `Command { std: "docker" "inspect" "4b6e6d7019c3e8b5dff54309204e2c07f2222ddbf4e043281d81e73497044cc4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4b6e6d7019c3e8b5dff54309204e2c07f2222ddbf4e043281d81e73497044cc4", kill_on_drop: false }`
[INFO] [stdout] 4b6e6d7019c3e8b5dff54309204e2c07f2222ddbf4e043281d81e73497044cc4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b8a005999d2eff1ad823b41b3deb66a5638f5ee886a6e2f97526fc08ad57b0bf
[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" "b8a005999d2eff1ad823b41b3deb66a5638f5ee886a6e2f97526fc08ad57b0bf", kill_on_drop: false }`
[INFO] [stderr]    Compiling rsmt2 v0.11.0-beta.2 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 4.34s
[INFO] running `Command { std: "docker" "inspect" "b8a005999d2eff1ad823b41b3deb66a5638f5ee886a6e2f97526fc08ad57b0bf", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b8a005999d2eff1ad823b41b3deb66a5638f5ee886a6e2f97526fc08ad57b0bf", kill_on_drop: false }`
[INFO] [stdout] b8a005999d2eff1ad823b41b3deb66a5638f5ee886a6e2f97526fc08ad57b0bf
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2020-10-09" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8b11da078513aa9541f2cb7657d27a576b26c9af5a05919f6aa82d391eff283d
[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" "8b11da078513aa9541f2cb7657d27a576b26c9af5a05919f6aa82d391eff283d", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.24s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/rsmt2-59c4a87620fa09ca
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test example::print_time::test_unroll ... FAILED
[INFO] [stdout] test example::print_time::declare_non_nullary_fun ... FAILED
[INFO] [stdout] test example::simple::run ... FAILED
[INFO] [stdout] test example::print_time::test_native ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- example::print_time::test_unroll stdout ----
[INFO] [stdout] thread 'example::print_time::test_unroll' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(   0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/option.rs:424:21
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25
[INFO] [stdout]    4: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err::{{closure}}
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/result.rs:595:27
[INFO] [stdout]    6: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197:9
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19:11
[INFO] [stdout]   11: rsmt2::example::print_time::test_unroll
[INFO] [stdout]              at src/example/print_time.rs:417:22
[INFO] [stdout]   12: rsmt2::example::print_time::test_unroll::{{closure}}
[INFO] [stdout]              at src/example/print_time.rs:414:1
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   14: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]       test::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516:5
[INFO] [stdout]   15: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543:18
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449:39
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137:18
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464:17
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463:30
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87:17
[INFO] [stdout]   19: start_thread
[INFO] [stdout]   20: clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55bf7fd09430 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55bf7fd09430 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55bf7fd09430 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55bf7fd09430 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h1e0bdbb35e83deca
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:58
[INFO] [stdout]    4:     0x55bf7fd2b8bc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55bf7fbe7836 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55bf7fd0388d - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::he9ebec865e28165c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/impls.rs:179
[INFO] [stdout]    7:     0x55bf7fd0b96d - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55bf7fd0b96d - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55bf7fd0b96d - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55bf7fd0b5c2 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55bf7fd0c051 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55bf7fd0bbf9 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55bf7fd098bc - std::sys_common::backtrace::__rust_end_short_backtrace::hacd691450edfeae0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:153
[INFO] [stdout]   14:     0x55bf7fd0bbb9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55bf7fd0bb6b - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55bf7fbddf5e - rsmt2::example::get_solver::hb1303ce4d266c298
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55bf7fb9f1da - rsmt2::example::print_time::test_unroll::h09ec879b61e9c69b
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:417
[INFO] [stdout]   18:     0x55bf7fb9f17a - rsmt2::example::print_time::test_unroll::{{closure}}::h1d46d9795b0720e6
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:414
[INFO] [stdout]   19:     0x55bf7fbbb68e - core::ops::function::FnOnce::call_once::h2e6ded30a24d2a33
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55bf7fc0e623 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55bf7fc0e623 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55bf7fc0cb28 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h01fd09163cae2442
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   23:     0x55bf7fc0cb28 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0da6b685ae74a04a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   24:     0x55bf7fc0cb28 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55bf7fc0cb28 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55bf7fc0cb28 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55bf7fc0cb28 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55bf7fc0cb28 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55bf7fbe6bb6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hee6d60d5bb466aff
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137
[INFO] [stdout]   30:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55bf7fbebd25 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h330cf727ec126982
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   32:     0x55bf7fbebd25 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55bf7fbebd25 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55bf7fbebd25 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55bf7fbebd25 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::hd4d30e37db281e8f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   38:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h019185a215ba16e4
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   39:     0x55bf7fd1218a - std::sys::unix::thread::Thread::new::thread_start::h33c6d7cf25f9291f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87
[INFO] [stdout]   40:     0x7f87d4249609 - start_thread
[INFO] [stdout]   41:     0x7f87d44d4103 - clone
[INFO] [stdout]   42:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- example::print_time::declare_non_nullary_fun stdout ----
[INFO] [stdout] thread 'example::print_time::declare_non_nullary_fun' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(   0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/option.rs:424:21
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25
[INFO] [stdout]    4: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err::{{closure}}
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/result.rs:595:27
[INFO] [stdout]    6: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197:9
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19:11
[INFO] [stdout]   11: rsmt2::example::print_time::declare_non_nullary_fun
[INFO] [stdout]              at src/example/print_time.rs:310:22
[INFO] [stdout]   12: rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}
[INFO] [stdout]              at src/example/print_time.rs:309:1
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   14: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]       test::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516:5
[INFO] [stdout]   15: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543:18
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449:39
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137:18
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464:17
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463:30
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87:17
[INFO] [stdout]   19: start_thread
[INFO] [stdout]   20: clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55bf7fd09430 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55bf7fd09430 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55bf7fd09430 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55bf7fd09430 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h1e0bdbb35e83deca
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:58
[INFO] [stdout]    4:     0x55bf7fd2b8bc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55bf7fbe7836 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55bf7fd0388d - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::he9ebec865e28165c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/impls.rs:179
[INFO] [stdout]    7:     0x55bf7fd0b96d - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55bf7fd0b96d - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55bf7fd0b96d - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55bf7fd0b5c2 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55bf7fd0c051 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55bf7fd0bbf9 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55bf7fd098bc - std::sys_common::backtrace::__rust_end_short_backtrace::hacd691450edfeae0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:153
[INFO] [stdout]   14:     0x55bf7fd0bbb9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55bf7fd0bb6b - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55bf7fbddf5e - rsmt2::example::get_solver::hb1303ce4d266c298
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55bf7fb9bba1 - rsmt2::example::print_time::declare_non_nullary_fun::h99338104d6cd5996
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:310
[INFO] [stdout]   18:     0x55bf7fb9bb7a - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::h881ad158dc84b784
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:309
[INFO] [stdout]   19:     0x55bf7fbbb65e - core::ops::function::FnOnce::call_once::h1c8b38904354a472
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55bf7fc0e623 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55bf7fc0e623 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55bf7fc0cb28 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h01fd09163cae2442
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   23:     0x55bf7fc0cb28 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0da6b685ae74a04a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   24:     0x55bf7fc0cb28 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55bf7fc0cb28 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55bf7fc0cb28 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55bf7fc0cb28 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55bf7fc0cb28 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55bf7fbe6bb6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hee6d60d5bb466aff
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137
[INFO] [stdout]   30:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55bf7fbebd25 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h330cf727ec126982
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   32:     0x55bf7fbebd25 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55bf7fbebd25 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55bf7fbebd25 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55bf7fbebd25 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::hd4d30e37db281e8f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   38:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h019185a215ba16e4
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   39:     0x55bf7fd1218a - std::sys::unix::thread::Thread::new::thread_start::h33c6d7cf25f9291f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87
[INFO] [stdout]   40:     0x7f87d4249609 - start_thread
[INFO] [stdout]   41:     0x7f87d44d4103 - clone
[INFO] [stdout]   42:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- example::simple::run stdout ----
[INFO] [stdout] thread 'example::simple::run' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(   0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/option.rs:424:21
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25
[INFO] [stdout]    4: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err::{{closure}}
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/result.rs:595:27
[INFO] [stdout]    6: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197:9
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19:11
[INFO] [stdout]   11: rsmt2::example::simple::run
[INFO] [stdout]              at src/example/simple.rs:486:22
[INFO] [stdout]   12: rsmt2::example::simple::run::{{closure}}
[INFO] [stdout]              at src/example/simple.rs:485:1
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   14: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]       test::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516:5
[INFO] [stdout]   15: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543:18
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449:39
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137:18
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464:17
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463:30
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87:17
[INFO] [stdout]   19: start_thread
[INFO] [stdout]   20: clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55bf7fd09430 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55bf7fd09430 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55bf7fd09430 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55bf7fd09430 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h1e0bdbb35e83deca
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:58
[INFO] [stdout]    4:     0x55bf7fd2b8bc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55bf7fbe7836 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55bf7fd0388d - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::he9ebec865e28165c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/impls.rs:179
[INFO] [stdout]    7:     0x55bf7fd0b96d - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55bf7fd0b96d - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55bf7fd0b96d - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55bf7fd0b5c2 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55bf7fd0c051 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55bf7fd0bbf9 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55bf7fd098bc - std::sys_common::backtrace::__rust_end_short_backtrace::hacd691450edfeae0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:153
[INFO] [stdout]   14:     0x55bf7fd0bbb9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55bf7fd0bb6b - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55bf7fbdddde - rsmt2::example::get_solver::h6321bc2fb2c062cb
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55bf7fbd7004 - rsmt2::example::simple::run::h9ca1bccb0413cfa0
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/simple.rs:486
[INFO] [stdout]   18:     0x55bf7fbd6fca - rsmt2::example::simple::run::{{closure}}::h4b23307e959aec66
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/simple.rs:485
[INFO] [stdout]   19:     0x55bf7fbbb71e - core::ops::function::FnOnce::call_once::h9f8db3780aaa3ae0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55bf7fc0e623 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55bf7fc0e623 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55bf7fc0cb28 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h01fd09163cae2442
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   23:     0x55bf7fc0cb28 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0da6b685ae74a04a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   24:     0x55bf7fc0cb28 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55bf7fc0cb28 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55bf7fc0cb28 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55bf7fc0cb28 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55bf7fc0cb28 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55bf7fbe6bb6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hee6d60d5bb466aff
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137
[INFO] [stdout]   30:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55bf7fbebd25 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h330cf727ec126982
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   32:     0x55bf7fbebd25 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55bf7fbebd25 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55bf7fbebd25 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55bf7fbebd25 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::hd4d30e37db281e8f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   38:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h019185a215ba16e4
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   39:     0x55bf7fd1218a - std::sys::unix::thread::Thread::new::thread_start::h33c6d7cf25f9291f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87
[INFO] [stdout]   40:     0x7f87d4249609 - start_thread
[INFO] [stdout]   41:     0x7f87d44d4103 - clone
[INFO] [stdout]   42:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- example::print_time::test_native stdout ----
[INFO] [stdout] thread 'example::print_time::test_native' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(   0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/backtrace.rs:56:48
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/option.rs:424:21
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/lib.rs:696:25
[INFO] [stdout]    4: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err::{{closure}}
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:434:33
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/result.rs:595:27
[INFO] [stdout]    6: <core::result::Result<T,E> as rsmt2::errors::ResExt<T>>::chain_err
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.4/src/error_chain.rs:433:17
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197:9
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19:11
[INFO] [stdout]   11: rsmt2::example::print_time::test_native
[INFO] [stdout]              at src/example/print_time.rs:325:22
[INFO] [stdout]   12: rsmt2::example::print_time::test_native::{{closure}}
[INFO] [stdout]              at src/example/print_time.rs:322:1
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   14: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]       test::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516:5
[INFO] [stdout]   15: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543:18
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449:39
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137:18
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464:17
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308:9
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381:40
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345:19
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382:14
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463:30
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227:5
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042:9
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87:17
[INFO] [stdout]   19: start_thread
[INFO] [stdout]   20: clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55bf7fd09430 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55bf7fd09430 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55bf7fd09430 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55bf7fd09430 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h1e0bdbb35e83deca
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:58
[INFO] [stdout]    4:     0x55bf7fd2b8bc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55bf7fbe7836 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55bf7fd0388d - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::he9ebec865e28165c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/impls.rs:179
[INFO] [stdout]    7:     0x55bf7fd0b96d - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55bf7fd0b96d - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55bf7fd0b96d - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55bf7fd0b5c2 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55bf7fd0c051 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55bf7fd0bbf9 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55bf7fd098bc - std::sys_common::backtrace::__rust_end_short_backtrace::hacd691450edfeae0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:153
[INFO] [stdout]   14:     0x55bf7fd0bbb9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55bf7fd0bb6b - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55bf7fbddf5e - rsmt2::example::get_solver::hb1303ce4d266c298
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55bf7fb9bdfa - rsmt2::example::print_time::test_native::h456a9223ba6257b4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:325
[INFO] [stdout]   18:     0x55bf7fb9bd9a - rsmt2::example::print_time::test_native::{{closure}}::hd12e059b28709aee
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:322
[INFO] [stdout]   19:     0x55bf7fbbb74e - core::ops::function::FnOnce::call_once::hae6e1895499e484a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55bf7fc0e623 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55bf7fc0e623 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55bf7fc0cb28 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h01fd09163cae2442
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   23:     0x55bf7fc0cb28 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h0da6b685ae74a04a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   24:     0x55bf7fc0cb28 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55bf7fc0cb28 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55bf7fc0cb28 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55bf7fc0cb28 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55bf7fc0cb28 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55bf7fbe6bb6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hee6d60d5bb466aff
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:137
[INFO] [stdout]   30:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55bf7fbebd25 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h330cf727ec126982
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:308
[INFO] [stdout]   32:     0x55bf7fbebd25 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55bf7fbebd25 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55bf7fbebd25 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55bf7fbebd25 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55bf7fbebd25 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::hd4d30e37db281e8f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   38:     0x55bf7fd1218a - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h019185a215ba16e4
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/alloc/src/boxed.rs:1042
[INFO] [stdout]   39:     0x55bf7fd1218a - std::sys::unix::thread::Thread::new::thread_start::h33c6d7cf25f9291f
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys/unix/thread.rs:87
[INFO] [stdout]   40:     0x7f87d4249609 - start_thread
[INFO] [stdout]   41:     0x7f87d44d4103 - clone
[INFO] [stdout]   42:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     example::print_time::declare_non_nullary_fun
[INFO] [stdout]     example::print_time::test_native
[INFO] [stdout]     example::print_time::test_unroll
[INFO] [stdout]     example::simple::run
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass '--lib'
[INFO] running `Command { std: "docker" "inspect" "8b11da078513aa9541f2cb7657d27a576b26c9af5a05919f6aa82d391eff283d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b11da078513aa9541f2cb7657d27a576b26c9af5a05919f6aa82d391eff283d", kill_on_drop: false }`
[INFO] [stdout] 8b11da078513aa9541f2cb7657d27a576b26c9af5a05919f6aa82d391eff283d
