[INFO] cloning repository https://github.com/kino-mc/rsmt2
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/kino-mc/rsmt2" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4a20373261dd9764ac47a083a5ee6522e260ef01
[INFO] testing kino-mc/rsmt2 against beta-2020-10-09 for beta-1.48-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2" "/workspace/builds/worker-1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/kino-mc/rsmt2 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 git repo https://github.com/kino-mc/rsmt2
[INFO] removed 0 missing examples
[INFO] finished tweaking git repo https://github.com/kino-mc/rsmt2
[INFO] tweaked toml for git repo https://github.com/kino-mc/rsmt2 written to /workspace/builds/worker-1/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-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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] 329e20a6259234841c982e17ed9606f6e8a61592c83a2003ae25fc59b1f32e69
[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" "329e20a6259234841c982e17ed9606f6e8a61592c83a2003ae25fc59b1f32e69", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "329e20a6259234841c982e17ed9606f6e8a61592c83a2003ae25fc59b1f32e69", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "329e20a6259234841c982e17ed9606f6e8a61592c83a2003ae25fc59b1f32e69", kill_on_drop: false }`
[INFO] [stdout] 329e20a6259234841c982e17ed9606f6e8a61592c83a2003ae25fc59b1f32e69
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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] [stdout] 0ea2d592287dd139d9c083afb2ace7a3fa2f000a623a79c3b7b91c13b81e9e86
[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" "0ea2d592287dd139d9c083afb2ace7a3fa2f000a623a79c3b7b91c13b81e9e86", kill_on_drop: false }`
[INFO] [stderr]    Compiling autocfg v1.0.1
[INFO] [stderr]    Compiling libc v0.2.79
[INFO] [stderr]    Compiling adler v0.2.3
[INFO] [stderr]    Compiling gimli v0.22.0
[INFO] [stderr]    Compiling version_check v0.9.2
[INFO] [stderr]    Compiling rustc-demangle v0.1.17
[INFO] [stderr]    Compiling object v0.21.1
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling error-chain v0.12.4
[INFO] [stderr]    Compiling miniz_oxide v0.4.3
[INFO] [stderr]    Compiling addr2line v0.13.0
[INFO] [stderr]    Compiling backtrace v0.3.53
[INFO] [stderr]    Compiling rsmt2 v0.11.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 9.31s
[INFO] running `Command { std: "docker" "inspect" "0ea2d592287dd139d9c083afb2ace7a3fa2f000a623a79c3b7b91c13b81e9e86", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "0ea2d592287dd139d9c083afb2ace7a3fa2f000a623a79c3b7b91c13b81e9e86", kill_on_drop: false }`
[INFO] [stdout] 0ea2d592287dd139d9c083afb2ace7a3fa2f000a623a79c3b7b91c13b81e9e86
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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] ea5f666d9d281d6e431fe95a7cc0a329a263d75bf493a4563a7a0d8d8f533c25
[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" "ea5f666d9d281d6e431fe95a7cc0a329a263d75bf493a4563a7a0d8d8f533c25", kill_on_drop: false }`
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling strsim v0.8.0
[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.11.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 16.32s
[INFO] running `Command { std: "docker" "inspect" "ea5f666d9d281d6e431fe95a7cc0a329a263d75bf493a4563a7a0d8d8f533c25", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ea5f666d9d281d6e431fe95a7cc0a329a263d75bf493a4563a7a0d8d8f533c25", kill_on_drop: false }`
[INFO] [stdout] ea5f666d9d281d6e431fe95a7cc0a329a263d75bf493a4563a7a0d8d8f533c25
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1/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] 5f77efcb1fde3056d4b0a324a646b33a112e6f7c3fcef78ce0081036f7093c05
[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" "5f77efcb1fde3056d4b0a324a646b33a112e6f7c3fcef78ce0081036f7093c05", kill_on_drop: false }`
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.09s
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/rsmt2-581107da5a10fab9
[INFO] [stdout] test example::print_time::test_native ... FAILED
[INFO] [stdout] test example::print_time::declare_non_nullary_fun ... FAILED
[INFO] [stderr] error: test failed, to rerun pass '--lib'
[INFO] [stdout] test example::print_time::test_unroll ... FAILED
[INFO] [stdout] test example::simple::run ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[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:138:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:182:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default_z3
[INFO] [stdout]              at src/solver.rs:229: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:     0x55fceb690c70 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55fceb690c70 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55fceb690c70 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55fceb690c70 - <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:     0x55fceb6b30fc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55fceb56f076 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55fceb68b0cd - 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:     0x55fceb6931ad - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55fceb6931ad - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55fceb6931ad - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55fceb692e02 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55fceb693891 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55fceb693439 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55fceb6910fc - 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:     0x55fceb6933f9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55fceb6933ab - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55fceb56574e - rsmt2::example::get_solver::h766a50b37db16769
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55fceb523dfa - rsmt2::example::print_time::test_native::hcbec68ff54f23534
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:325
[INFO] [stdout]   18:     0x55fceb523d9a - rsmt2::example::print_time::test_native::{{closure}}::h2ff453cc493154e7
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:322
[INFO] [stdout]   19:     0x55fceb542eae - core::ops::function::FnOnce::call_once::h3d01a911b97d1bc6
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55fceb595e63 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55fceb595e63 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55fceb594368 - <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:     0x55fceb594368 - <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:     0x55fceb594368 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55fceb594368 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55fceb594368 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55fceb594368 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55fceb594368 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55fceb56e3f6 - 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:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55fceb573565 - <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:     0x55fceb573565 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55fceb573565 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55fceb573565 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55fceb573565 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55fceb6999ca - <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:     0x55fceb6999ca - <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:     0x55fceb6999ca - 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:     0x7f2c7c95a609 - start_thread
[INFO] [stdout]   41:     0x7f2c7cbe5103 - 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:138:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:182:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default_z3
[INFO] [stdout]              at src/solver.rs:229: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:     0x55fceb690c70 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55fceb690c70 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55fceb690c70 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55fceb690c70 - <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:     0x55fceb6b30fc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55fceb56f076 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55fceb68b0cd - 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:     0x55fceb6931ad - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55fceb6931ad - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55fceb6931ad - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55fceb692e02 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55fceb693891 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55fceb693439 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55fceb6910fc - 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:     0x55fceb6933f9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55fceb6933ab - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55fceb56574e - rsmt2::example::get_solver::h766a50b37db16769
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55fceb523ba1 - rsmt2::example::print_time::declare_non_nullary_fun::h17156d6f7c055c4c
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:310
[INFO] [stdout]   18:     0x55fceb523b7a - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::h9b04489052f51cca
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:309
[INFO] [stdout]   19:     0x55fceb542e2e - core::ops::function::FnOnce::call_once::h1c852a7516d8bde9
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55fceb595e63 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55fceb595e63 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55fceb594368 - <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:     0x55fceb594368 - <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:     0x55fceb594368 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55fceb594368 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55fceb594368 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55fceb594368 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55fceb594368 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55fceb56e3f6 - 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:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55fceb573565 - <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:     0x55fceb573565 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55fceb573565 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55fceb573565 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55fceb573565 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55fceb6999ca - <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:     0x55fceb6999ca - <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:     0x55fceb6999ca - 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:     0x7f2c7c95a609 - start_thread
[INFO] [stdout]   41:     0x7f2c7cbe5103 - clone
[INFO] [stdout]   42:                0x0 - <unknown>
[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:138:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:182:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default_z3
[INFO] [stdout]              at src/solver.rs:229: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:     0x55fceb690c70 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55fceb690c70 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55fceb690c70 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55fceb690c70 - <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:     0x55fceb6b30fc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55fceb56f076 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55fceb68b0cd - 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:     0x55fceb6931ad - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55fceb6931ad - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55fceb6931ad - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55fceb692e02 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55fceb693891 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55fceb693439 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55fceb6910fc - 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:     0x55fceb6933f9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55fceb6933ab - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55fceb56574e - rsmt2::example::get_solver::h766a50b37db16769
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55fceb5271da - rsmt2::example::print_time::test_unroll::h0e7c6dbb474610f1
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:417
[INFO] [stdout]   18:     0x55fceb52717a - rsmt2::example::print_time::test_unroll::{{closure}}::h756c59966b21c35f
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/print_time.rs:414
[INFO] [stdout]   19:     0x55fceb542ede - core::ops::function::FnOnce::call_once::h8b79581eb64931d5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55fceb595e63 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55fceb595e63 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55fceb594368 - <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:     0x55fceb594368 - <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:     0x55fceb594368 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55fceb594368 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55fceb594368 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55fceb594368 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55fceb594368 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55fceb56e3f6 - 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:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55fceb573565 - <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:     0x55fceb573565 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55fceb573565 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55fceb573565 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55fceb573565 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55fceb6999ca - <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:     0x55fceb6999ca - <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:     0x55fceb6999ca - 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:     0x7f2c7c95a609 - start_thread
[INFO] [stdout]   41:     0x7f2c7cbe5103 - 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:138:23
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:182:36
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default_z3
[INFO] [stdout]              at src/solver.rs:229: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:     0x55fceb690c70 - std::backtrace_rs::backtrace::libunwind::trace::h7cf3ca97bd83fbab
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/libunwind.rs:96
[INFO] [stdout]    1:     0x55fceb690c70 - std::backtrace_rs::backtrace::trace_unsynchronized::h5a69c674b2d9ea5c
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/../../backtrace/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55fceb690c70 - std::sys_common::backtrace::_print_fmt::hdf72478dfcb50678
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:79
[INFO] [stdout]    3:     0x55fceb690c70 - <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:     0x55fceb6b30fc - core::fmt::write::he67f9b17bcb7ee73
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/fmt/mod.rs:1080
[INFO] [stdout]    5:     0x55fceb56f076 - std::io::Write::write_fmt::h68b2e5fe4c78e61a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/io/mod.rs:1516
[INFO] [stdout]    6:     0x55fceb68b0cd - 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:     0x55fceb6931ad - std::sys_common::backtrace::_print::haa20918e28a126c5
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:61
[INFO] [stdout]    8:     0x55fceb6931ad - std::sys_common::backtrace::print::h49e772a4873d9076
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/sys_common/backtrace.rs:48
[INFO] [stdout]    9:     0x55fceb6931ad - std::panicking::default_hook::{{closure}}::hb218b305d15e3f11
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:208
[INFO] [stdout]   10:     0x55fceb692e02 - std::panicking::default_hook::h63997b7b949e1ce0
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:224
[INFO] [stdout]   11:     0x55fceb693891 - std::panicking::rust_panic_with_hook::hb54f09ccadf64bd3
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:577
[INFO] [stdout]   12:     0x55fceb693439 - std::panicking::begin_panic_handler::{{closure}}::h8b43445b254eeb30
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:484
[INFO] [stdout]   13:     0x55fceb6910fc - 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:     0x55fceb6933f9 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:483
[INFO] [stdout]   15:     0x55fceb6933ab - std::panicking::begin_panic_fmt::hef75366dd3a9de61
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:437
[INFO] [stdout]   16:     0x55fceb5655ce - rsmt2::example::get_solver::h5240d687227ba6d5
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/mod.rs:21
[INFO] [stdout]   17:     0x55fceb55e7f4 - rsmt2::example::simple::run::h682b3229c06c5068
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/simple.rs:486
[INFO] [stdout]   18:     0x55fceb55e7ba - rsmt2::example::simple::run::{{closure}}::h3871c2da1ddd20c3
[INFO] [stdout]                                at /opt/rustwide/workdir/src/example/simple.rs:485
[INFO] [stdout]   19:     0x55fceb542f5e - core::ops::function::FnOnce::call_once::hca35065e662353ea
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   20:     0x55fceb595e63 - core::ops::function::FnOnce::call_once::hcd3fa2f0696c1015
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   21:     0x55fceb595e63 - test::__rust_begin_short_backtrace::h113f97c5e5ab7d4a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:516
[INFO] [stdout]   22:     0x55fceb594368 - <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:     0x55fceb594368 - <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:     0x55fceb594368 - std::panicking::try::do_call::h564a32f132f2c264
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   25:     0x55fceb594368 - std::panicking::try::h477cfd4b06a2e64a
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   26:     0x55fceb594368 - std::panic::catch_unwind::hdb5abc6d008c399d
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   27:     0x55fceb594368 - test::run_test_in_process::he8ff7dec91b275be
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:543
[INFO] [stdout]   28:     0x55fceb594368 - test::run_test::run_test_inner::{{closure}}::hfd9f49e4a4ff9162
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/test/src/lib.rs:449
[INFO] [stdout]   29:     0x55fceb56e3f6 - 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:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h988cecdf9ebbaf00
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:464
[INFO] [stdout]   31:     0x55fceb573565 - <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:     0x55fceb573565 - std::panicking::try::do_call::h6cd25078f4a5ea13
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:381
[INFO] [stdout]   33:     0x55fceb573565 - std::panicking::try::h84b1d49961301705
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panicking.rs:345
[INFO] [stdout]   34:     0x55fceb573565 - std::panic::catch_unwind::h6145324593b3654b
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/panic.rs:382
[INFO] [stdout]   35:     0x55fceb573565 - std::thread::Builder::spawn_unchecked::{{closure}}::ha41e72e8024f9192
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/std/src/thread/mod.rs:463
[INFO] [stdout]   36:     0x55fceb573565 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hfb5034cf1f1be223
[INFO] [stdout]                                at /rustc/212e76c31d461462544b5d516d3bdc99fc8f016e/library/core/src/ops/function.rs:227
[INFO] [stdout]   37:     0x55fceb6999ca - <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:     0x55fceb6999ca - <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:     0x55fceb6999ca - 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:     0x7f2c7c95a609 - start_thread
[INFO] [stdout]   41:     0x7f2c7cbe5103 - 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] running `Command { std: "docker" "inspect" "5f77efcb1fde3056d4b0a324a646b33a112e6f7c3fcef78ce0081036f7093c05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5f77efcb1fde3056d4b0a324a646b33a112e6f7c3fcef78ce0081036f7093c05", kill_on_drop: false }`
[INFO] [stdout] 5f77efcb1fde3056d4b0a324a646b33a112e6f7c3fcef78ce0081036f7093c05
