Oct 10 20:07:48.160 INFO testing kino-mc/rsmt2 against master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513 for rustdoc-test-static-cling Oct 10 20:07:48.160 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt build --frozen Oct 10 20:07:48.160 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/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 10 20:07:48.333 INFO blam! b6cb042b2ee0f1d54b84fd519db9e811110b575e850667ab0246c5fdc1133a1c Oct 10 20:07:48.338 INFO running `"docker" "start" "-a" "b6cb042b2ee0f1d54b84fd519db9e811110b575e850667ab0246c5fdc1133a1c"` Oct 10 20:07:48.786 INFO kablam! usermod: no changes Oct 10 20:07:48.840 INFO kablam! Compiling error-chain v0.12.0 Oct 10 20:07:50.107 INFO kablam! Compiling rsmt2 v0.9.11 (/source) Oct 10 20:07:52.850 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 4.04s Oct 10 20:07:52.851 INFO kablam! su: No module specific data is present Oct 10 20:07:53.596 INFO running `"docker" "rm" "-f" "b6cb042b2ee0f1d54b84fd519db9e811110b575e850667ab0246c5fdc1133a1c"` Oct 10 20:07:53.800 INFO blam! b6cb042b2ee0f1d54b84fd519db9e811110b575e850667ab0246c5fdc1133a1c Oct 10 20:07:53.804 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen --no-run Oct 10 20:07:53.804 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/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 10 20:07:54.176 INFO blam! 4ae6f2adebb59dbba5940d25c2c2de832c1ea0c6bedfb5e5b96eb1e4d63b3c90 Oct 10 20:07:54.177 INFO running `"docker" "start" "-a" "4ae6f2adebb59dbba5940d25c2c2de832c1ea0c6bedfb5e5b96eb1e4d63b3c90"` Oct 10 20:07:55.292 INFO kablam! usermod: no changes Oct 10 20:07:55.420 INFO kablam! Compiling rsmt2 v0.9.11 (/source) Oct 10 20:08:00.975 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 5.63s Oct 10 20:08:00.975 INFO kablam! su: No module specific data is present Oct 10 20:08:02.061 INFO running `"docker" "rm" "-f" "4ae6f2adebb59dbba5940d25c2c2de832c1ea0c6bedfb5e5b96eb1e4d63b3c90"` Oct 10 20:08:02.343 INFO blam! 4ae6f2adebb59dbba5940d25c2c2de832c1ea0c6bedfb5e5b96eb1e4d63b3c90 Oct 10 20:08:02.352 INFO running: cargo +0e07c4281c343e9e15a0a8fca79538ad1a8eb513-alt test --frozen Oct 10 20:08:02.352 INFO running `"docker" "create" "-v" "/mnt/big/crater/./work/local/test-source/worker-7/rustdoc-test-static-cling/master#0e07c4281c343e9e15a0a8fca79538ad1a8eb513:/source:ro,Z" "-v" "/mnt/big/crater/./work/local/target-dirs/rustdoc-test-static-cling/worker-7/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 10 20:08:02.812 INFO blam! c7f50a6577415d584e7c6f75da7ca663293f59f4047daeae38cd48791e3ccb1b Oct 10 20:08:02.815 INFO running `"docker" "start" "-a" "c7f50a6577415d584e7c6f75da7ca663293f59f4047daeae38cd48791e3ccb1b"` Oct 10 20:08:04.052 INFO kablam! usermod: no changes Oct 10 20:08:04.132 INFO kablam! Finished dev [unoptimized + debuginfo] target(s) in 0.05s Oct 10 20:08:04.132 INFO kablam! Running /target/debug/deps/rsmt2-3eef46f402695611 Oct 10 20:08:04.137 INFO blam! Oct 10 20:08:04.137 INFO blam! running 5 tests Oct 10 20:08:04.276 INFO blam! test example::simple::run ... FAILED Oct 10 20:08:04.277 INFO kablam! error: test failed, to rerun pass '--lib' Oct 10 20:08:04.277 INFO blam! test common::logic ... FAILED Oct 10 20:08:04.277 INFO kablam! su: No module specific data is present Oct 10 20:08:04.277 INFO blam! test example::print_time::declare_non_nullary_fun ... FAILED Oct 10 20:08:04.277 INFO blam! test example::print_time::test_native ... FAILED Oct 10 20:08:04.277 INFO blam! test example::print_time::test_unroll ... FAILED Oct 10 20:08:04.278 INFO blam! Oct 10 20:08:04.278 INFO blam! failures: Oct 10 20:08:04.278 INFO blam! Oct 10 20:08:04.278 INFO blam! ---- example::simple::run stdout ---- Oct 10 20:08:04.278 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 10 20:08:04.278 INFO blam! 0: 0x55e70348de65 - backtrace::backtrace::libunwind::trace::h2d1f9efb3bcc4c2c Oct 10 20:08:04.278 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 10 20:08:04.279 INFO blam! - backtrace::backtrace::trace::h8f68613b4e41ffc2 Oct 10 20:08:04.279 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 10 20:08:04.279 INFO blam! 1: 0x55e7034884de - backtrace::capture::Backtrace::new_unresolved::h14e099e17f11c4db Oct 10 20:08:04.279 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 10 20:08:04.279 INFO blam! 2: 0x55e7034872fa - error_chain::backtrace::imp::InternalBacktrace::new::hfdb521bc0dafde02 Oct 10 20:08:04.280 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 10 20:08:04.280 INFO blam! 3: 0x55e7034083d8 - core::ops::function::FnOnce::call_once::h6cc015c04101ac93 Oct 10 20:08:04.280 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.280 INFO blam! 4: 0x55e70343affa - >::unwrap_or_else::hf469dcb146cf3e9b Oct 10 20:08:04.280 INFO blam! at libcore/option.rs:396 Oct 10 20:08:04.281 INFO blam! 5: 0x55e703407093 - error_chain::State::new::h59abde6650d59bfe Oct 10 20:08:04.281 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 10 20:08:04.281 INFO blam! 6: 0x55e7033ff155 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::hbb949ec28739042f Oct 10 20:08:04.281 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 10 20:08:04.281 INFO blam! 7: 0x55e70344257f - >::map_err::h67cfa7ce8409f3b5 Oct 10 20:08:04.282 INFO blam! at libcore/result.rs:530 Oct 10 20:08:04.282 INFO blam! 8: 0x55e7034453d3 - as rsmt2::errors::ResExt>::chain_err::h0143c1c88234d316 Oct 10 20:08:04.282 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 10 20:08:04.282 INFO blam! 9: 0x55e703410655 - >::spawn::hfe0ecfc179137a4e Oct 10 20:08:04.282 INFO blam! at src/solver.rs:134 Oct 10 20:08:04.283 INFO blam! 10: 0x55e703411ee9 - >::new::hfbd9172ce00e7a1a Oct 10 20:08:04.283 INFO blam! at src/solver.rs:175 Oct 10 20:08:04.283 INFO blam! 11: 0x55e7034125a8 - >::default::h701ad7fc805b454d Oct 10 20:08:04.283 INFO blam! at src/solver.rs:196 Oct 10 20:08:04.283 INFO blam! 12: 0x55e70340bad0 - rsmt2::example::get_solver::hee658183472368cc Oct 10 20:08:04.284 INFO blam! at src/example/mod.rs:19 Oct 10 20:08:04.284 INFO blam! 13: 0x55e70343672b - rsmt2::example::simple::run::h31ac3862a9a6e650 Oct 10 20:08:04.284 INFO blam! at src/example/simple.rs:494 Oct 10 20:08:04.284 INFO blam! 14: 0x55e7034366e9 - rsmt2::example::simple::run::{{closure}}::hee804c38857d0a5e Oct 10 20:08:04.284 INFO blam! at src/example/simple.rs:493 Oct 10 20:08:04.285 INFO blam! 15: 0x55e70340847d - core::ops::function::FnOnce::call_once::hc97ec306bcceaeb4 Oct 10 20:08:04.285 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.285 INFO blam! 16: 0x55e70344702e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 10 20:08:04.285 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.285 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 10 20:08:04.286 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.286 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.286 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.286 INFO blam! 17: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.287 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.287 INFO blam! 18: 0x55e703467b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 10 20:08:04.287 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.288 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 10 20:08:04.288 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.288 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 10 20:08:04.289 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.289 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.289 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.289 INFO blam! 19: 0x55e703468784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 10 20:08:04.290 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.290 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 10 20:08:04.290 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.290 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.290 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.291 INFO blam! 20: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.291 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.291 INFO blam! 21: 0x55e703455d46 - std::panicking::try::hc008d3655cac22f0 Oct 10 20:08:04.291 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.292 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 10 20:08:04.292 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.292 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 10 20:08:04.293 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.293 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.293 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.293 INFO blam! 22: 0x55e7034c1fea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 10 20:08:04.294 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.294 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.294 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.294 INFO blam! 23: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.295 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.295 INFO blam! 24: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.295 INFO blam! 25: 0x7ff2c4bf141c - clone Oct 10 20:08:04.296 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 10 20:08:04.296 INFO blam! stack backtrace: Oct 10 20:08:04.300 INFO blam! 0: 0x55e7034bfa0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 10 20:08:04.301 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 10 20:08:04.301 INFO blam! 1: 0x55e7034cb9b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 10 20:08:04.301 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 10 20:08:04.301 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 10 20:08:04.301 INFO blam! 2: 0x55e7034c46ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:211 Oct 10 20:08:04.301 INFO blam! 3: 0x55e7034c43bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:221 Oct 10 20:08:04.301 INFO blam! 4: 0x55e7034c4d5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:476 Oct 10 20:08:04.301 INFO blam! 5: 0x55e7034c4919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:390 Oct 10 20:08:04.301 INFO blam! 6: 0x55e7034c487d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:345 Oct 10 20:08:04.301 INFO blam! 7: 0x55e70340bc73 - rsmt2::example::get_solver::hee658183472368cc Oct 10 20:08:04.301 INFO blam! at src/example/mod.rs:21 Oct 10 20:08:04.301 INFO blam! 8: 0x55e70343672b - rsmt2::example::simple::run::h31ac3862a9a6e650 Oct 10 20:08:04.301 INFO blam! at src/example/simple.rs:494 Oct 10 20:08:04.301 INFO blam! 9: 0x55e7034366e9 - rsmt2::example::simple::run::{{closure}}::hee804c38857d0a5e Oct 10 20:08:04.301 INFO blam! at src/example/simple.rs:493 Oct 10 20:08:04.301 INFO blam! 10: 0x55e70340847d - core::ops::function::FnOnce::call_once::hc97ec306bcceaeb4 Oct 10 20:08:04.301 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.301 INFO blam! 11: 0x55e70344702e - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.301 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.301 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.301 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.301 INFO blam! 12: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.301 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.301 INFO blam! 13: 0x55e703467b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.301 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.301 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.301 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.301 INFO blam! 14: 0x55e703468784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.301 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.301 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.301 INFO blam! 15: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.301 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.301 INFO blam! 16: 0x55e703455d46 - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.301 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.301 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.301 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.301 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.301 INFO blam! 17: 0x55e7034c1fea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.301 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.301 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.301 INFO blam! 18: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.301 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.301 INFO blam! 19: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.301 INFO blam! 20: 0x7ff2c4bf141c - clone Oct 10 20:08:04.301 INFO blam! 21: 0x0 - Oct 10 20:08:04.301 INFO blam! Oct 10 20:08:04.301 INFO blam! ---- common::logic stdout ---- Oct 10 20:08:04.301 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 10 20:08:04.301 INFO blam! 0: 0x55e70348de65 - backtrace::backtrace::libunwind::trace::h2d1f9efb3bcc4c2c Oct 10 20:08:04.301 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 10 20:08:04.301 INFO blam! - backtrace::backtrace::trace::h8f68613b4e41ffc2 Oct 10 20:08:04.301 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 10 20:08:04.301 INFO blam! 1: 0x55e7034884de - backtrace::capture::Backtrace::new_unresolved::h14e099e17f11c4db Oct 10 20:08:04.301 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 10 20:08:04.301 INFO blam! 2: 0x55e7034872fa - error_chain::backtrace::imp::InternalBacktrace::new::hfdb521bc0dafde02 Oct 10 20:08:04.301 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 10 20:08:04.301 INFO blam! 3: 0x55e7034083d8 - core::ops::function::FnOnce::call_once::h6cc015c04101ac93 Oct 10 20:08:04.301 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.301 INFO blam! 4: 0x55e70343affa - >::unwrap_or_else::hf469dcb146cf3e9b Oct 10 20:08:04.301 INFO blam! at libcore/option.rs:396 Oct 10 20:08:04.301 INFO blam! 5: 0x55e703407093 - error_chain::State::new::h59abde6650d59bfe Oct 10 20:08:04.301 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 10 20:08:04.301 INFO blam! 6: 0x55e7033fee25 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::hb105d1328039dfba Oct 10 20:08:04.301 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 10 20:08:04.301 INFO blam! 7: 0x55e703441c9f - >::map_err::h224b2aab29407a47 Oct 10 20:08:04.301 INFO blam! at libcore/result.rs:530 Oct 10 20:08:04.301 INFO blam! 8: 0x55e703445463 - as rsmt2::errors::ResExt>::chain_err::h084d544a982b2a3e Oct 10 20:08:04.301 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 10 20:08:04.301 INFO blam! 9: 0x55e70340fcc5 - >::spawn::h25c6fdcc4086430c Oct 10 20:08:04.301 INFO blam! at src/solver.rs:134 Oct 10 20:08:04.301 INFO blam! 10: 0x55e7034118b9 - >::new::hc842ddfe2889ef7e Oct 10 20:08:04.301 INFO blam! at src/solver.rs:175 Oct 10 20:08:04.301 INFO blam! 11: 0x55e703406be7 - rsmt2::common::logic::h0b33eec9a84c3757 Oct 10 20:08:04.301 INFO blam! at src/common.rs:223 Oct 10 20:08:04.301 INFO blam! 12: 0x55e703406b79 - rsmt2::common::logic::{{closure}}::h2af4a02ba3e937f8 Oct 10 20:08:04.301 INFO blam! at src/common.rs:217 Oct 10 20:08:04.301 INFO blam! 13: 0x55e70340835d - core::ops::function::FnOnce::call_once::h155bb957936dad8f Oct 10 20:08:04.301 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.301 INFO blam! 14: 0x55e70344702e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 10 20:08:04.301 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.301 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 10 20:08:04.302 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.302 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.302 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.302 INFO blam! 15: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.302 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.302 INFO blam! 16: 0x55e703467b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.302 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 10 20:08:04.302 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.302 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 10 20:08:04.302 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.302 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.302 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.302 INFO blam! 17: 0x55e703468784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 10 20:08:04.302 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.302 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 10 20:08:04.302 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.302 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.302 INFO blam! 18: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.302 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.302 INFO blam! 19: 0x55e703455d46 - std::panicking::try::hc008d3655cac22f0 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.302 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 10 20:08:04.302 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.302 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 10 20:08:04.302 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.302 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.302 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.302 INFO blam! 20: 0x55e7034c1fea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 10 20:08:04.302 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.302 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.302 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.302 INFO blam! 21: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.302 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.302 INFO blam! 22: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.302 INFO blam! 23: 0x7ff2c4bf141c - clone Oct 10 20:08:04.302 INFO blam! 24: 0x0 - ) } })', libcore/result.rs:1009:5 Oct 10 20:08:04.302 INFO blam! stack backtrace: Oct 10 20:08:04.302 INFO blam! 0: 0x55e7034bfa0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 10 20:08:04.302 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 10 20:08:04.302 INFO blam! 1: 0x55e7034cb9b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 10 20:08:04.302 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 10 20:08:04.302 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 10 20:08:04.302 INFO blam! 2: 0x55e7034c46ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:211 Oct 10 20:08:04.302 INFO blam! 3: 0x55e7034c43bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:221 Oct 10 20:08:04.302 INFO blam! 4: 0x55e7034c4d5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:476 Oct 10 20:08:04.302 INFO blam! 5: 0x55e7034c4919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:390 Oct 10 20:08:04.302 INFO blam! 6: 0x55e7034c4815 - rust_begin_unwind Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:325 Oct 10 20:08:04.302 INFO blam! 7: 0x55e703506f6b - core::panicking::panic_fmt::hf99aac1e278ac2e5 Oct 10 20:08:04.302 INFO blam! at libcore/panicking.rs:77 Oct 10 20:08:04.302 INFO blam! 8: 0x55e703444733 - core::result::unwrap_failed::hbe1578432000f8cb Oct 10 20:08:04.302 INFO blam! at libcore/macros.rs:26 Oct 10 20:08:04.302 INFO blam! 9: 0x55e703441375 - >::expect::h4a4d430b012ba43d Oct 10 20:08:04.302 INFO blam! at libcore/result.rs:835 Oct 10 20:08:04.302 INFO blam! 10: 0x55e703406c08 - rsmt2::common::logic::h0b33eec9a84c3757 Oct 10 20:08:04.302 INFO blam! at src/common.rs:223 Oct 10 20:08:04.302 INFO blam! 11: 0x55e703406b79 - rsmt2::common::logic::{{closure}}::h2af4a02ba3e937f8 Oct 10 20:08:04.302 INFO blam! at src/common.rs:217 Oct 10 20:08:04.302 INFO blam! 12: 0x55e70340835d - core::ops::function::FnOnce::call_once::h155bb957936dad8f Oct 10 20:08:04.302 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.302 INFO blam! 13: 0x55e70344702e - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.302 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.302 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.302 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.302 INFO blam! 14: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.302 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.302 INFO blam! 15: 0x55e703467b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.302 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.302 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.302 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.302 INFO blam! 16: 0x55e703468784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.302 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.302 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.302 INFO blam! 17: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.302 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.302 INFO blam! 18: 0x55e703455d46 - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.302 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.302 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.302 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.302 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.302 INFO blam! 19: 0x55e7034c1fea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.302 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.303 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.303 INFO blam! 20: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.303 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.303 INFO blam! 21: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.303 INFO blam! 22: 0x7ff2c4bf141c - clone Oct 10 20:08:04.303 INFO blam! 23: 0x0 - Oct 10 20:08:04.303 INFO blam! Oct 10 20:08:04.303 INFO blam! ---- example::print_time::declare_non_nullary_fun stdout ---- Oct 10 20:08:04.303 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 10 20:08:04.303 INFO blam! 0: 0x55e70348de65 - backtrace::backtrace::libunwind::trace::h2d1f9efb3bcc4c2c Oct 10 20:08:04.303 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 10 20:08:04.303 INFO blam! - backtrace::backtrace::trace::h8f68613b4e41ffc2 Oct 10 20:08:04.303 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 10 20:08:04.303 INFO blam! 1: 0x55e7034884de - backtrace::capture::Backtrace::new_unresolved::h14e099e17f11c4db Oct 10 20:08:04.303 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 10 20:08:04.303 INFO blam! 2: 0x55e7034872fa - error_chain::backtrace::imp::InternalBacktrace::new::hfdb521bc0dafde02 Oct 10 20:08:04.303 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 10 20:08:04.303 INFO blam! 3: 0x55e7034083d8 - core::ops::function::FnOnce::call_once::h6cc015c04101ac93 Oct 10 20:08:04.303 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.303 INFO blam! 4: 0x55e70343affa - >::unwrap_or_else::hf469dcb146cf3e9b Oct 10 20:08:04.303 INFO blam! at libcore/option.rs:396 Oct 10 20:08:04.303 INFO blam! 5: 0x55e703407093 - error_chain::State::new::h59abde6650d59bfe Oct 10 20:08:04.303 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 10 20:08:04.303 INFO blam! 6: 0x55e7033feaf5 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::ha870407a51a03a66 Oct 10 20:08:04.303 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 10 20:08:04.303 INFO blam! 7: 0x55e70344281f - >::map_err::h6aed01b3a7757771 Oct 10 20:08:04.303 INFO blam! at libcore/result.rs:530 Oct 10 20:08:04.303 INFO blam! 8: 0x55e703445373 - as rsmt2::errors::ResExt>::chain_err::h00bd7ca72560978d Oct 10 20:08:04.303 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 10 20:08:04.303 INFO blam! 9: 0x55e70340f335 - >::spawn::h1e3a3b0c9b3aeaaf Oct 10 20:08:04.303 INFO blam! at src/solver.rs:134 Oct 10 20:08:04.303 INFO blam! 10: 0x55e703411289 - >::new::h514008ef20045faa Oct 10 20:08:04.303 INFO blam! at src/solver.rs:175 Oct 10 20:08:04.303 INFO blam! 11: 0x55e703412528 - >::default::h3af68b9e7ef5e472 Oct 10 20:08:04.303 INFO blam! at src/solver.rs:196 Oct 10 20:08:04.303 INFO blam! 12: 0x55e70340b8b0 - rsmt2::example::get_solver::hd800780f2f71ecf8 Oct 10 20:08:04.303 INFO blam! at src/example/mod.rs:19 Oct 10 20:08:04.303 INFO blam! 13: 0x55e7033e4210 - rsmt2::example::print_time::declare_non_nullary_fun::he28b262e21c80a0c Oct 10 20:08:04.303 INFO blam! at src/example/print_time.rs:309 Oct 10 20:08:04.303 INFO blam! 14: 0x55e7033e41e9 - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::ha660678e45118cb6 Oct 10 20:08:04.303 INFO blam! at src/example/print_time.rs:308 Oct 10 20:08:04.303 INFO blam! 15: 0x55e7034083fd - core::ops::function::FnOnce::call_once::h80482de259f61f4b Oct 10 20:08:04.303 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.303 INFO blam! 16: 0x55e70344702e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 10 20:08:04.303 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.303 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 10 20:08:04.303 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.303 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.303 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.303 INFO blam! 17: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.303 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.303 INFO blam! 18: 0x55e703467b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 10 20:08:04.303 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.303 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 10 20:08:04.303 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.303 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 10 20:08:04.303 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.303 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.303 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.303 INFO blam! 19: 0x55e703468784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 10 20:08:04.303 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.303 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 10 20:08:04.303 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.303 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.303 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.303 INFO blam! 20: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.303 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.303 INFO blam! 21: 0x55e703455d46 - std::panicking::try::hc008d3655cac22f0 Oct 10 20:08:04.303 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.303 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 10 20:08:04.303 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.303 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 10 20:08:04.303 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.303 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.303 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.303 INFO blam! 22: 0x55e7034c1fea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 10 20:08:04.303 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.303 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.303 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.303 INFO blam! 23: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.303 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.303 INFO blam! 24: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.303 INFO blam! 25: 0x7ff2c4bf141c - clone Oct 10 20:08:04.303 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 10 20:08:04.303 INFO blam! stack backtrace: Oct 10 20:08:04.304 INFO blam! 0: 0x55e7034bfa0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 10 20:08:04.304 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 10 20:08:04.304 INFO blam! 1: 0x55e7034cb9b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 10 20:08:04.304 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 10 20:08:04.304 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 10 20:08:04.304 INFO blam! 2: 0x55e7034c46ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 10 20:08:04.304 INFO blam! at libstd/panicking.rs:211 Oct 10 20:08:04.304 INFO blam! 3: 0x55e7034c43bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 10 20:08:04.304 INFO blam! at libstd/panicking.rs:221 Oct 10 20:08:04.304 INFO blam! 4: 0x55e7034c4d5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 10 20:08:04.304 INFO blam! at libstd/panicking.rs:476 Oct 10 20:08:04.304 INFO blam! 5: 0x55e7034c4919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 10 20:08:04.304 INFO blam! at libstd/panicking.rs:390 Oct 10 20:08:04.304 INFO blam! 6: 0x55e7034c487d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 10 20:08:04.304 INFO blam! at libstd/panicking.rs:345 Oct 10 20:08:04.304 INFO blam! 7: 0x55e70340ba53 - rsmt2::example::get_solver::hd800780f2f71ecf8 Oct 10 20:08:04.304 INFO blam! at src/example/mod.rs:21 Oct 10 20:08:04.304 INFO blam! 8: 0x55e7033e4210 - rsmt2::example::print_time::declare_non_nullary_fun::he28b262e21c80a0c Oct 10 20:08:04.304 INFO blam! at src/example/print_time.rs:309 Oct 10 20:08:04.304 INFO blam! 9: 0x55e7033e41e9 - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::ha660678e45118cb6 Oct 10 20:08:04.304 INFO blam! at src/example/print_time.rs:308 Oct 10 20:08:04.304 INFO blam! 10: 0x55e7034083fd - core::ops::function::FnOnce::call_once::h80482de259f61f4b Oct 10 20:08:04.304 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.304 INFO blam! 11: 0x55e70344702e - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.304 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.304 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.304 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.304 INFO blam! 12: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.304 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.304 INFO blam! 13: 0x55e703467b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.308 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.308 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.308 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.308 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.308 INFO blam! 14: 0x55e703468784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.308 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.308 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.308 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.308 INFO blam! 15: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.308 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.308 INFO blam! 16: 0x55e703455d46 - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.308 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.308 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.308 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.308 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.308 INFO blam! 17: 0x55e7034c1fea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.308 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.308 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.308 INFO blam! 18: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.308 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.308 INFO blam! 19: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.308 INFO blam! 20: 0x7ff2c4bf141c - clone Oct 10 20:08:04.308 INFO blam! 21: 0x0 - Oct 10 20:08:04.308 INFO blam! Oct 10 20:08:04.308 INFO blam! ---- example::print_time::test_native stdout ---- Oct 10 20:08:04.308 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 10 20:08:04.308 INFO blam! 0: 0x55e70348de65 - backtrace::backtrace::libunwind::trace::h2d1f9efb3bcc4c2c Oct 10 20:08:04.308 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 10 20:08:04.308 INFO blam! - backtrace::backtrace::trace::h8f68613b4e41ffc2 Oct 10 20:08:04.308 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 10 20:08:04.308 INFO blam! 1: 0x55e7034884de - backtrace::capture::Backtrace::new_unresolved::h14e099e17f11c4db Oct 10 20:08:04.308 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 10 20:08:04.308 INFO blam! 2: 0x55e7034872fa - error_chain::backtrace::imp::InternalBacktrace::new::hfdb521bc0dafde02 Oct 10 20:08:04.308 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 10 20:08:04.308 INFO blam! 3: 0x55e7034083d8 - core::ops::function::FnOnce::call_once::h6cc015c04101ac93 Oct 10 20:08:04.308 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.308 INFO blam! 4: 0x55e70343affa - >::unwrap_or_else::hf469dcb146cf3e9b Oct 10 20:08:04.308 INFO blam! at libcore/option.rs:396 Oct 10 20:08:04.308 INFO blam! 5: 0x55e703407093 - error_chain::State::new::h59abde6650d59bfe Oct 10 20:08:04.308 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 10 20:08:04.308 INFO blam! 6: 0x55e7033feaf5 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::ha870407a51a03a66 Oct 10 20:08:04.308 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 10 20:08:04.308 INFO blam! 7: 0x55e70344281f - >::map_err::h6aed01b3a7757771 Oct 10 20:08:04.308 INFO blam! at libcore/result.rs:530 Oct 10 20:08:04.308 INFO blam! 8: 0x55e703445373 - as rsmt2::errors::ResExt>::chain_err::h00bd7ca72560978d Oct 10 20:08:04.309 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 10 20:08:04.309 INFO blam! 9: 0x55e70340f335 - >::spawn::h1e3a3b0c9b3aeaaf Oct 10 20:08:04.309 INFO blam! at src/solver.rs:134 Oct 10 20:08:04.309 INFO blam! 10: 0x55e703411289 - >::new::h514008ef20045faa Oct 10 20:08:04.309 INFO blam! at src/solver.rs:175 Oct 10 20:08:04.309 INFO blam! 11: 0x55e703412528 - >::default::h3af68b9e7ef5e472 Oct 10 20:08:04.309 INFO blam! at src/solver.rs:196 Oct 10 20:08:04.309 INFO blam! 12: 0x55e70340b8b0 - rsmt2::example::get_solver::hd800780f2f71ecf8 Oct 10 20:08:04.309 INFO blam! at src/example/mod.rs:19 Oct 10 20:08:04.309 INFO blam! 13: 0x55e7033e44e9 - rsmt2::example::print_time::test_native::hd1da8c9a7445d953 Oct 10 20:08:04.309 INFO blam! at src/example/print_time.rs:324 Oct 10 20:08:04.309 INFO blam! 14: 0x55e7033e4479 - rsmt2::example::print_time::test_native::{{closure}}::h355009365bd118e7 Oct 10 20:08:04.309 INFO blam! at src/example/print_time.rs:321 Oct 10 20:08:04.309 INFO blam! 15: 0x55e70340843d - core::ops::function::FnOnce::call_once::h869b40880f42f6e8 Oct 10 20:08:04.309 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.309 INFO blam! 16: 0x55e70344702e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 10 20:08:04.309 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.309 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 10 20:08:04.309 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.309 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.309 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.309 INFO blam! 17: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.309 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.309 INFO blam! 18: 0x55e703467b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.309 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 10 20:08:04.309 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.309 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 10 20:08:04.309 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.309 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.309 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.309 INFO blam! 19: 0x55e703468784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 10 20:08:04.309 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.309 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 10 20:08:04.309 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.309 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.309 INFO blam! 20: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.309 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.309 INFO blam! 21: 0x55e703455d46 - std::panicking::try::hc008d3655cac22f0 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.309 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 10 20:08:04.309 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.309 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 10 20:08:04.309 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.309 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.309 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.309 INFO blam! 22: 0x55e7034c1fea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 10 20:08:04.309 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.309 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.309 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.309 INFO blam! 23: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.309 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.309 INFO blam! 24: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.309 INFO blam! 25: 0x7ff2c4bf141c - clone Oct 10 20:08:04.309 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 10 20:08:04.309 INFO blam! stack backtrace: Oct 10 20:08:04.309 INFO blam! 0: 0x55e7034bfa0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 10 20:08:04.309 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 10 20:08:04.309 INFO blam! 1: 0x55e7034cb9b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 10 20:08:04.309 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 10 20:08:04.309 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 10 20:08:04.309 INFO blam! 2: 0x55e7034c46ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:211 Oct 10 20:08:04.309 INFO blam! 3: 0x55e7034c43bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:221 Oct 10 20:08:04.309 INFO blam! 4: 0x55e7034c4d5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:476 Oct 10 20:08:04.309 INFO blam! 5: 0x55e7034c4919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:390 Oct 10 20:08:04.309 INFO blam! 6: 0x55e7034c487d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 10 20:08:04.309 INFO blam! at libstd/panicking.rs:345 Oct 10 20:08:04.309 INFO blam! 7: 0x55e70340ba53 - rsmt2::example::get_solver::hd800780f2f71ecf8 Oct 10 20:08:04.309 INFO blam! at src/example/mod.rs:21 Oct 10 20:08:04.309 INFO blam! 8: 0x55e7033e44e9 - rsmt2::example::print_time::test_native::hd1da8c9a7445d953 Oct 10 20:08:04.309 INFO blam! at src/example/print_time.rs:324 Oct 10 20:08:04.309 INFO blam! 9: 0x55e7033e4479 - rsmt2::example::print_time::test_native::{{closure}}::h355009365bd118e7 Oct 10 20:08:04.309 INFO blam! at src/example/print_time.rs:321 Oct 10 20:08:04.309 INFO blam! 10: 0x55e70340843d - core::ops::function::FnOnce::call_once::h869b40880f42f6e8 Oct 10 20:08:04.309 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.309 INFO blam! 11: 0x55e70344702e - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.309 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.309 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.309 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.310 INFO blam! 12: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.310 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.310 INFO blam! 13: 0x55e703467b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.310 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.310 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.310 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.310 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.310 INFO blam! 14: 0x55e703468784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.310 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.310 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.310 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.310 INFO blam! 15: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.310 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.310 INFO blam! 16: 0x55e703455d46 - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.310 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.310 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.310 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.310 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.310 INFO blam! 17: 0x55e7034c1fea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.310 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.310 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.310 INFO blam! 18: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.310 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.310 INFO blam! 19: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.310 INFO blam! 20: 0x7ff2c4bf141c - clone Oct 10 20:08:04.310 INFO blam! 21: 0x0 - Oct 10 20:08:04.310 INFO blam! Oct 10 20:08:04.310 INFO blam! ---- example::print_time::test_unroll stdout ---- Oct 10 20:08:04.310 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 10 20:08:04.310 INFO blam! 0: 0x55e70348de65 - backtrace::backtrace::libunwind::trace::h2d1f9efb3bcc4c2c Oct 10 20:08:04.310 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/libunwind.rs:53 Oct 10 20:08:04.310 INFO blam! - backtrace::backtrace::trace::h8f68613b4e41ffc2 Oct 10 20:08:04.310 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/backtrace/mod.rs:42 Oct 10 20:08:04.310 INFO blam! 1: 0x55e7034884de - backtrace::capture::Backtrace::new_unresolved::h14e099e17f11c4db Oct 10 20:08:04.310 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/backtrace-0.3.9/src/capture.rs:88 Oct 10 20:08:04.310 INFO blam! 2: 0x55e7034872fa - error_chain::backtrace::imp::InternalBacktrace::new::hfdb521bc0dafde02 Oct 10 20:08:04.310 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 Oct 10 20:08:04.310 INFO blam! 3: 0x55e7034083d8 - core::ops::function::FnOnce::call_once::h6cc015c04101ac93 Oct 10 20:08:04.310 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.310 INFO blam! 4: 0x55e70343affa - >::unwrap_or_else::hf469dcb146cf3e9b Oct 10 20:08:04.310 INFO blam! at libcore/option.rs:396 Oct 10 20:08:04.310 INFO blam! 5: 0x55e703407093 - error_chain::State::new::h59abde6650d59bfe Oct 10 20:08:04.310 INFO blam! at /cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 Oct 10 20:08:04.310 INFO blam! 6: 0x55e7033feaf5 - as rsmt2::errors::ResExt>::chain_err::{{closure}}::ha870407a51a03a66 Oct 10 20:08:04.310 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:147 Oct 10 20:08:04.310 INFO blam! 7: 0x55e70344281f - >::map_err::h6aed01b3a7757771 Oct 10 20:08:04.310 INFO blam! at libcore/result.rs:530 Oct 10 20:08:04.310 INFO blam! 8: 0x55e703445373 - as rsmt2::errors::ResExt>::chain_err::h00bd7ca72560978d Oct 10 20:08:04.310 INFO blam! at /source/<::error_chain::error_chain::impl_error_chain_processed macros>:145 Oct 10 20:08:04.310 INFO blam! 9: 0x55e70340f335 - >::spawn::h1e3a3b0c9b3aeaaf Oct 10 20:08:04.310 INFO blam! at src/solver.rs:134 Oct 10 20:08:04.310 INFO blam! 10: 0x55e703411289 - >::new::h514008ef20045faa Oct 10 20:08:04.310 INFO blam! at src/solver.rs:175 Oct 10 20:08:04.310 INFO blam! 11: 0x55e703412528 - >::default::h3af68b9e7ef5e472 Oct 10 20:08:04.310 INFO blam! at src/solver.rs:196 Oct 10 20:08:04.310 INFO blam! 12: 0x55e70340b8b0 - rsmt2::example::get_solver::hd800780f2f71ecf8 Oct 10 20:08:04.310 INFO blam! at src/example/mod.rs:19 Oct 10 20:08:04.310 INFO blam! 13: 0x55e7033e7a89 - rsmt2::example::print_time::test_unroll::hda167576435a807b Oct 10 20:08:04.310 INFO blam! at src/example/print_time.rs:416 Oct 10 20:08:04.310 INFO blam! 14: 0x55e7033e7a19 - rsmt2::example::print_time::test_unroll::{{closure}}::hef8aab196c16c0cb Oct 10 20:08:04.310 INFO blam! at src/example/print_time.rs:413 Oct 10 20:08:04.310 INFO blam! 15: 0x55e70340831d - core::ops::function::FnOnce::call_once::h06040d67170f5560 Oct 10 20:08:04.310 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.310 INFO blam! 16: 0x55e70344702e - test::run_test::{{closure}}::hcabdd276abf8f296 Oct 10 20:08:04.310 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.310 INFO blam! - core::ops::function::FnOnce::call_once::h1d50e8b6d369df98 Oct 10 20:08:04.310 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.310 INFO blam! - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.310 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.310 INFO blam! 17: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.310 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.310 INFO blam! 18: 0x55e703467b7d - std::panicking::try::h3c8b843f0a3ada26 Oct 10 20:08:04.310 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.310 INFO blam! - std::panic::catch_unwind::h6d942cad8753c78a Oct 10 20:08:04.310 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.310 INFO blam! - test::run_test::run_test_inner::{{closure}}::h201decf168940588 Oct 10 20:08:04.310 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.310 INFO blam! - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.310 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.310 INFO blam! 19: 0x55e703468784 - std::thread::Builder::spawn::{{closure}}::{{closure}}::hf072f13a53cf01bf Oct 10 20:08:04.310 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.310 INFO blam! - as core::ops::function::FnOnce<()>>::call_once::h22c81bd70bf1a725 Oct 10 20:08:04.310 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.311 INFO blam! - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.311 INFO blam! 20: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.311 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.311 INFO blam! 21: 0x55e703455d46 - std::panicking::try::hc008d3655cac22f0 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.311 INFO blam! - std::panic::catch_unwind::h89b6dcd382d60f3a Oct 10 20:08:04.311 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.311 INFO blam! - std::thread::Builder::spawn::{{closure}}::h1283fd1a85826753 Oct 10 20:08:04.311 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.311 INFO blam! - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.311 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.311 INFO blam! 22: 0x55e7034c1fea - + 'a)> as core::ops::function::FnOnce>::call_once::h2a88b48001a8d047 Oct 10 20:08:04.311 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.311 INFO blam! - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.311 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.311 INFO blam! 23: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.311 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.311 INFO blam! 24: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.311 INFO blam! 25: 0x7ff2c4bf141c - clone Oct 10 20:08:04.311 INFO blam! 26: 0x0 - ) } })', src/example/mod.rs:21:19 Oct 10 20:08:04.311 INFO blam! stack backtrace: Oct 10 20:08:04.311 INFO blam! 0: 0x55e7034bfa0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h52ace5b3d4e95617 Oct 10 20:08:04.311 INFO blam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Oct 10 20:08:04.311 INFO blam! 1: 0x55e7034cb9b6 - std::sys_common::backtrace::print::h6cfc8a66009c1cc9 Oct 10 20:08:04.311 INFO blam! at libstd/sys_common/backtrace.rs:71 Oct 10 20:08:04.311 INFO blam! at libstd/sys_common/backtrace.rs:59 Oct 10 20:08:04.311 INFO blam! 2: 0x55e7034c46ad - std::panicking::default_hook::{{closure}}::h47bedf778bf88480 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:211 Oct 10 20:08:04.311 INFO blam! 3: 0x55e7034c43bb - std::panicking::default_hook::h1ef46fa7cd894809 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:221 Oct 10 20:08:04.311 INFO blam! 4: 0x55e7034c4d5c - std::panicking::rust_panic_with_hook::h05510fde8841c579 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:476 Oct 10 20:08:04.311 INFO blam! 5: 0x55e7034c4919 - std::panicking::continue_panic_fmt::h6e11f50e47f94b00 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:390 Oct 10 20:08:04.311 INFO blam! 6: 0x55e7034c487d - std::panicking::begin_panic_fmt::h0063f49bf5a35411 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:345 Oct 10 20:08:04.311 INFO blam! 7: 0x55e70340ba53 - rsmt2::example::get_solver::hd800780f2f71ecf8 Oct 10 20:08:04.311 INFO blam! at src/example/mod.rs:21 Oct 10 20:08:04.311 INFO blam! 8: 0x55e7033e7a89 - rsmt2::example::print_time::test_unroll::hda167576435a807b Oct 10 20:08:04.311 INFO blam! at src/example/print_time.rs:416 Oct 10 20:08:04.311 INFO blam! 9: 0x55e7033e7a19 - rsmt2::example::print_time::test_unroll::{{closure}}::hef8aab196c16c0cb Oct 10 20:08:04.311 INFO blam! at src/example/print_time.rs:413 Oct 10 20:08:04.311 INFO blam! 10: 0x55e70340831d - core::ops::function::FnOnce::call_once::h06040d67170f5560 Oct 10 20:08:04.311 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.311 INFO blam! 11: 0x55e70344702e - >::call_box::h95b7cb918af67b5d Oct 10 20:08:04.311 INFO blam! at libtest/lib.rs:1468 Oct 10 20:08:04.311 INFO blam! at libcore/ops/function.rs:238 Oct 10 20:08:04.311 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.311 INFO blam! 12: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.311 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.311 INFO blam! 13: 0x55e703467b7d - std::sys_common::backtrace::__rust_begin_short_backtrace::he1120aab928e481f Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.311 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.311 INFO blam! at libtest/lib.rs:1423 Oct 10 20:08:04.311 INFO blam! at libstd/sys_common/backtrace.rs:136 Oct 10 20:08:04.311 INFO blam! 14: 0x55e703468784 - std::panicking::try::do_call::ha990a345054c2d63 Oct 10 20:08:04.311 INFO blam! at libstd/thread/mod.rs:409 Oct 10 20:08:04.311 INFO blam! at libstd/panic.rs:313 Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:310 Oct 10 20:08:04.311 INFO blam! 15: 0x55e7034d6b89 - __rust_maybe_catch_panic Oct 10 20:08:04.311 INFO blam! at libpanic_unwind/lib.rs:102 Oct 10 20:08:04.311 INFO blam! 16: 0x55e703455d46 - >::call_box::h96125cb29a9ba44b Oct 10 20:08:04.311 INFO blam! at libstd/panicking.rs:289 Oct 10 20:08:04.311 INFO blam! at libstd/panic.rs:392 Oct 10 20:08:04.311 INFO blam! at libstd/thread/mod.rs:408 Oct 10 20:08:04.311 INFO blam! at liballoc/boxed.rs:672 Oct 10 20:08:04.311 INFO blam! 17: 0x55e7034c1fea - std::sys_common::thread::start_thread::h97c4c5d82028f6b1 Oct 10 20:08:04.311 INFO blam! at liballoc/boxed.rs:682 Oct 10 20:08:04.311 INFO blam! at libstd/sys_common/thread.rs:24 Oct 10 20:08:04.311 INFO blam! 18: 0x55e7034b5615 - std::sys::unix::thread::Thread::new::thread_start::he7d65efc4dd16886 Oct 10 20:08:04.311 INFO blam! at libstd/sys/unix/thread.rs:90 Oct 10 20:08:04.311 INFO blam! 19: 0x7ff2c50d16b9 - start_thread Oct 10 20:08:04.311 INFO blam! 20: 0x7ff2c4bf141c - clone Oct 10 20:08:04.311 INFO blam! 21: 0x0 - Oct 10 20:08:04.311 INFO blam! Oct 10 20:08:04.311 INFO blam! Oct 10 20:08:04.311 INFO blam! failures: Oct 10 20:08:04.311 INFO blam! common::logic Oct 10 20:08:04.311 INFO blam! example::print_time::declare_non_nullary_fun Oct 10 20:08:04.311 INFO blam! example::print_time::test_native Oct 10 20:08:04.311 INFO blam! example::print_time::test_unroll Oct 10 20:08:04.311 INFO blam! example::simple::run Oct 10 20:08:04.311 INFO blam! Oct 10 20:08:04.312 INFO blam! test result: FAILED. 0 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out Oct 10 20:08:04.312 INFO blam! Oct 10 20:08:05.250 INFO running `"docker" "rm" "-f" "c7f50a6577415d584e7c6f75da7ca663293f59f4047daeae38cd48791e3ccb1b"` Oct 10 20:08:05.486 INFO blam! c7f50a6577415d584e7c6f75da7ca663293f59f4047daeae38cd48791e3ccb1b