[INFO] updating cached repository https://github.com/kino-mc/rsmt2
[INFO] running `"git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "-c" "remote.origin.fetch=refs/heads/*:refs/heads/*" "fetch" "origin" "--force" "--prune"`
[INFO] running `"git" "rev-parse" "HEAD"`
[INFO] [stdout] 97d99a43e9a87fb0079b94ee1beb4a367b53ed1b
[INFO] testing kino-mc/rsmt2 against master#28742a1146f10a4f09369baad027a464acb7a766 for pr-71274
[INFO] running `"git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkino-mc%2Frsmt2" "/workspace/builds/worker-1/source"`
[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 28742a1146f10a4f09369baad027a464acb7a766
[INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "read-manifest" "--manifest-path" "Cargo.toml"`
[INFO] started tweaking git repo https://github.com/kino-mc/rsmt2
[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] crate git repo https://github.com/kino-mc/rsmt2 already has a lockfile, it will not be regenerated
[INFO] running `"/workspace/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "fetch" "--locked" "--manifest-path" "Cargo.toml"`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `"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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "build" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] e7acbf4d31ee93d8fa9374e7c14e60fc3e2353a0cf661ba5822802292e056c5a
[INFO] running `"docker" "start" "-a" "e7acbf4d31ee93d8fa9374e7c14e60fc3e2353a0cf661ba5822802292e056c5a"`
[INFO] [stderr]    Compiling libc v0.2.66
[INFO] [stderr]    Compiling cc v1.0.48
[INFO] [stderr]    Compiling version_check v0.1.5
[INFO] [stderr]    Compiling rustc-demangle v0.1.16
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling error-chain v0.12.1
[INFO] [stderr]    Compiling backtrace-sys v0.1.32
[INFO] [stderr]    Compiling backtrace v0.3.40
[INFO] [stderr]    Compiling rsmt2 v0.11.0-beta.2 (/opt/rustwide/workdir)
[INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string()
[INFO] [stderr]    --> src/lib.rs:347:5
[INFO] [stderr]     |
[INFO] [stderr] 347 | /     error_chain! {
[INFO] [stderr] 348 | |         types {
[INFO] [stderr] 349 | |             Error, ErrorKind, ResExt, SmtRes;
[INFO] [stderr] 350 | |         }
[INFO] [stderr] ...   |
[INFO] [stderr] 389 | |         }
[INFO] [stderr] 390 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 13.75s
[INFO] running `"docker" "inspect" "e7acbf4d31ee93d8fa9374e7c14e60fc3e2353a0cf661ba5822802292e056c5a"`
[INFO] running `"docker" "rm" "-f" "e7acbf4d31ee93d8fa9374e7c14e60fc3e2353a0cf661ba5822802292e056c5a"`
[INFO] [stdout] e7acbf4d31ee93d8fa9374e7c14e60fc3e2353a0cf661ba5822802292e056c5a
[INFO] running `"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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "test" "--frozen" "--no-run"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] ae93558a5b98756b3d77be664f0b2f9cd7090df6ecb4a636f1fad00546404ed8
[INFO] running `"docker" "start" "-a" "ae93558a5b98756b3d77be664f0b2f9cd7090df6ecb4a636f1fad00546404ed8"`
[INFO] [stderr]    Compiling rsmt2 v0.11.0-beta.2 (/opt/rustwide/workdir)
[INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string()
[INFO] [stderr]    --> src/lib.rs:347:5
[INFO] [stderr]     |
[INFO] [stderr] 347 | /     error_chain! {
[INFO] [stderr] 348 | |         types {
[INFO] [stderr] 349 | |             Error, ErrorKind, ResExt, SmtRes;
[INFO] [stderr] 350 | |         }
[INFO] [stderr] ...   |
[INFO] [stderr] 389 | |         }
[INFO] [stderr] 390 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string()
[INFO] [stderr]    --> src/lib.rs:347:5
[INFO] [stderr]     |
[INFO] [stderr] 347 | /     error_chain! {
[INFO] [stderr] 348 | |         types {
[INFO] [stderr] 349 | |             Error, ErrorKind, ResExt, SmtRes;
[INFO] [stderr] 350 | |         }
[INFO] [stderr] ...   |
[INFO] [stderr] 389 | |         }
[INFO] [stderr] 390 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 5.92s
[INFO] running `"docker" "inspect" "ae93558a5b98756b3d77be664f0b2f9cd7090df6ecb4a636f1fad00546404ed8"`
[INFO] running `"docker" "rm" "-f" "ae93558a5b98756b3d77be664f0b2f9cd7090df6ecb4a636f1fad00546404ed8"`
[INFO] [stdout] ae93558a5b98756b3d77be664f0b2f9cd7090df6ecb4a636f1fad00546404ed8
[INFO] running `"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" "MAP_USER_ID=0" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--network" "none" "rustops/crates-build-env" "/opt/rustwide/cargo-home/bin/cargo" "+28742a1146f10a4f09369baad027a464acb7a766" "test" "--frozen"`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] 06fdeeee08389aeb441bfbb0b847929cc16dbc58a52f2488d0e2319a90cf4ddb
[INFO] running `"docker" "start" "-a" "06fdeeee08389aeb441bfbb0b847929cc16dbc58a52f2488d0e2319a90cf4ddb"`
[INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string()
[INFO] [stderr]    --> src/lib.rs:347:5
[INFO] [stderr]     |
[INFO] [stderr] 347 | /     error_chain! {
[INFO] [stderr] 348 | |         types {
[INFO] [stderr] 349 | |             Error, ErrorKind, ResExt, SmtRes;
[INFO] [stderr] 350 | |         }
[INFO] [stderr] ...   |
[INFO] [stderr] 389 | |         }
[INFO] [stderr] 390 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr] warning: use of deprecated item 'std::error::Error::description': use the Display impl or to_string()
[INFO] [stderr]    --> src/lib.rs:347:5
[INFO] [stderr]     |
[INFO] [stderr] 347 | /     error_chain! {
[INFO] [stderr] 348 | |         types {
[INFO] [stderr] 349 | |             Error, ErrorKind, ResExt, SmtRes;
[INFO] [stderr] 350 | |         }
[INFO] [stderr] ...   |
[INFO] [stderr] 389 | |         }
[INFO] [stderr] 390 | |     }
[INFO] [stderr]     | |_____^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(deprecated)]` on by default
[INFO] [stderr]     = note: this warning originates in a macro (in Nightly builds, run with -Z macro-backtrace for more info)
[INFO] [stderr] 
[INFO] [stderr] warning: 1 warning emitted
[INFO] [stderr] 
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.16s
[INFO] [stderr]      Running /opt/rustwide/target/debug/deps/rsmt2-7160c82d91293776
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test example::print_time::test_native ... 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_unroll ... 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(stack backtrace:
[INFO] [stdout]    0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/option.rs:428
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679
[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.1/src/error_chain.rs:389
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/result.rs:612
[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.1/src/error_chain.rs:388
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19
[INFO] [stdout]   11: rsmt2::example::print_time::test_native
[INFO] [stdout]              at src/example/print_time.rs:325
[INFO] [stdout]   12: rsmt2::example::print_time::test_native::{{closure}}
[INFO] [stdout]              at src/example/print_time.rs:322
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   14: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   15: <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at src/libtest/lib.rs:541
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at src/libtest/lib.rs:450
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   20: start_thread
[INFO] [stdout]   21: __clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55d9f58ecc94 - backtrace::backtrace::libunwind::trace::hbb4ce8c04526962e
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
[INFO] [stdout]    1:     0x55d9f58ecc94 - backtrace::backtrace::trace_unsynchronized::h79251c088e7be038
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55d9f58ecc94 - std::sys_common::backtrace::_print_fmt::h6b0ea30a9223acae
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:78
[INFO] [stdout]    3:     0x55d9f58ecc94 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h4d51ef07ce58e54b
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:59
[INFO] [stdout]    4:     0x55d9f5915c9c - core::fmt::write::he16b9c1345d8565e
[INFO] [stdout]                                at src/libcore/fmt/mod.rs:1069
[INFO] [stdout]    5:     0x55d9f5868f05 - std::io::Write::write_fmt::hc31efe493f037457
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/io/mod.rs:1504
[INFO] [stdout]    6:     0x55d9f58e6f31 - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::hfcb1ff6c5b834381
[INFO] [stdout]                                at src/libstd/io/impls.rs:156
[INFO] [stdout]    7:     0x55d9f58ef565 - std::sys_common::backtrace::_print::h9288fa7d9f6629cb
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:62
[INFO] [stdout]    8:     0x55d9f58ef565 - std::sys_common::backtrace::print::h82e606e62781d8af
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:49
[INFO] [stdout]    9:     0x55d9f58ef565 - std::panicking::default_hook::{{closure}}::h1fe350ecbf7604e4
[INFO] [stdout]                                at src/libstd/panicking.rs:198
[INFO] [stdout]   10:     0x55d9f58ef24b - std::panicking::default_hook::h1b8b42953fdc841d
[INFO] [stdout]                                at src/libstd/panicking.rs:215
[INFO] [stdout]   11:     0x55d9f58efbc2 - std::panicking::rust_panic_with_hook::he73826f4bb75a21e
[INFO] [stdout]                                at src/libstd/panicking.rs:511
[INFO] [stdout]   12:     0x55d9f58ef7ab - rust_begin_unwind
[INFO] [stdout]                                at src/libstd/panicking.rs:419
[INFO] [stdout]   13:     0x55d9f58ef71b - std::panicking::begin_panic_fmt::hf14ab99546f1bbc1
[INFO] [stdout]                                at src/libstd/panicking.rs:373
[INFO] [stdout]   14:     0x55d9f58617ae - rsmt2::example::get_solver::h1e8643e3b18826fa
[INFO] [stdout]                                at src/example/mod.rs:21
[INFO] [stdout]   15:     0x55d9f581698a - rsmt2::example::print_time::test_native::h45f3e7c8ad579612
[INFO] [stdout]                                at src/example/print_time.rs:325
[INFO] [stdout]   16:     0x55d9f581692a - rsmt2::example::print_time::test_native::{{closure}}::hdbf785377a5ccb1e
[INFO] [stdout]                                at src/example/print_time.rs:322
[INFO] [stdout]   17:     0x55d9f583781e - core::ops::function::FnOnce::call_once::h44881a0ae3728b52
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18:     0x55d9f5874dff - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::he1ba1da20629a2d8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19:     0x55d9f58903fe - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf94927858761de4a
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   20:     0x55d9f58903fe - std::panicking::try::do_call::h1585003392664d93
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   21:     0x55d9f58903fe - std::panicking::try::h43d950f958a74468
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   22:     0x55d9f58903fe - std::panic::catch_unwind::hb5284de2977ddeea
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   23:     0x55d9f58903fe - test::run_test_in_process::had39bb305b26a3ae
[INFO] [stdout]                                at src/libtest/lib.rs:541
[INFO] [stdout]   24:     0x55d9f58903fe - test::run_test::run_test_inner::{{closure}}::h12b1756b854ada1a
[INFO] [stdout]                                at src/libtest/lib.rs:450
[INFO] [stdout]   25:     0x55d9f58683b6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hec04b80bece92bf9
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   26:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::heca431434c1ac418
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]   27:     0x55d9f586d6d5 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he2457d582c032747
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   28:     0x55d9f586d6d5 - std::panicking::try::do_call::hbcd49dc3823e8b28
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   29:     0x55d9f586d6d5 - std::panicking::try::h1ba95c07dd8d422b
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   30:     0x55d9f586d6d5 - std::panic::catch_unwind::h95854794ba9eee4c
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   31:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::h4e297b8574092d6e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]   32:     0x55d9f586d6d5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1b855aad7f5ac67e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   33:     0x55d9f58e2f3f - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h48069b269ca48108
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   34:     0x55d9f58f64d3 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::heff660b32cd3afd8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   35:     0x55d9f58f64d3 - std::sys::unix::thread::Thread::new::thread_start::ha538939ed1e2e958
[INFO] [stdout]                                at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   36:     0x7f7ad2b106db - start_thread
[INFO] [stdout]   37:     0x7f7ad31e788f - __clone
[INFO] [stdout]   38:                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(stack backtrace:
[INFO] [stdout]    0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/option.rs:428
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679
[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.1/src/error_chain.rs:389
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/result.rs:612
[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.1/src/error_chain.rs:388
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19
[INFO] [stdout]   11: rsmt2::example::print_time::declare_non_nullary_fun
[INFO] [stdout]              at src/example/print_time.rs:310
[INFO] [stdout]   12: rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}
[INFO] [stdout]              at src/example/print_time.rs:309
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   14: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   15: <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at src/libtest/lib.rs:541
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at src/libtest/lib.rs:450
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   20: start_thread
[INFO] [stdout]   21: __clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55d9f58ecc94 - backtrace::backtrace::libunwind::trace::hbb4ce8c04526962e
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
[INFO] [stdout]    1:     0x55d9f58ecc94 - backtrace::backtrace::trace_unsynchronized::h79251c088e7be038
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55d9f58ecc94 - std::sys_common::backtrace::_print_fmt::h6b0ea30a9223acae
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:78
[INFO] [stdout]    3:     0x55d9f58ecc94 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h4d51ef07ce58e54b
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:59
[INFO] [stdout]    4:     0x55d9f5915c9c - core::fmt::write::he16b9c1345d8565e
[INFO] [stdout]                                at src/libcore/fmt/mod.rs:1069
[INFO] [stdout]    5:     0x55d9f5868f05 - std::io::Write::write_fmt::hc31efe493f037457
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/io/mod.rs:1504
[INFO] [stdout]    6:     0x55d9f58e6f31 - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::hfcb1ff6c5b834381
[INFO] [stdout]                                at src/libstd/io/impls.rs:156
[INFO] [stdout]    7:     0x55d9f58ef565 - std::sys_common::backtrace::_print::h9288fa7d9f6629cb
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:62
[INFO] [stdout]    8:     0x55d9f58ef565 - std::sys_common::backtrace::print::h82e606e62781d8af
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:49
[INFO] [stdout]    9:     0x55d9f58ef565 - std::panicking::default_hook::{{closure}}::h1fe350ecbf7604e4
[INFO] [stdout]                                at src/libstd/panicking.rs:198
[INFO] [stdout]   10:     0x55d9f58ef24b - std::panicking::default_hook::h1b8b42953fdc841d
[INFO] [stdout]                                at src/libstd/panicking.rs:215
[INFO] [stdout]   11:     0x55d9f58efbc2 - std::panicking::rust_panic_with_hook::he73826f4bb75a21e
[INFO] [stdout]                                at src/libstd/panicking.rs:511
[INFO] [stdout]   12:     0x55d9f58ef7ab - rust_begin_unwind
[INFO] [stdout]                                at src/libstd/panicking.rs:419
[INFO] [stdout]   13:     0x55d9f58ef71b - std::panicking::begin_panic_fmt::hf14ab99546f1bbc1
[INFO] [stdout]                                at src/libstd/panicking.rs:373
[INFO] [stdout]   14:     0x55d9f58617ae - rsmt2::example::get_solver::h1e8643e3b18826fa
[INFO] [stdout]                                at src/example/mod.rs:21
[INFO] [stdout]   15:     0x55d9f5816711 - rsmt2::example::print_time::declare_non_nullary_fun::hf015c299978a02f5
[INFO] [stdout]                                at src/example/print_time.rs:310
[INFO] [stdout]   16:     0x55d9f58166ea - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::h6f9cf3d5fa46edf2
[INFO] [stdout]                                at src/example/print_time.rs:309
[INFO] [stdout]   17:     0x55d9f583786e - core::ops::function::FnOnce::call_once::h74cf5983487bb790
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18:     0x55d9f5874dff - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::he1ba1da20629a2d8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19:     0x55d9f58903fe - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf94927858761de4a
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   20:     0x55d9f58903fe - std::panicking::try::do_call::h1585003392664d93
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   21:     0x55d9f58903fe - std::panicking::try::h43d950f958a74468
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   22:     0x55d9f58903fe - std::panic::catch_unwind::hb5284de2977ddeea
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   23:     0x55d9f58903fe - test::run_test_in_process::had39bb305b26a3ae
[INFO] [stdout]                                at src/libtest/lib.rs:541
[INFO] [stdout]   24:     0x55d9f58903fe - test::run_test::run_test_inner::{{closure}}::h12b1756b854ada1a
[INFO] [stdout]                                at src/libtest/lib.rs:450
[INFO] [stdout]   25:     0x55d9f58683b6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hec04b80bece92bf9
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   26:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::heca431434c1ac418
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]   27:     0x55d9f586d6d5 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he2457d582c032747
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   28:     0x55d9f586d6d5 - std::panicking::try::do_call::hbcd49dc3823e8b28
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   29:     0x55d9f586d6d5 - std::panicking::try::h1ba95c07dd8d422b
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   30:     0x55d9f586d6d5 - std::panic::catch_unwind::h95854794ba9eee4c
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   31:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::h4e297b8574092d6e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]   32:     0x55d9f586d6d5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1b855aad7f5ac67e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   33:     0x55d9f58e2f3f - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h48069b269ca48108
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   34:     0x55d9f58f64d3 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::heff660b32cd3afd8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   35:     0x55d9f58f64d3 - std::sys::unix::thread::Thread::new::thread_start::ha538939ed1e2e958
[INFO] [stdout]                                at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   36:     0x7f7ad2b106db - start_thread
[INFO] [stdout]   37:     0x7f7ad31e788f - __clone
[INFO] [stdout]   38:                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(stack backtrace:
[INFO] [stdout]    0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/option.rs:428
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679
[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.1/src/error_chain.rs:389
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/result.rs:612
[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.1/src/error_chain.rs:388
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19
[INFO] [stdout]   11: rsmt2::example::simple::run
[INFO] [stdout]              at src/example/simple.rs:486
[INFO] [stdout]   12: rsmt2::example::simple::run::{{closure}}
[INFO] [stdout]              at src/example/simple.rs:485
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   14: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   15: <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at src/libtest/lib.rs:541
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at src/libtest/lib.rs:450
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   20: start_thread
[INFO] [stdout]   21: __clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55d9f58ecc94 - backtrace::backtrace::libunwind::trace::hbb4ce8c04526962e
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
[INFO] [stdout]    1:     0x55d9f58ecc94 - backtrace::backtrace::trace_unsynchronized::h79251c088e7be038
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55d9f58ecc94 - std::sys_common::backtrace::_print_fmt::h6b0ea30a9223acae
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:78
[INFO] [stdout]    3:     0x55d9f58ecc94 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h4d51ef07ce58e54b
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:59
[INFO] [stdout]    4:     0x55d9f5915c9c - core::fmt::write::he16b9c1345d8565e
[INFO] [stdout]                                at src/libcore/fmt/mod.rs:1069
[INFO] [stdout]    5:     0x55d9f5868f05 - std::io::Write::write_fmt::hc31efe493f037457
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/io/mod.rs:1504
[INFO] [stdout]    6:     0x55d9f58e6f31 - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::hfcb1ff6c5b834381
[INFO] [stdout]                                at src/libstd/io/impls.rs:156
[INFO] [stdout]    7:     0x55d9f58ef565 - std::sys_common::backtrace::_print::h9288fa7d9f6629cb
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:62
[INFO] [stdout]    8:     0x55d9f58ef565 - std::sys_common::backtrace::print::h82e606e62781d8af
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:49
[INFO] [stdout]    9:     0x55d9f58ef565 - std::panicking::default_hook::{{closure}}::h1fe350ecbf7604e4
[INFO] [stdout]                                at src/libstd/panicking.rs:198
[INFO] [stdout]   10:     0x55d9f58ef24b - std::panicking::default_hook::h1b8b42953fdc841d
[INFO] [stdout]                                at src/libstd/panicking.rs:215
[INFO] [stdout]   11:     0x55d9f58efbc2 - std::panicking::rust_panic_with_hook::he73826f4bb75a21e
[INFO] [stdout]                                at src/libstd/panicking.rs:511
[INFO] [stdout]   12:     0x55d9f58ef7ab - rust_begin_unwind
[INFO] [stdout]                                at src/libstd/panicking.rs:419
[INFO] [stdout]   13:     0x55d9f58ef71b - std::panicking::begin_panic_fmt::hf14ab99546f1bbc1
[INFO] [stdout]                                at src/libstd/panicking.rs:373
[INFO] [stdout]   14:     0x55d9f58615ee - rsmt2::example::get_solver::h143e5907dbccc9a8
[INFO] [stdout]                                at src/example/mod.rs:21
[INFO] [stdout]   15:     0x55d9f585a714 - rsmt2::example::simple::run::h4743aa196e60cef4
[INFO] [stdout]                                at src/example/simple.rs:486
[INFO] [stdout]   16:     0x55d9f585a6da - rsmt2::example::simple::run::{{closure}}::hc1e3bae97e558978
[INFO] [stdout]                                at src/example/simple.rs:485
[INFO] [stdout]   17:     0x55d9f58378de - core::ops::function::FnOnce::call_once::ha893d1d94d19533b
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18:     0x55d9f5874dff - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::he1ba1da20629a2d8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19:     0x55d9f58903fe - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf94927858761de4a
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   20:     0x55d9f58903fe - std::panicking::try::do_call::h1585003392664d93
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   21:     0x55d9f58903fe - std::panicking::try::h43d950f958a74468
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   22:     0x55d9f58903fe - std::panic::catch_unwind::hb5284de2977ddeea
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   23:     0x55d9f58903fe - test::run_test_in_process::had39bb305b26a3ae
[INFO] [stdout]                                at src/libtest/lib.rs:541
[INFO] [stdout]   24:     0x55d9f58903fe - test::run_test::run_test_inner::{{closure}}::h12b1756b854ada1a
[INFO] [stdout]                                at src/libtest/lib.rs:450
[INFO] [stdout]   25:     0x55d9f58683b6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hec04b80bece92bf9
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   26:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::heca431434c1ac418
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]   27:     0x55d9f586d6d5 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he2457d582c032747
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   28:     0x55d9f586d6d5 - std::panicking::try::do_call::hbcd49dc3823e8b28
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   29:     0x55d9f586d6d5 - std::panicking::try::h1ba95c07dd8d422b
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   30:     0x55d9f586d6d5 - std::panic::catch_unwind::h95854794ba9eee4c
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   31:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::h4e297b8574092d6e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]   32:     0x55d9f586d6d5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1b855aad7f5ac67e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   33:     0x55d9f58e2f3f - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h48069b269ca48108
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   34:     0x55d9f58f64d3 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::heff660b32cd3afd8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   35:     0x55d9f58f64d3 - std::sys::unix::thread::Thread::new::thread_start::ha538939ed1e2e958
[INFO] [stdout]                                at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   36:     0x7f7ad2b106db - start_thread
[INFO] [stdout]   37:     0x7f7ad31e788f - __clone
[INFO] [stdout]   38:                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(stack backtrace:
[INFO] [stdout]    0: error_chain::backtrace::imp::InternalBacktrace::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56
[INFO] [stdout]    1: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]    2: core::option::Option<T>::unwrap_or_else
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/option.rs:428
[INFO] [stdout]    3: error_chain::State::new
[INFO] [stdout]              at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679
[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.1/src/error_chain.rs:389
[INFO] [stdout]    5: core::result::Result<T,E>::map_err
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/result.rs:612
[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.1/src/error_chain.rs:388
[INFO] [stdout]    7: rsmt2::solver::Solver<Parser>::spawn
[INFO] [stdout]              at src/solver.rs:132
[INFO] [stdout]    8: rsmt2::solver::Solver<Parser>::new
[INFO] [stdout]              at src/solver.rs:176
[INFO] [stdout]    9: rsmt2::solver::Solver<Parser>::default
[INFO] [stdout]              at src/solver.rs:197
[INFO] [stdout]   10: rsmt2::example::get_solver
[INFO] [stdout]              at src/example/mod.rs:19
[INFO] [stdout]   11: rsmt2::example::print_time::test_unroll
[INFO] [stdout]              at src/example/print_time.rs:417
[INFO] [stdout]   12: rsmt2::example::print_time::test_unroll::{{closure}}
[INFO] [stdout]              at src/example/print_time.rs:414
[INFO] [stdout]   13: core::ops::function::FnOnce::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   14: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   15: <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       test::run_test_in_process
[INFO] [stdout]              at src/libtest/lib.rs:541
[INFO] [stdout]       test::run_test::run_test_inner::{{closure}}
[INFO] [stdout]              at src/libtest/lib.rs:450
[INFO] [stdout]   16: std::sys_common::backtrace::__rust_begin_short_backtrace
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   17: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]       <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]       std::panicking::try::do_call
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]       std::panicking::try
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]       std::panic::catch_unwind
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]       std::thread::Builder::spawn_unchecked::{{closure}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]       core::ops::function::FnOnce::call_once{{vtable.shim}}
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19: <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once
[INFO] [stdout]              at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]       std::sys::unix::thread::Thread::new::thread_start
[INFO] [stdout]              at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   20: start_thread
[INFO] [stdout]   21: __clone
[INFO] [stdout] ) } })', src/example/mod.rs:21:19
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55d9f58ecc94 - backtrace::backtrace::libunwind::trace::hbb4ce8c04526962e
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/libunwind.rs:86
[INFO] [stdout]    1:     0x55d9f58ecc94 - backtrace::backtrace::trace_unsynchronized::h79251c088e7be038
[INFO] [stdout]                                at /cargo/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.46/src/backtrace/mod.rs:66
[INFO] [stdout]    2:     0x55d9f58ecc94 - std::sys_common::backtrace::_print_fmt::h6b0ea30a9223acae
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:78
[INFO] [stdout]    3:     0x55d9f58ecc94 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h4d51ef07ce58e54b
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:59
[INFO] [stdout]    4:     0x55d9f5915c9c - core::fmt::write::he16b9c1345d8565e
[INFO] [stdout]                                at src/libcore/fmt/mod.rs:1069
[INFO] [stdout]    5:     0x55d9f5868f05 - std::io::Write::write_fmt::hc31efe493f037457
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/io/mod.rs:1504
[INFO] [stdout]    6:     0x55d9f58e6f31 - std::io::impls::<impl std::io::Write for alloc::boxed::Box<W>>::write_fmt::hfcb1ff6c5b834381
[INFO] [stdout]                                at src/libstd/io/impls.rs:156
[INFO] [stdout]    7:     0x55d9f58ef565 - std::sys_common::backtrace::_print::h9288fa7d9f6629cb
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:62
[INFO] [stdout]    8:     0x55d9f58ef565 - std::sys_common::backtrace::print::h82e606e62781d8af
[INFO] [stdout]                                at src/libstd/sys_common/backtrace.rs:49
[INFO] [stdout]    9:     0x55d9f58ef565 - std::panicking::default_hook::{{closure}}::h1fe350ecbf7604e4
[INFO] [stdout]                                at src/libstd/panicking.rs:198
[INFO] [stdout]   10:     0x55d9f58ef24b - std::panicking::default_hook::h1b8b42953fdc841d
[INFO] [stdout]                                at src/libstd/panicking.rs:215
[INFO] [stdout]   11:     0x55d9f58efbc2 - std::panicking::rust_panic_with_hook::he73826f4bb75a21e
[INFO] [stdout]                                at src/libstd/panicking.rs:511
[INFO] [stdout]   12:     0x55d9f58ef7ab - rust_begin_unwind
[INFO] [stdout]                                at src/libstd/panicking.rs:419
[INFO] [stdout]   13:     0x55d9f58ef71b - std::panicking::begin_panic_fmt::hf14ab99546f1bbc1
[INFO] [stdout]                                at src/libstd/panicking.rs:373
[INFO] [stdout]   14:     0x55d9f58617ae - rsmt2::example::get_solver::h1e8643e3b18826fa
[INFO] [stdout]                                at src/example/mod.rs:21
[INFO] [stdout]   15:     0x55d9f5819e3a - rsmt2::example::print_time::test_unroll::ha757294a8b5009a2
[INFO] [stdout]                                at src/example/print_time.rs:417
[INFO] [stdout]   16:     0x55d9f5819dda - rsmt2::example::print_time::test_unroll::{{closure}}::haf57e0fefa85cbd7
[INFO] [stdout]                                at src/example/print_time.rs:414
[INFO] [stdout]   17:     0x55d9f58377ee - core::ops::function::FnOnce::call_once::h38ed4191437d6a90
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   18:     0x55d9f5874dff - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::he1ba1da20629a2d8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   19:     0x55d9f58903fe - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf94927858761de4a
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   20:     0x55d9f58903fe - std::panicking::try::do_call::h1585003392664d93
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   21:     0x55d9f58903fe - std::panicking::try::h43d950f958a74468
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   22:     0x55d9f58903fe - std::panic::catch_unwind::hb5284de2977ddeea
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   23:     0x55d9f58903fe - test::run_test_in_process::had39bb305b26a3ae
[INFO] [stdout]                                at src/libtest/lib.rs:541
[INFO] [stdout]   24:     0x55d9f58903fe - test::run_test::run_test_inner::{{closure}}::h12b1756b854ada1a
[INFO] [stdout]                                at src/libtest/lib.rs:450
[INFO] [stdout]   25:     0x55d9f58683b6 - std::sys_common::backtrace::__rust_begin_short_backtrace::hec04b80bece92bf9
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/sys_common/backtrace.rs:130
[INFO] [stdout]   26:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::heca431434c1ac418
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:475
[INFO] [stdout]   27:     0x55d9f586d6d5 - <std::panic::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::he2457d582c032747
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:318
[INFO] [stdout]   28:     0x55d9f586d6d5 - std::panicking::try::do_call::hbcd49dc3823e8b28
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:331
[INFO] [stdout]   29:     0x55d9f586d6d5 - std::panicking::try::h1ba95c07dd8d422b
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panicking.rs:274
[INFO] [stdout]   30:     0x55d9f586d6d5 - std::panic::catch_unwind::h95854794ba9eee4c
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/panic.rs:394
[INFO] [stdout]   31:     0x55d9f586d6d5 - std::thread::Builder::spawn_unchecked::{{closure}}::h4e297b8574092d6e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libstd/thread/mod.rs:474
[INFO] [stdout]   32:     0x55d9f586d6d5 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h1b855aad7f5ac67e
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/libcore/ops/function.rs:232
[INFO] [stdout]   33:     0x55d9f58e2f3f - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::h48069b269ca48108
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   34:     0x55d9f58f64d3 - <alloc::boxed::Box<F> as core::ops::function::FnOnce<A>>::call_once::heff660b32cd3afd8
[INFO] [stdout]                                at /rustc/28742a1146f10a4f09369baad027a464acb7a766/src/liballoc/boxed.rs:1008
[INFO] [stdout]   35:     0x55d9f58f64d3 - std::sys::unix::thread::Thread::new::thread_start::ha538939ed1e2e958
[INFO] [stdout]                                at src/libstd/sys/unix/thread.rs:87
[INFO] [stdout]   36:     0x7f7ad2b106db - start_thread
[INFO] [stdout]   37:     0x7f7ad31e788f - __clone
[INFO] [stdout]   38:                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 `"docker" "inspect" "06fdeeee08389aeb441bfbb0b847929cc16dbc58a52f2488d0e2319a90cf4ddb"`
[INFO] running `"docker" "rm" "-f" "06fdeeee08389aeb441bfbb0b847929cc16dbc58a52f2488d0e2319a90cf4ddb"`
[INFO] [stdout] 06fdeeee08389aeb441bfbb0b847929cc16dbc58a52f2488d0e2319a90cf4ddb