Oct 11 13:09:37.157 INFO testing rsmt2-0.9.11 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling Oct 11 13:09:37.157 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen Oct 11 13:09:37.159 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-3/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"` Oct 11 13:09:37.588 INFO blam! a3d8c119db3bd62b9a5a281b15c93317e103e2b753706b3b1505e3dcf1bbeeae Oct 11 13:09:37.596 INFO running `"docker" "start" "-a" "a3d8c119db3bd62b9a5a281b15c93317e103e2b753706b3b1505e3dcf1bbeeae"` Oct 11 13:09:38.766 INFO kablam! usermod: no changes Oct 11 13:09:38.888 INFO kablam! Compiling rsmt2 v0.9.11 (/source) Oct 11 13:09:42.579 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 3.78s Oct 11 13:09:42.584 INFO kablam! su: No module specific data is present Oct 11 13:09:43.604 INFO running `"docker" "rm" "-f" "a3d8c119db3bd62b9a5a281b15c93317e103e2b753706b3b1505e3dcf1bbeeae"` Oct 11 13:09:43.902 INFO blam! a3d8c119db3bd62b9a5a281b15c93317e103e2b753706b3b1505e3dcf1bbeeae Oct 11 13:09:43.909 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run Oct 11 13:09:43.911 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-3/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"` Oct 11 13:09:44.488 INFO blam! f5588af5a0d7d82353e30ecdaf41f4a0fc2dfc349338665c943c2147b5aeaab7 Oct 11 13:09:44.493 INFO running `"docker" "start" "-a" "f5588af5a0d7d82353e30ecdaf41f4a0fc2dfc349338665c943c2147b5aeaab7"` Oct 11 13:09:45.500 INFO kablam! usermod: no changes Oct 11 13:09:45.572 INFO kablam! Compiling rsmt2 v0.9.11 (/source) Oct 11 13:09:51.400 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 5.87s Oct 11 13:09:51.400 INFO kablam! su: No module specific data is present Oct 11 13:09:52.002 INFO running `"docker" "rm" "-f" "f5588af5a0d7d82353e30ecdaf41f4a0fc2dfc349338665c943c2147b5aeaab7"` Oct 11 13:09:52.309 INFO blam! f5588af5a0d7d82353e30ecdaf41f4a0fc2dfc349338665c943c2147b5aeaab7 Oct 11 13:09:52.315 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen Oct 11 13:09:52.316 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-3/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-3/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/target:rw,Z" "-v" "/mnt/big/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "--network" "none" "crater"` Oct 11 13:09:52.752 INFO blam! 63b015b0d4339a56fe7797aec77abe82aa52c4b1d816e91ba7b225450634120a Oct 11 13:09:52.754 INFO running `"docker" "start" "-a" "63b015b0d4339a56fe7797aec77abe82aa52c4b1d816e91ba7b225450634120a"` Oct 11 13:09:53.684 INFO kablam! usermod: no changes Oct 11 13:09:53.738 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.03s Oct 11 13:09:53.750 INFO kablam! Running /target/debug/deps/rsmt2-23e16b6a2e6eaff2 Oct 11 13:09:53.751 INFO blam! Oct 11 13:09:53.751 INFO blam! running 5 tests Oct 11 13:09:53.906 INFO blam! test example::print_time::test_unroll ... FAILED Oct 11 13:09:53.906 INFO blam! test example::print_time::declare_non_nullary_fun ... FAILED Oct 11 13:09:53.906 INFO blam! test common::logic ... FAILED Oct 11 13:09:53.907 INFO blam! test example::print_time::test_native ... FAILED Oct 11 13:09:53.907 INFO blam! test example::simple::run ... FAILED Oct 11 13:09:53.907 INFO blam! Oct 11 13:09:53.907 INFO blam! failures: Oct 11 13:09:53.907 INFO blam! Oct 11 13:09:53.907 INFO blam! ---- example::print_time::test_unroll stdout ---- Oct 11 13:09:53.907 INFO blam! 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: Oct 11 13:09:53.907 INFO blam! 0: 0x5629f4aa6e65 - backtrace::backtrace::libunwind::trace::hc084723a3471289f Oct 11 13:09:53.907 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 11 13:09:53.907 INFO blam! - backtrace::backtrace::trace::h99e5ad125c1cb9c9 Oct 11 13:09:53.907 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 11 13:09:53.907 INFO blam! 1: 0x5629f4aa14de - backtrace::capture::Backtrace::new_unresolved::h797ca08b918c5198 Oct 11 13:09:53.907 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 11 13:09:53.907 INFO blam! 2: 0x5629f4aa02fa - error_chain::backtrace::imp::InternalBacktrace::new::h38df97b7c078dab8 Oct 11 13:09:53.907 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 11 13:09:53.907 INFO blam! 3: 0x5629f4a214a8 - core::ops::function::FnOnce::call_once::hedd5f04bb00b9f47 Oct 11 13:09:53.907 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.907 INFO blam! 4: 0x5629f4a53e9a - >::unwrap_or_else::h60dff85a9231abc4 Oct 11 13:09:53.907 INFO blam! at libcore/option.rs:396 Oct 11 13:09:53.907 INFO blam! 5: 0x5629f4a20093 - error_chain::State::new::hcf4672fe646a72a2 Oct 11 13:09:53.907 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 11 13:09:53.907 INFO blam! 6: 0x5629f4a17345 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::h5dd62aa892108ff3 Oct 11 13:09:53.907 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 11 13:09:53.907 INFO blam! 7: 0x5629f4a5c0ff - >::map_err::h8ea8b043fd622d12 Oct 11 13:09:53.907 INFO blam! at libcore/result.rs:530 Oct 11 13:09:53.907 INFO blam! 8: 0x5629f4a5e543 - as rsmt2::errors::ResExt>::chain_err::hb49429a13990fb1f Oct 11 13:09:53.907 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 11 13:09:53.907 INFO blam! 9: 0x5629f4a28335 - >::spawn::h20099c7a51097ea0 Oct 11 13:09:53.907 INFO blam! at src/solver.rs:134 Oct 11 13:09:53.907 INFO blam! 10: 0x5629f4a2aee9 - >::new::he0204a442dd10a60 Oct 11 13:09:53.907 INFO blam! at src/solver.rs:175 Oct 11 13:09:53.907 INFO blam! 11: 0x5629f4a2b5a8 - >::default::hfac709512a686bd8 Oct 11 13:09:53.907 INFO blam! at src/solver.rs:196 Oct 11 13:09:53.907 INFO blam! 12: 0x5629f4a248b0 - rsmt2::example::get_solver::h31650598d2bf1314 Oct 11 13:09:53.907 INFO blam! at src/example/mod.rs:19 Oct 11 13:09:53.907 INFO blam! 13: 0x5629f4a00a89 - rsmt2::example::print_time::test_unroll::h10483862ca7b8689 Oct 11 13:09:53.907 INFO blam! at src/example/print_time.rs:416 Oct 11 13:09:53.907 INFO blam! 14: 0x5629f4a00a19 - rsmt2::example::print_time::test_unroll::{{closure}}::h218a7531ce6e1d98 Oct 11 13:09:53.907 INFO blam! at src/example/print_time.rs:413 Oct 11 13:09:53.907 INFO blam! 15: 0x5629f4a2139d - core::ops::function::FnOnce::call_once::h8b26dde8e33e808c Oct 11 13:09:53.907 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.907 INFO blam! 16: 0x5629f4a6002e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 11 13:09:53.907 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.907 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 11 13:09:53.907 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.907 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.907 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.907 INFO blam! 17: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.907 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.907 INFO blam! 18: 0x5629f4a80b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 11 13:09:53.907 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.907 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 11 13:09:53.907 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.907 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 11 13:09:53.907 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.907 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.907 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.907 INFO blam! 19: 0x5629f4a81784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 11 13:09:53.907 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.907 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 11 13:09:53.907 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.907 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.907 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.907 INFO blam! 20: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.907 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.907 INFO blam! 21: 0x5629f4a6ed46 - std::panicking::try::hc008d3655cac22f0 Oct 11 13:09:53.907 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.907 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 11 13:09:53.907 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.907 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 11 13:09:53.907 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.907 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.907 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.907 INFO blam! 22: 0x5629f4adafea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 11 13:09:53.907 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.907 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.907 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.907 INFO blam! 23: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.907 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.907 INFO blam! 24: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.907 INFO blam! 25: 0x7f866d42041c - clone Oct 11 13:09:53.907 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 11 13:09:53.907 INFO blam! stack backtrace: Oct 11 13:09:53.907 INFO blam! 0: 0x5629f4ad8a0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 11 13:09:53.908 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 11 13:09:53.908 INFO blam! 1: 0x5629f4ae49b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 11 13:09:53.908 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 11 13:09:53.908 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 11 13:09:53.908 INFO blam! 2: 0x5629f4add6ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:211 Oct 11 13:09:53.908 INFO blam! 3: 0x5629f4add3bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:221 Oct 11 13:09:53.908 INFO blam! 4: 0x5629f4addd5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:476 Oct 11 13:09:53.908 INFO blam! 5: 0x5629f4add919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:390 Oct 11 13:09:53.908 INFO blam! 6: 0x5629f4add87d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:345 Oct 11 13:09:53.908 INFO blam! 7: 0x5629f4a24a53 - rsmt2::example::get_solver::h31650598d2bf1314 Oct 11 13:09:53.908 INFO blam! at src/example/mod.rs:21 Oct 11 13:09:53.908 INFO blam! 8: 0x5629f4a00a89 - rsmt2::example::print_time::test_unroll::h10483862ca7b8689 Oct 11 13:09:53.908 INFO blam! at src/example/print_time.rs:416 Oct 11 13:09:53.908 INFO blam! 9: 0x5629f4a00a19 - rsmt2::example::print_time::test_unroll::{{closure}}::h218a7531ce6e1d98 Oct 11 13:09:53.908 INFO blam! at src/example/print_time.rs:413 Oct 11 13:09:53.908 INFO blam! 10: 0x5629f4a2139d - core::ops::function::FnOnce::call_once::h8b26dde8e33e808c Oct 11 13:09:53.908 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.908 INFO blam! 11: 0x5629f4a6002e - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.908 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.908 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.908 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.908 INFO blam! 12: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.908 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.908 INFO blam! 13: 0x5629f4a80b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.908 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.908 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.908 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.908 INFO blam! 14: 0x5629f4a81784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.908 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.908 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.908 INFO blam! 15: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.908 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.908 INFO blam! 16: 0x5629f4a6ed46 - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.908 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.908 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.908 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.908 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.908 INFO blam! 17: 0x5629f4adafea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.908 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.908 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.908 INFO blam! 18: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.908 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.908 INFO blam! 19: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.908 INFO blam! 20: 0x7f866d42041c - clone Oct 11 13:09:53.908 INFO blam! 21: 0x0 - Oct 11 13:09:53.908 INFO blam! Oct 11 13:09:53.908 INFO blam! ---- example::print_time::declare_non_nullary_fun stdout ---- Oct 11 13:09:53.908 INFO blam! 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: Oct 11 13:09:53.908 INFO blam! 0: 0x5629f4aa6e65 - backtrace::backtrace::libunwind::trace::hc084723a3471289f Oct 11 13:09:53.908 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 11 13:09:53.908 INFO blam! - backtrace::backtrace::trace::h99e5ad125c1cb9c9 Oct 11 13:09:53.908 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 11 13:09:53.908 INFO blam! 1: 0x5629f4aa14de - backtrace::capture::Backtrace::new_unresolved::h797ca08b918c5198 Oct 11 13:09:53.908 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 11 13:09:53.908 INFO blam! 2: 0x5629f4aa02fa - error_chain::backtrace::imp::InternalBacktrace::new::h38df97b7c078dab8 Oct 11 13:09:53.908 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 11 13:09:53.908 INFO blam! 3: 0x5629f4a214a8 - core::ops::function::FnOnce::call_once::hedd5f04bb00b9f47 Oct 11 13:09:53.908 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.908 INFO blam! 4: 0x5629f4a53e9a - >::unwrap_or_else::h60dff85a9231abc4 Oct 11 13:09:53.908 INFO blam! at libcore/option.rs:396 Oct 11 13:09:53.908 INFO blam! 5: 0x5629f4a20093 - error_chain::State::new::hcf4672fe646a72a2 Oct 11 13:09:53.908 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 11 13:09:53.908 INFO blam! 6: 0x5629f4a17345 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::h5dd62aa892108ff3 Oct 11 13:09:53.908 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 11 13:09:53.908 INFO blam! 7: 0x5629f4a5c0ff - >::map_err::h8ea8b043fd622d12 Oct 11 13:09:53.908 INFO blam! at libcore/result.rs:530 Oct 11 13:09:53.908 INFO blam! 8: 0x5629f4a5e543 - as rsmt2::errors::ResExt>::chain_err::hb49429a13990fb1f Oct 11 13:09:53.908 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 11 13:09:53.908 INFO blam! 9: 0x5629f4a28335 - >::spawn::h20099c7a51097ea0 Oct 11 13:09:53.908 INFO blam! at src/solver.rs:134 Oct 11 13:09:53.908 INFO blam! 10: 0x5629f4a2aee9 - >::new::he0204a442dd10a60 Oct 11 13:09:53.908 INFO blam! at src/solver.rs:175 Oct 11 13:09:53.908 INFO blam! 11: 0x5629f4a2b5a8 - >::default::hfac709512a686bd8 Oct 11 13:09:53.908 INFO blam! at src/solver.rs:196 Oct 11 13:09:53.908 INFO blam! 12: 0x5629f4a248b0 - rsmt2::example::get_solver::h31650598d2bf1314 Oct 11 13:09:53.908 INFO blam! at src/example/mod.rs:19 Oct 11 13:09:53.909 INFO blam! 13: 0x5629f49fd210 - rsmt2::example::print_time::declare_non_nullary_fun::hb87788b532df2d6b Oct 11 13:09:53.909 INFO blam! at src/example/print_time.rs:309 Oct 11 13:09:53.909 INFO blam! 14: 0x5629f49fd1e9 - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::hefe326d29f323303 Oct 11 13:09:53.909 INFO blam! at src/example/print_time.rs:308 Oct 11 13:09:53.909 INFO blam! 15: 0x5629f4a214cd - core::ops::function::FnOnce::call_once::hf48e83e6c2ac5b36 Oct 11 13:09:53.909 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.909 INFO blam! 16: 0x5629f4a6002e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 11 13:09:53.909 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.909 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 11 13:09:53.909 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.909 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.909 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.909 INFO blam! 17: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.909 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.909 INFO blam! 18: 0x5629f4a80b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.909 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 11 13:09:53.909 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.909 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 11 13:09:53.909 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.909 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.909 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.909 INFO blam! 19: 0x5629f4a81784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 11 13:09:53.909 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.909 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 11 13:09:53.909 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.909 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.909 INFO blam! 20: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.909 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.909 INFO blam! 21: 0x5629f4a6ed46 - std::panicking::try::hc008d3655cac22f0 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.909 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 11 13:09:53.909 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.909 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 11 13:09:53.909 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.909 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.909 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.909 INFO blam! 22: 0x5629f4adafea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 11 13:09:53.909 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.909 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.909 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.909 INFO blam! 23: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.909 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.909 INFO blam! 24: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.909 INFO blam! 25: 0x7f866d42041c - clone Oct 11 13:09:53.909 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 11 13:09:53.909 INFO blam! stack backtrace: Oct 11 13:09:53.909 INFO blam! 0: 0x5629f4ad8a0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 11 13:09:53.909 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 11 13:09:53.909 INFO blam! 1: 0x5629f4ae49b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 11 13:09:53.909 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 11 13:09:53.909 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 11 13:09:53.909 INFO blam! 2: 0x5629f4add6ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:211 Oct 11 13:09:53.909 INFO blam! 3: 0x5629f4add3bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:221 Oct 11 13:09:53.909 INFO blam! 4: 0x5629f4addd5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:476 Oct 11 13:09:53.909 INFO blam! 5: 0x5629f4add919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:390 Oct 11 13:09:53.909 INFO blam! 6: 0x5629f4add87d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:345 Oct 11 13:09:53.909 INFO blam! 7: 0x5629f4a24a53 - rsmt2::example::get_solver::h31650598d2bf1314 Oct 11 13:09:53.909 INFO blam! at src/example/mod.rs:21 Oct 11 13:09:53.909 INFO blam! 8: 0x5629f49fd210 - rsmt2::example::print_time::declare_non_nullary_fun::hb87788b532df2d6b Oct 11 13:09:53.909 INFO blam! at src/example/print_time.rs:309 Oct 11 13:09:53.909 INFO blam! 9: 0x5629f49fd1e9 - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::hefe326d29f323303 Oct 11 13:09:53.909 INFO blam! at src/example/print_time.rs:308 Oct 11 13:09:53.909 INFO blam! 10: 0x5629f4a214cd - core::ops::function::FnOnce::call_once::hf48e83e6c2ac5b36 Oct 11 13:09:53.909 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.909 INFO blam! 11: 0x5629f4a6002e - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.909 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.909 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.909 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.909 INFO blam! 12: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.909 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.909 INFO blam! 13: 0x5629f4a80b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.909 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.909 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.909 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.909 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.909 INFO blam! 14: 0x5629f4a81784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.909 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.909 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.910 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.910 INFO blam! 15: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.910 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.910 INFO blam! 16: 0x5629f4a6ed46 - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.910 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.910 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.910 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.910 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.910 INFO blam! 17: 0x5629f4adafea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.910 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.910 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.910 INFO blam! 18: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.910 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.910 INFO blam! 19: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.910 INFO blam! 20: 0x7f866d42041c - clone Oct 11 13:09:53.910 INFO blam! 21: 0x0 - Oct 11 13:09:53.910 INFO blam! Oct 11 13:09:53.910 INFO blam! ---- common::logic stdout ---- Oct 11 13:09:53.910 INFO blam! thread 'common::logic' panicked at 'solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(stack backtrace: Oct 11 13:09:53.910 INFO blam! 0: 0x5629f4aa6e65 - backtrace::backtrace::libunwind::trace::hc084723a3471289f Oct 11 13:09:53.910 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 11 13:09:53.910 INFO blam! - backtrace::backtrace::trace::h99e5ad125c1cb9c9 Oct 11 13:09:53.910 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 11 13:09:53.910 INFO blam! 1: 0x5629f4aa14de - backtrace::capture::Backtrace::new_unresolved::h797ca08b918c5198 Oct 11 13:09:53.910 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 11 13:09:53.910 INFO blam! 2: 0x5629f4aa02fa - error_chain::backtrace::imp::InternalBacktrace::new::h38df97b7c078dab8 Oct 11 13:09:53.910 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 11 13:09:53.910 INFO blam! 3: 0x5629f4a214a8 - core::ops::function::FnOnce::call_once::hedd5f04bb00b9f47 Oct 11 13:09:53.910 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.910 INFO blam! 4: 0x5629f4a53e9a - >::unwrap_or_else::h60dff85a9231abc4 Oct 11 13:09:53.910 INFO blam! at libcore/option.rs:396 Oct 11 13:09:53.910 INFO blam! 5: 0x5629f4a20093 - error_chain::State::new::hcf4672fe646a72a2 Oct 11 13:09:53.910 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 11 13:09:53.910 INFO blam! 6: 0x5629f4a179d5 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::hb5efab903615fe15 Oct 11 13:09:53.910 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 11 13:09:53.910 INFO blam! 7: 0x5629f4a5c51f - >::map_err::h9be4f896b03b4bbc Oct 11 13:09:53.910 INFO blam! at libcore/result.rs:530 Oct 11 13:09:53.910 INFO blam! 8: 0x5629f4a5e633 - as rsmt2::errors::ResExt>::chain_err::hd5f381e49f237f33 Oct 11 13:09:53.910 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 11 13:09:53.910 INFO blam! 9: 0x5629f4a28cc5 - >::spawn::h9b152c78c71f7ab9 Oct 11 13:09:53.910 INFO blam! at src/solver.rs:134 Oct 11 13:09:53.910 INFO blam! 10: 0x5629f4a2a289 - >::new::h0b8744f41b2f5772 Oct 11 13:09:53.910 INFO blam! at src/solver.rs:175 Oct 11 13:09:53.910 INFO blam! 11: 0x5629f4a1fbe7 - rsmt2::common::logic::h882a2d24f316ac78 Oct 11 13:09:53.910 INFO blam! at src/common.rs:223 Oct 11 13:09:53.910 INFO blam! 12: 0x5629f4a1fb79 - rsmt2::common::logic::{{closure}}::h686d091ef5bc3006 Oct 11 13:09:53.910 INFO blam! at src/common.rs:217 Oct 11 13:09:53.910 INFO blam! 13: 0x5629f4a2131d - core::ops::function::FnOnce::call_once::h1f9d11ae0143880f Oct 11 13:09:53.910 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.910 INFO blam! 14: 0x5629f4a6002e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 11 13:09:53.910 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.910 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 11 13:09:53.910 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.910 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.910 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.910 INFO blam! 15: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.910 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.910 INFO blam! 16: 0x5629f4a80b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 11 13:09:53.910 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.910 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 11 13:09:53.910 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.910 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 11 13:09:53.910 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.910 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.910 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.910 INFO blam! 17: 0x5629f4a81784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 11 13:09:53.910 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.910 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 11 13:09:53.910 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.910 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.910 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.910 INFO blam! 18: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.910 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.910 INFO blam! 19: 0x5629f4a6ed46 - std::panicking::try::hc008d3655cac22f0 Oct 11 13:09:53.910 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.910 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 11 13:09:53.910 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.910 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 11 13:09:53.910 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.910 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.910 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.910 INFO blam! 20: 0x5629f4adafea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 11 13:09:53.910 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.910 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.910 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.910 INFO blam! 21: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.910 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.911 INFO blam! 22: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.911 INFO blam! 23: 0x7f866d42041c - clone Oct 11 13:09:53.911 INFO blam! 24: 0x0 - ) } })', libcore/result.rs:1009:5 Oct 11 13:09:53.911 INFO blam! stack backtrace: Oct 11 13:09:53.911 INFO blam! 0: 0x5629f4ad8a0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 11 13:09:53.911 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 11 13:09:53.911 INFO blam! 1: 0x5629f4ae49b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 11 13:09:53.911 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 11 13:09:53.911 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 11 13:09:53.911 INFO blam! 2: 0x5629f4add6ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:211 Oct 11 13:09:53.911 INFO blam! 3: 0x5629f4add3bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:221 Oct 11 13:09:53.911 INFO blam! 4: 0x5629f4addd5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:476 Oct 11 13:09:53.911 INFO blam! 5: 0x5629f4add919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:390 Oct 11 13:09:53.911 INFO blam! 6: 0x5629f4add815 - rust_begin_unwind Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:325 Oct 11 13:09:53.911 INFO blam! 7: 0x5629f4b1ff6b - core::panicking::panic_fmt::hf99aac1e278ac2e5 Oct 11 13:09:53.911 INFO blam! at libcore/panicking.rs:77 Oct 11 13:09:53.911 INFO blam! 8: 0x5629f4a5d733 - core::result::unwrap_failed::h49b9af4d937a3724 Oct 11 13:09:53.911 INFO blam! at libcore/macros.rs:26 Oct 11 13:09:53.911 INFO blam! 9: 0x5629f4a5a685 - >::expect::h5ccf2f7c1ab38bce Oct 11 13:09:53.911 INFO blam! at libcore/result.rs:835 Oct 11 13:09:53.911 INFO blam! 10: 0x5629f4a1fc08 - rsmt2::common::logic::h882a2d24f316ac78 Oct 11 13:09:53.911 INFO blam! at src/common.rs:223 Oct 11 13:09:53.911 INFO blam! 11: 0x5629f4a1fb79 - rsmt2::common::logic::{{closure}}::h686d091ef5bc3006 Oct 11 13:09:53.911 INFO blam! at src/common.rs:217 Oct 11 13:09:53.911 INFO blam! 12: 0x5629f4a2131d - core::ops::function::FnOnce::call_once::h1f9d11ae0143880f Oct 11 13:09:53.911 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.911 INFO blam! 13: 0x5629f4a6002e - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.911 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.911 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.911 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.911 INFO blam! 14: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.911 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.911 INFO blam! 15: 0x5629f4a80b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.911 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.911 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.911 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.911 INFO blam! 16: 0x5629f4a81784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.911 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.911 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.911 INFO blam! 17: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.911 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.911 INFO blam! 18: 0x5629f4a6ed46 - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.911 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.911 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.911 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.911 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.911 INFO blam! 19: 0x5629f4adafea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.911 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.911 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.911 INFO blam! 20: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.911 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.911 INFO blam! 21: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.911 INFO blam! 22: 0x7f866d42041c - clone Oct 11 13:09:53.911 INFO blam! 23: 0x0 - Oct 11 13:09:53.911 INFO blam! Oct 11 13:09:53.911 INFO blam! ---- example::print_time::test_native stdout ---- Oct 11 13:09:53.911 INFO blam! 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: Oct 11 13:09:53.911 INFO blam! 0: 0x5629f4aa6e65 - backtrace::backtrace::libunwind::trace::hc084723a3471289f Oct 11 13:09:53.911 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 11 13:09:53.911 INFO blam! - backtrace::backtrace::trace::h99e5ad125c1cb9c9 Oct 11 13:09:53.911 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 11 13:09:53.911 INFO blam! 1: 0x5629f4aa14de - backtrace::capture::Backtrace::new_unresolved::h797ca08b918c5198 Oct 11 13:09:53.911 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 11 13:09:53.911 INFO blam! 2: 0x5629f4aa02fa - error_chain::backtrace::imp::InternalBacktrace::new::h38df97b7c078dab8 Oct 11 13:09:53.911 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 11 13:09:53.911 INFO blam! 3: 0x5629f4a214a8 - core::ops::function::FnOnce::call_once::hedd5f04bb00b9f47 Oct 11 13:09:53.911 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.911 INFO blam! 4: 0x5629f4a53e9a - >::unwrap_or_else::h60dff85a9231abc4 Oct 11 13:09:53.911 INFO blam! at libcore/option.rs:396 Oct 11 13:09:53.911 INFO blam! 5: 0x5629f4a20093 - error_chain::State::new::hcf4672fe646a72a2 Oct 11 13:09:53.911 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 11 13:09:53.911 INFO blam! 6: 0x5629f4a17345 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::h5dd62aa892108ff3 Oct 11 13:09:53.911 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 11 13:09:53.911 INFO blam! 7: 0x5629f4a5c0ff - >::map_err::h8ea8b043fd622d12 Oct 11 13:09:53.911 INFO blam! at libcore/result.rs:530 Oct 11 13:09:53.911 INFO blam! 8: 0x5629f4a5e543 - as rsmt2::errors::ResExt>::chain_err::hb49429a13990fb1f Oct 11 13:09:53.911 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 11 13:09:53.911 INFO blam! 9: 0x5629f4a28335 - >::spawn::h20099c7a51097ea0 Oct 11 13:09:53.911 INFO blam! at src/solver.rs:134 Oct 11 13:09:53.912 INFO blam! 10: 0x5629f4a2aee9 - >::new::he0204a442dd10a60 Oct 11 13:09:53.912 INFO blam! at src/solver.rs:175 Oct 11 13:09:53.912 INFO blam! 11: 0x5629f4a2b5a8 - >::default::hfac709512a686bd8 Oct 11 13:09:53.912 INFO blam! at src/solver.rs:196 Oct 11 13:09:53.912 INFO blam! 12: 0x5629f4a248b0 - rsmt2::example::get_solver::h31650598d2bf1314 Oct 11 13:09:53.912 INFO blam! at src/example/mod.rs:19 Oct 11 13:09:53.912 INFO blam! 13: 0x5629f49fd4e9 - rsmt2::example::print_time::test_native::hf386338555fb5470 Oct 11 13:09:53.912 INFO blam! at src/example/print_time.rs:324 Oct 11 13:09:53.912 INFO blam! 14: 0x5629f49fd479 - rsmt2::example::print_time::test_native::{{closure}}::h6b496ba38f0826fa Oct 11 13:09:53.912 INFO blam! at src/example/print_time.rs:321 Oct 11 13:09:53.912 INFO blam! 15: 0x5629f4a2135d - core::ops::function::FnOnce::call_once::h50000328a0d248d0 Oct 11 13:09:53.912 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.912 INFO blam! 16: 0x5629f4a6002e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 11 13:09:53.912 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.912 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 11 13:09:53.912 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.912 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.912 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.912 INFO blam! 17: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.912 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.912 INFO blam! 18: 0x5629f4a80b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 11 13:09:53.912 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.912 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 11 13:09:53.912 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.912 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 11 13:09:53.912 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.912 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.912 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.912 INFO blam! 19: 0x5629f4a81784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 11 13:09:53.912 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.912 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 11 13:09:53.912 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.912 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.912 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.912 INFO blam! 20: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.912 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.912 INFO blam! 21: 0x5629f4a6ed46 - std::panicking::try::hc008d3655cac22f0 Oct 11 13:09:53.912 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.912 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 11 13:09:53.912 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.912 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 11 13:09:53.912 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.912 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.912 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.912 INFO blam! 22: 0x5629f4adafea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 11 13:09:53.912 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.912 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.912 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.912 INFO blam! 23: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.912 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.912 INFO blam! 24: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.912 INFO blam! 25: 0x7f866d42041c - clone Oct 11 13:09:53.912 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 11 13:09:53.912 INFO blam! stack backtrace: Oct 11 13:09:53.912 INFO blam! 0: 0x5629f4ad8a0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 11 13:09:53.912 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 11 13:09:53.912 INFO blam! 1: 0x5629f4ae49b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 11 13:09:53.912 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 11 13:09:53.912 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 11 13:09:53.912 INFO blam! 2: 0x5629f4add6ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 11 13:09:53.912 INFO blam! at libstd/panicking.rs:211 Oct 11 13:09:53.912 INFO blam! 3: 0x5629f4add3bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 11 13:09:53.912 INFO blam! at libstd/panicking.rs:221 Oct 11 13:09:53.912 INFO blam! 4: 0x5629f4addd5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 11 13:09:53.912 INFO blam! at libstd/panicking.rs:476 Oct 11 13:09:53.913 INFO blam! 5: 0x5629f4add919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 11 13:09:53.913 INFO blam! at libstd/panicking.rs:390 Oct 11 13:09:53.913 INFO blam! 6: 0x5629f4add87d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 11 13:09:53.913 INFO blam! at libstd/panicking.rs:345 Oct 11 13:09:53.913 INFO blam! 7: 0x5629f4a24a53 - rsmt2::example::get_solver::h31650598d2bf1314 Oct 11 13:09:53.913 INFO blam! at src/example/mod.rs:21 Oct 11 13:09:53.913 INFO blam! 8: 0x5629f49fd4e9 - rsmt2::example::print_time::test_native::hf386338555fb5470 Oct 11 13:09:53.913 INFO blam! at src/example/print_time.rs:324 Oct 11 13:09:53.913 INFO blam! 9: 0x5629f49fd479 - rsmt2::example::print_time::test_native::{{closure}}::h6b496ba38f0826fa Oct 11 13:09:53.913 INFO blam! at src/example/print_time.rs:321 Oct 11 13:09:53.913 INFO blam! 10: 0x5629f4a2135d - core::ops::function::FnOnce::call_once::h50000328a0d248d0 Oct 11 13:09:53.913 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.913 INFO blam! 11: 0x5629f4a6002e - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.913 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.913 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.913 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.913 INFO blam! 12: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.913 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.913 INFO blam! 13: 0x5629f4a80b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.913 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.913 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.913 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.913 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.913 INFO blam! 14: 0x5629f4a81784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.913 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.913 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.913 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.913 INFO blam! 15: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.913 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.913 INFO blam! 16: 0x5629f4a6ed46 - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.913 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.913 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.913 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.913 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.913 INFO blam! 17: 0x5629f4adafea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.913 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.913 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.913 INFO blam! 18: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.913 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.913 INFO blam! 19: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.913 INFO blam! 20: 0x7f866d42041c - clone Oct 11 13:09:53.913 INFO blam! 21: 0x0 - Oct 11 13:09:53.913 INFO blam! Oct 11 13:09:53.913 INFO blam! ---- example::simple::run stdout ---- Oct 11 13:09:53.913 INFO blam! 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: Oct 11 13:09:53.913 INFO blam! 0: 0x5629f4aa6e65 - backtrace::backtrace::libunwind::trace::hc084723a3471289f Oct 11 13:09:53.913 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 11 13:09:53.913 INFO blam! - backtrace::backtrace::trace::h99e5ad125c1cb9c9 Oct 11 13:09:53.913 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 11 13:09:53.913 INFO blam! 1: 0x5629f4aa14de - backtrace::capture::Backtrace::new_unresolved::h797ca08b918c5198 Oct 11 13:09:53.913 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 11 13:09:53.913 INFO blam! 2: 0x5629f4aa02fa - error_chain::backtrace::imp::InternalBacktrace::new::h38df97b7c078dab8 Oct 11 13:09:53.913 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 11 13:09:53.913 INFO blam! 3: 0x5629f4a214a8 - core::ops::function::FnOnce::call_once::hedd5f04bb00b9f47 Oct 11 13:09:53.913 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.913 INFO blam! 4: 0x5629f4a53e9a - >::unwrap_or_else::h60dff85a9231abc4 Oct 11 13:09:53.913 INFO blam! at libcore/option.rs:396 Oct 11 13:09:53.913 INFO blam! 5: 0x5629f4a20093 - error_chain::State::new::hcf4672fe646a72a2 Oct 11 13:09:53.913 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 11 13:09:53.913 INFO blam! 6: 0x5629f4a17e55 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::hc9624e3bdbb42f27 Oct 11 13:09:53.913 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 11 13:09:53.913 INFO blam! 7: 0x5629f4a5b4ff - >::map_err::h536f32deadae116e Oct 11 13:09:53.913 INFO blam! at libcore/result.rs:530 Oct 11 13:09:53.913 INFO blam! 8: 0x5629f4a5e5a3 - as rsmt2::errors::ResExt>::chain_err::hba47098140a1edfc Oct 11 13:09:53.913 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 11 13:09:53.913 INFO blam! 9: 0x5629f4a29655 - >::spawn::had782dadebac3302 Oct 11 13:09:53.913 INFO blam! at src/solver.rs:134 Oct 11 13:09:53.913 INFO blam! 10: 0x5629f4a2a8b9 - >::new::h8416dc17e368bd17 Oct 11 13:09:53.913 INFO blam! at src/solver.rs:175 Oct 11 13:09:53.913 INFO blam! 11: 0x5629f4a2b528 - >::default::h73c0a786e18d8a2b Oct 11 13:09:53.913 INFO blam! at src/solver.rs:196 Oct 11 13:09:53.913 INFO blam! 12: 0x5629f4a24ad0 - rsmt2::example::get_solver::h67ee718069736fb9 Oct 11 13:09:53.913 INFO blam! at src/example/mod.rs:19 Oct 11 13:09:53.913 INFO blam! 13: 0x5629f4a4f72b - rsmt2::example::simple::run::h73f887d1ded85922 Oct 11 13:09:53.913 INFO blam! at src/example/simple.rs:494 Oct 11 13:09:53.913 INFO blam! 14: 0x5629f4a4f6e9 - rsmt2::example::simple::run::{{closure}}::h1d9232b1251dfea5 Oct 11 13:09:53.913 INFO blam! at src/example/simple.rs:493 Oct 11 13:09:53.913 INFO blam! 15: 0x5629f4a213dd - core::ops::function::FnOnce::call_once::h9367020ce925bafe Oct 11 13:09:53.913 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.913 INFO blam! 16: 0x5629f4a6002e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 11 13:09:53.913 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.913 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 11 13:09:53.913 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.913 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.913 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.913 INFO blam! 17: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.913 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.913 INFO blam! 18: 0x5629f4a80b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 11 13:09:53.913 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.914 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 11 13:09:53.914 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.914 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 11 13:09:53.914 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.914 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.914 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.914 INFO blam! 19: 0x5629f4a81784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 11 13:09:53.914 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.914 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 11 13:09:53.914 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.914 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.914 INFO blam! 20: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.914 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.914 INFO blam! 21: 0x5629f4a6ed46 - std::panicking::try::hc008d3655cac22f0 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.914 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 11 13:09:53.914 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.914 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 11 13:09:53.914 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.914 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.914 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.914 INFO blam! 22: 0x5629f4adafea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 11 13:09:53.914 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.914 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.914 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.914 INFO blam! 23: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.914 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.914 INFO blam! 24: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.914 INFO blam! 25: 0x7f866d42041c - clone Oct 11 13:09:53.914 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 11 13:09:53.914 INFO blam! stack backtrace: Oct 11 13:09:53.914 INFO blam! 0: 0x5629f4ad8a0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 11 13:09:53.914 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 11 13:09:53.914 INFO blam! 1: 0x5629f4ae49b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 11 13:09:53.914 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 11 13:09:53.914 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 11 13:09:53.914 INFO blam! 2: 0x5629f4add6ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:211 Oct 11 13:09:53.914 INFO blam! 3: 0x5629f4add3bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:221 Oct 11 13:09:53.914 INFO blam! 4: 0x5629f4addd5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:476 Oct 11 13:09:53.914 INFO blam! 5: 0x5629f4add919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:390 Oct 11 13:09:53.914 INFO blam! 6: 0x5629f4add87d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:345 Oct 11 13:09:53.914 INFO blam! 7: 0x5629f4a24c73 - rsmt2::example::get_solver::h67ee718069736fb9 Oct 11 13:09:53.914 INFO blam! at src/example/mod.rs:21 Oct 11 13:09:53.914 INFO blam! 8: 0x5629f4a4f72b - rsmt2::example::simple::run::h73f887d1ded85922 Oct 11 13:09:53.914 INFO blam! at src/example/simple.rs:494 Oct 11 13:09:53.914 INFO blam! 9: 0x5629f4a4f6e9 - rsmt2::example::simple::run::{{closure}}::h1d9232b1251dfea5 Oct 11 13:09:53.914 INFO blam! at src/example/simple.rs:493 Oct 11 13:09:53.914 INFO blam! 10: 0x5629f4a213dd - core::ops::function::FnOnce::call_once::h9367020ce925bafe Oct 11 13:09:53.914 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.914 INFO blam! 11: 0x5629f4a6002e - >::call_box::h95b7cb918af67b5d Oct 11 13:09:53.914 INFO blam! at libtest/lib.rs:1468 Oct 11 13:09:53.914 INFO blam! at libcore/ops/function.rs:238 Oct 11 13:09:53.914 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.914 INFO blam! 12: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.914 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.914 INFO blam! 13: 0x5629f4a80b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.914 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.914 INFO blam! at libtest/lib.rs:1423 Oct 11 13:09:53.914 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 11 13:09:53.914 INFO blam! 14: 0x5629f4a81784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 11 13:09:53.914 INFO blam! at libstd/thread/mod.rs:409 Oct 11 13:09:53.914 INFO blam! at libstd/panic.rs:313 Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:310 Oct 11 13:09:53.914 INFO blam! 15: 0x5629f4aefb89 - __rust_maybe_catch_panic Oct 11 13:09:53.914 INFO blam! at libpanic_unwind/lib.rs:102 Oct 11 13:09:53.914 INFO blam! 16: 0x5629f4a6ed46 - >::call_box::h96125cb29a9ba44b Oct 11 13:09:53.914 INFO blam! at libstd/panicking.rs:289 Oct 11 13:09:53.914 INFO blam! at libstd/panic.rs:392 Oct 11 13:09:53.914 INFO blam! at libstd/thread/mod.rs:408 Oct 11 13:09:53.914 INFO blam! at liballoc/boxed.rs:672 Oct 11 13:09:53.914 INFO blam! 17: 0x5629f4adafea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 11 13:09:53.914 INFO blam! at liballoc/boxed.rs:682 Oct 11 13:09:53.914 INFO blam! at libstd/sys_common/thread.rs:24 Oct 11 13:09:53.914 INFO blam! 18: 0x5629f4ace615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 11 13:09:53.914 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 11 13:09:53.914 INFO blam! 19: 0x7f866d9006b9 - start_thread Oct 11 13:09:53.914 INFO blam! 20: 0x7f866d42041c - clone Oct 11 13:09:53.914 INFO blam! 21: 0x0 - Oct 11 13:09:53.914 INFO blam! Oct 11 13:09:53.914 INFO blam! Oct 11 13:09:53.915 INFO blam! failures: Oct 11 13:09:53.915 INFO blam! common::logic Oct 11 13:09:53.915 INFO blam! example::print_time::declare_non_nullary_fun Oct 11 13:09:53.915 INFO blam! example::print_time::test_native Oct 11 13:09:53.915 INFO blam! example::print_time::test_unroll Oct 11 13:09:53.915 INFO blam! example::simple::run Oct 11 13:09:53.915 INFO blam! Oct 11 13:09:53.915 INFO blam! test result: FAILED. 0 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out Oct 11 13:09:53.915 INFO blam! Oct 11 13:09:53.915 INFO kablam! error: test failed, to rerun pass '--lib' Oct 11 13:09:53.915 INFO kablam! su: No module specific data is present Oct 11 13:09:54.516 INFO running `"docker" "rm" "-f" "63b015b0d4339a56fe7797aec77abe82aa52c4b1d816e91ba7b225450634120a"` Oct 11 13:09:54.779 INFO blam! 63b015b0d4339a56fe7797aec77abe82aa52c4b1d816e91ba7b225450634120a