[INFO] updating cached repository kino-mc/rsmt2 [INFO] running `"git" "fetch" "--all"` [INFO] [stdout] Fetching origin [INFO] [stderr] From git://github.com/kino-mc/rsmt2 [INFO] [stderr] * branch HEAD -> FETCH_HEAD [INFO] running `"git" "clone" "work/cache/sources/gh/kino-mc/rsmt2" "work/ex/beta-1.37-6/sources/1.36.0/gh/kino-mc/rsmt2"` [INFO] [stderr] Cloning into 'work/ex/beta-1.37-6/sources/1.36.0/gh/kino-mc/rsmt2'... [INFO] [stderr] done. [INFO] running `"git" "clone" "work/cache/sources/gh/kino-mc/rsmt2" "work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/kino-mc/rsmt2"` [INFO] [stderr] Cloning into 'work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/kino-mc/rsmt2'... [INFO] [stderr] done. [INFO] running `"git" "rev-parse" "HEAD"` [INFO] [stdout] 9a10161547b832f9bcbc1a239f4dace413196303 [INFO] sha for GitHub repo kino-mc/rsmt2: 9a10161547b832f9bcbc1a239f4dace413196303 [INFO] validating manifest of kino-mc/rsmt2 on toolchain 1.36.0 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] validating manifest of kino-mc/rsmt2 on toolchain beta-2019-07-23 [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "read-manifest" "--manifest-path" "Cargo.toml"` [INFO] started frobbing kino-mc/rsmt2 [INFO] finished frobbing kino-mc/rsmt2 [INFO] frobbed toml for kino-mc/rsmt2 written to work/ex/beta-1.37-6/sources/1.36.0/gh/kino-mc/rsmt2/Cargo.toml [INFO] started frobbing kino-mc/rsmt2 [INFO] finished frobbing kino-mc/rsmt2 [INFO] frobbed toml for kino-mc/rsmt2 written to work/ex/beta-1.37-6/sources/beta-2019-07-23/gh/kino-mc/rsmt2/Cargo.toml [INFO] crate kino-mc/rsmt2 already has a lockfile, it will not be regenerated [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "fetch" "--locked" "--manifest-path" "Cargo.toml"` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] testing kino-mc/rsmt2 against 1.36.0 for beta-1.37-6 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-7/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/kino-mc/rsmt2:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "build" "--frozen"` [INFO] [stdout] 2dcaddd56f498b83d2e0e9fe57e895222c76dc67a00a7f8ba7e3f326c5009cac [INFO] running `"docker" "start" "-a" "2dcaddd56f498b83d2e0e9fe57e895222c76dc67a00a7f8ba7e3f326c5009cac"` [INFO] [stderr] Blocking waiting for file lock on package cache lock [INFO] [stderr] Compiling cc v1.0.29 [INFO] [stderr] Compiling backtrace v0.3.13 [INFO] [stderr] Compiling backtrace-sys v0.1.28 [INFO] [stderr] Compiling error-chain v0.12.0 [INFO] [stderr] Compiling rsmt2 v0.10.0 (/opt/crater/workdir) [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/lib.rs:359:5 [INFO] [stderr] | [INFO] [stderr] 359 | / error_chain! { [INFO] [stderr] 360 | | types { [INFO] [stderr] 361 | | Error, ErrorKind, ResExt, SmtRes ; [INFO] [stderr] 362 | | } [INFO] [stderr] ... | [INFO] [stderr] 401 | | } [INFO] [stderr] 402 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(deprecated)] on by default [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 9.04s [INFO] running `"docker" "inspect" "2dcaddd56f498b83d2e0e9fe57e895222c76dc67a00a7f8ba7e3f326c5009cac"` [INFO] running `"docker" "rm" "-f" "2dcaddd56f498b83d2e0e9fe57e895222c76dc67a00a7f8ba7e3f326c5009cac"` [INFO] [stdout] 2dcaddd56f498b83d2e0e9fe57e895222c76dc67a00a7f8ba7e3f326c5009cac [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-7/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/kino-mc/rsmt2:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "test" "--frozen" "--no-run"` [INFO] [stdout] 92ddf82ff2f36cca6675fdad1509ea731b3a80bdfd3d30349ce55cbec64bfe5a [INFO] running `"docker" "start" "-a" "92ddf82ff2f36cca6675fdad1509ea731b3a80bdfd3d30349ce55cbec64bfe5a"` [INFO] [stderr] Compiling rsmt2 v0.10.0 (/opt/crater/workdir) [INFO] [stderr] warning: use of deprecated item 'std::error::Error::cause': replaced by Error::source, which can support downcasting [INFO] [stderr] --> src/lib.rs:359:5 [INFO] [stderr] | [INFO] [stderr] 359 | / error_chain! { [INFO] [stderr] 360 | | types { [INFO] [stderr] 361 | | Error, ErrorKind, ResExt, SmtRes ; [INFO] [stderr] 362 | | } [INFO] [stderr] ... | [INFO] [stderr] 401 | | } [INFO] [stderr] 402 | | } [INFO] [stderr] | |_____^ [INFO] [stderr] | [INFO] [stderr] = note: #[warn(deprecated)] on by default [INFO] [stderr] = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) [INFO] [stderr] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.41s [INFO] running `"docker" "inspect" "92ddf82ff2f36cca6675fdad1509ea731b3a80bdfd3d30349ce55cbec64bfe5a"` [INFO] running `"docker" "rm" "-f" "92ddf82ff2f36cca6675fdad1509ea731b3a80bdfd3d30349ce55cbec64bfe5a"` [INFO] [stdout] 92ddf82ff2f36cca6675fdad1509ea731b3a80bdfd3d30349ce55cbec64bfe5a [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-7/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/gh/kino-mc/rsmt2:/opt/crater/workdir:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/opt/crater/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/opt/crater/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/opt/crater/workdir" "-e" "MAP_USER_ID=1000" "-e" "CARGO_TARGET_DIR=/opt/crater/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/crater/cargo-home" "-e" "RUSTUP_HOME=/opt/crater/rustup-home" "-w" "/opt/crater/workdir" "-m" "1536M" "--network" "none" "rustops/crates-build-env" "/opt/crater/cargo-home/bin/cargo" "+1.36.0" "test" "--frozen"` [INFO] [stdout] 32722b16775b49616ff6d38fdc9875e97506309a5a6eb2a2833e44653b74ef57 [INFO] running `"docker" "start" "-a" "32722b16775b49616ff6d38fdc9875e97506309a5a6eb2a2833e44653b74ef57"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.05s [INFO] [stderr] Running /opt/crater/target/debug/deps/rsmt2-202b8877c2eced21 [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test example::simple::run ... FAILED [INFO] [stdout] test example::print_time::declare_non_nullary_fun ... FAILED [INFO] [stdout] test example::print_time::test_unroll ... FAILED [INFO] [stdout] test example::print_time::test_native ... FAILED [INFO] [stdout] test common::logic ... FAILED [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- example::simple::run stdout ---- [INFO] [stdout] thread 'example::simple::run' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(stack backtrace: [INFO] [stdout] 0: error_chain::backtrace::imp::InternalBacktrace::new::h4973aa6886763d2f (0x555e1d25e7d4) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h4409edc017163b6e (0x555e1d20eea9) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::h3cf0cf8409ed7924 (0x555e1d218987) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h579f205b692b5dac (0x555e1d1d9673) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::h678cf804ecf1681d (0x555e1d1d7725) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:147 [INFO] [stdout] 5: core::result::Result::map_err::hdce36a5e66c01b54 (0x555e1d21e9fd) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::hceef5ddca2a51dad (0x555e1d21feb0) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:145 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::h92fb547ef5c4510f (0x555e1d1e64f3) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::h671db2e4cb59a5a7 (0x555e1d1e70d9) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h9e503f3b874d43d9 (0x555e1d1e8278) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::h6b78a9bd86ec4ca8 (0x555e1d213d70) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::simple::run::he228932f675af33d (0x555e1d20c9bb) [INFO] [stdout] at src/example/simple.rs:496 [INFO] [stdout] 12: rsmt2::example::simple::run::{{closure}}::h972997b32f5ef55f (0x555e1d20c979) [INFO] [stdout] at src/example/simple.rs:495 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::h7af070a9d31af8c5 (0x555e1d20ef4d) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555e1d22b0ae) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555e1d2459a7) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::hf2c3df16a559e51f [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 17: std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 (0x555e1d2203c4) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555e1d224474) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once::hf7155da0a5779cf2 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 19: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555e1d224a81) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::h414e175ffeedf40c [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}}::hcde0649867c5f4c7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 21: as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 (0x555e1d29028e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555e1d2a31ff) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] std::sys_common::thread::start_thread::ha32838ccbb8a8179 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 23: start_thread (0x7f88b433e4a3) [INFO] [stdout] 24: __clone (0x7f88b4940d0e) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555e1d29d5f3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x555e1d298f2b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555e1d29c336 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x555e1d29c05e - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555e1d29ca3f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555e1d29c5c1 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555e1d29c50e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555e1d213f07 - rsmt2::example::get_solver::h6b78a9bd86ec4ca8 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555e1d20c9bb - rsmt2::example::simple::run::he228932f675af33d [INFO] [stdout] at src/example/simple.rs:496 [INFO] [stdout] 9: 0x555e1d20c979 - rsmt2::example::simple::run::{{closure}}::h972997b32f5ef55f [INFO] [stdout] at src/example/simple.rs:495 [INFO] [stdout] 10: 0x555e1d20ef4d - core::ops::function::FnOnce::call_once::h7af070a9d31af8c5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555e1d22b0ae - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555e1d2459a7 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 14: 0x555e1d2203c4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555e1d224474 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 16: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555e1d224a81 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 18: 0x555e1d29028e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555e1d2a31ff - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 20: 0x7f88b433e4a3 - start_thread [INFO] [stdout] 21: 0x7f88b4940d0e - __clone [INFO] [stdout] 22: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- example::print_time::declare_non_nullary_fun stdout ---- [INFO] [stdout] thread 'example::print_time::declare_non_nullary_fun' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(stack backtrace: [INFO] [stdout] 0: error_chain::backtrace::imp::InternalBacktrace::new::h4973aa6886763d2f (0x555e1d25e7d4) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h4409edc017163b6e (0x555e1d20eea9) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::h3cf0cf8409ed7924 (0x555e1d218987) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h579f205b692b5dac (0x555e1d1d9673) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::hcba85ca2eb8212af (0x555e1d1d8025) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:147 [INFO] [stdout] 5: core::result::Result::map_err::h1d559c3549ced77a (0x555e1d21c3ed) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h0a48ee6e046c0bfa (0x555e1d21fc50) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:145 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::h21fa7eb1a3691df7 (0x555e1d1e5b83) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::h9e9cf8ca2ba38a32 (0x555e1d1e7689) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h67592d61ecfffeba (0x555e1d1e81f8) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::hdef8bda0feb7b836 (0x555e1d213f80) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::print_time::declare_non_nullary_fun::h60756dbfd63e3a16 (0x555e1d1bb960) [INFO] [stdout] at src/example/print_time.rs:310 [INFO] [stdout] 12: rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::h2e43ec1c93b72191 (0x555e1d1bb939) [INFO] [stdout] at src/example/print_time.rs:309 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::h53a8fd4c42dd6d19 (0x555e1d20eecd) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555e1d22b0ae) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555e1d2459a7) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::hf2c3df16a559e51f [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 17: std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 (0x555e1d2203c4) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555e1d224474) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once::hf7155da0a5779cf2 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 19: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555e1d224a81) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::h414e175ffeedf40c [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}}::hcde0649867c5f4c7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 21: as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 (0x555e1d29028e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555e1d2a31ff) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] std::sys_common::thread::start_thread::ha32838ccbb8a8179 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 23: start_thread (0x7f88b433e4a3) [INFO] [stdout] 24: __clone (0x7f88b4940d0e) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555e1d29d5f3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x555e1d298f2b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555e1d29c336 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x555e1d29c05e - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555e1d29ca3f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555e1d29c5c1 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555e1d29c50e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555e1d214117 - rsmt2::example::get_solver::hdef8bda0feb7b836 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555e1d1bb960 - rsmt2::example::print_time::declare_non_nullary_fun::h60756dbfd63e3a16 [INFO] [stdout] at src/example/print_time.rs:310 [INFO] [stdout] 9: 0x555e1d1bb939 - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::h2e43ec1c93b72191 [INFO] [stdout] at src/example/print_time.rs:309 [INFO] [stdout] 10: 0x555e1d20eecd - core::ops::function::FnOnce::call_once::h53a8fd4c42dd6d19 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555e1d22b0ae - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555e1d2459a7 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 14: 0x555e1d2203c4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555e1d224474 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 16: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555e1d224a81 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 18: 0x555e1d29028e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555e1d2a31ff - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 20: 0x7f88b433e4a3 - start_thread [INFO] [stdout] 21: 0x7f88b4940d0e - __clone [INFO] [stdout] 22: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- example::print_time::test_unroll stdout ---- [INFO] [stdout] thread 'example::print_time::test_unroll' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(stack backtrace: [INFO] [stdout] 0: error_chain::backtrace::imp::InternalBacktrace::new::h4973aa6886763d2f (0x555e1d25e7d4) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h4409edc017163b6e (0x555e1d20eea9) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::h3cf0cf8409ed7924 (0x555e1d218987) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h579f205b692b5dac (0x555e1d1d9673) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::hcba85ca2eb8212af (0x555e1d1d8025) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:147 [INFO] [stdout] 5: core::result::Result::map_err::h1d559c3549ced77a (0x555e1d21c3ed) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h0a48ee6e046c0bfa (0x555e1d21fc50) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:145 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::h21fa7eb1a3691df7 (0x555e1d1e5b83) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::h9e9cf8ca2ba38a32 (0x555e1d1e7689) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h67592d61ecfffeba (0x555e1d1e81f8) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::hdef8bda0feb7b836 (0x555e1d213f80) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::print_time::test_unroll::hf94ab298581ac4a0 (0x555e1d1bf1f9) [INFO] [stdout] at src/example/print_time.rs:417 [INFO] [stdout] 12: rsmt2::example::print_time::test_unroll::{{closure}}::h7717ef0d9fb841d3 (0x555e1d1bf189) [INFO] [stdout] at src/example/print_time.rs:414 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::h95e3c560a6743bde (0x555e1d20efcd) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555e1d22b0ae) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555e1d2459a7) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::hf2c3df16a559e51f [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 17: std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 (0x555e1d2203c4) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555e1d224474) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once::hf7155da0a5779cf2 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 19: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555e1d224a81) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::h414e175ffeedf40c [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}}::hcde0649867c5f4c7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 21: as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 (0x555e1d29028e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555e1d2a31ff) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] std::sys_common::thread::start_thread::ha32838ccbb8a8179 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 23: start_thread (0x7f88b433e4a3) [INFO] [stdout] 24: __clone (0x7f88b4940d0e) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555e1d29d5f3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x555e1d298f2b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555e1d29c336 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x555e1d29c05e - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555e1d29ca3f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555e1d29c5c1 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555e1d29c50e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555e1d214117 - rsmt2::example::get_solver::hdef8bda0feb7b836 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555e1d1bf1f9 - rsmt2::example::print_time::test_unroll::hf94ab298581ac4a0 [INFO] [stdout] at src/example/print_time.rs:417 [INFO] [stdout] 9: 0x555e1d1bf189 - rsmt2::example::print_time::test_unroll::{{closure}}::h7717ef0d9fb841d3 [INFO] [stdout] at src/example/print_time.rs:414 [INFO] [stdout] 10: 0x555e1d20efcd - core::ops::function::FnOnce::call_once::h95e3c560a6743bde [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555e1d22b0ae - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555e1d2459a7 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 14: 0x555e1d2203c4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555e1d224474 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 16: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555e1d224a81 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 18: 0x555e1d29028e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555e1d2a31ff - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 20: 0x7f88b433e4a3 - start_thread [INFO] [stdout] 21: 0x7f88b4940d0e - __clone [INFO] [stdout] 22: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- example::print_time::test_native stdout ---- [INFO] [stdout] thread 'example::print_time::test_native' panicked at 'Could not spawn solver solver: Error(Msg("While spawning child process with z3"), State { next_error: Some(Os { code: 2, kind: NotFound, message: "No such file or directory" }), backtrace: InternalBacktrace { backtrace: Some(stack backtrace: [INFO] [stdout] 0: error_chain::backtrace::imp::InternalBacktrace::new::h4973aa6886763d2f (0x555e1d25e7d4) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h4409edc017163b6e (0x555e1d20eea9) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::h3cf0cf8409ed7924 (0x555e1d218987) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h579f205b692b5dac (0x555e1d1d9673) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::hcba85ca2eb8212af (0x555e1d1d8025) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:147 [INFO] [stdout] 5: core::result::Result::map_err::h1d559c3549ced77a (0x555e1d21c3ed) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h0a48ee6e046c0bfa (0x555e1d21fc50) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:145 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::h21fa7eb1a3691df7 (0x555e1d1e5b83) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::h9e9cf8ca2ba38a32 (0x555e1d1e7689) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h67592d61ecfffeba (0x555e1d1e81f8) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::hdef8bda0feb7b836 (0x555e1d213f80) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::print_time::test_native::he28b7f813cb1a903 (0x555e1d1bbc29) [INFO] [stdout] at src/example/print_time.rs:325 [INFO] [stdout] 12: rsmt2::example::print_time::test_native::{{closure}}::h9521d9a587c455d7 (0x555e1d1bbbb9) [INFO] [stdout] at src/example/print_time.rs:322 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::h6b84faeb2e9e652c (0x555e1d20ef0d) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555e1d22b0ae) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555e1d2459a7) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::hf2c3df16a559e51f [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 17: std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 (0x555e1d2203c4) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555e1d224474) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once::hf7155da0a5779cf2 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 19: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555e1d224a81) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::h414e175ffeedf40c [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}}::hcde0649867c5f4c7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 21: as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 (0x555e1d29028e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555e1d2a31ff) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] std::sys_common::thread::start_thread::ha32838ccbb8a8179 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 23: start_thread (0x7f88b433e4a3) [INFO] [stdout] 24: __clone (0x7f88b4940d0e) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555e1d29d5f3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x555e1d298f2b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555e1d29c336 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x555e1d29c05e - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555e1d29ca3f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555e1d29c5c1 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555e1d29c50e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555e1d214117 - rsmt2::example::get_solver::hdef8bda0feb7b836 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555e1d1bbc29 - rsmt2::example::print_time::test_native::he28b7f813cb1a903 [INFO] [stdout] at src/example/print_time.rs:325 [INFO] [stdout] 9: 0x555e1d1bbbb9 - rsmt2::example::print_time::test_native::{{closure}}::h9521d9a587c455d7 [INFO] [stdout] at src/example/print_time.rs:322 [INFO] [stdout] 10: 0x555e1d20ef0d - core::ops::function::FnOnce::call_once::h6b84faeb2e9e652c [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555e1d22b0ae - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555e1d2459a7 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 14: 0x555e1d2203c4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555e1d224474 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 16: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555e1d224a81 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 18: 0x555e1d29028e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555e1d2a31ff - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 20: 0x7f88b433e4a3 - start_thread [INFO] [stdout] 21: 0x7f88b4940d0e - __clone [INFO] [stdout] 22: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- common::logic stdout ---- [INFO] [stdout] 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: [INFO] [stdout] 0: error_chain::backtrace::imp::InternalBacktrace::new::h4973aa6886763d2f (0x555e1d25e7d4) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h4409edc017163b6e (0x555e1d20eea9) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::h3cf0cf8409ed7924 (0x555e1d218987) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h579f205b692b5dac (0x555e1d1d9673) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.0/src/lib.rs:674 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::hc406f922a1ddb18b (0x555e1d1d7ea5) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:147 [INFO] [stdout] 5: core::result::Result::map_err::h3ec83c7f76665c83 (0x555e1d21cddd) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::hfb991cad8fdd15d2 (0x555e1d21ffa0) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:145 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::h21e6969800659401 (0x555e1d1e5213) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::ha6b186aaa5021ca4 (0x555e1d1e7c39) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::common::logic::h6631608b6d9244e0 (0x555e1d2141e8) [INFO] [stdout] at src/common.rs:223 [INFO] [stdout] 10: rsmt2::common::logic::{{closure}}::h946649751b96fb7f (0x555e1d214179) [INFO] [stdout] at src/common.rs:217 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once::he0511badacf751cc (0x555e1d20f05d) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 12: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555e1d22b0ae) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 13: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 14: std::panicking::try::h24368a6d38b1d93c (0x555e1d2459a7) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::hf2c3df16a559e51f [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 15: std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 (0x555e1d2203c4) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555e1d224474) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] as core::ops::function::FnOnce<()>>::call_once::hf7155da0a5779cf2 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 17: __rust_maybe_catch_panic (0x555e1d2a3b19) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 18: std::panicking::try::h9073c4fbc6488ec1 (0x555e1d224a81) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] std::panic::catch_unwind::h414e175ffeedf40c [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] std::thread::Builder::spawn_unchecked::{{closure}}::hcde0649867c5f4c7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 19: as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 (0x555e1d29028e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 20: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555e1d2a31ff) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] std::sys_common::thread::start_thread::ha32838ccbb8a8179 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 21: start_thread (0x7f88b433e4a3) [INFO] [stdout] 22: __clone (0x7f88b4940d0e) [INFO] [stdout] 23: (0x0)) } })', src/libcore/result.rs:999:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555e1d29d5f3 - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6485381528590a55 [INFO] [stdout] at src/libstd/sys/unix/backtrace/tracing/gcc_s.rs:39 [INFO] [stdout] 1: 0x555e1d298f2b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555e1d29c336 - std::panicking::default_hook::{{closure}}::he20974adbefcc046 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:59 [INFO] [stdout] at src/libstd/panicking.rs:197 [INFO] [stdout] 3: 0x555e1d29c05e - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555e1d29ca3f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555e1d29c5c1 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555e1d29c4a5 - rust_begin_unwind [INFO] [stdout] at src/libstd/panicking.rs:308 [INFO] [stdout] 7: 0x555e1d2b2d8c - core::panicking::panic_fmt::hc4f83bfed80aeabd [INFO] [stdout] at src/libcore/panicking.rs:85 [INFO] [stdout] 8: 0x555e1d21aa92 - core::result::unwrap_failed::h5cbf374f207b9ba1 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/macros.rs:18 [INFO] [stdout] 9: 0x555e1d21bcd6 - core::result::Result::expect::h59a2c75d921fef8d [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:827 [INFO] [stdout] 10: 0x555e1d214209 - rsmt2::common::logic::h6631608b6d9244e0 [INFO] [stdout] at src/common.rs:223 [INFO] [stdout] 11: 0x555e1d214179 - rsmt2::common::logic::{{closure}}::h946649751b96fb7f [INFO] [stdout] at src/common.rs:217 [INFO] [stdout] 12: 0x555e1d20f05d - core::ops::function::FnOnce::call_once::he0511badacf751cc [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 13: 0x555e1d22b0ae - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 14: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 15: 0x555e1d2459a7 - test::run_test::run_test_inner::{{closure}}::h9a4d23c41d058d37 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at src/libtest/lib.rs:1468 [INFO] [stdout] 16: 0x555e1d2203c4 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 17: 0x555e1d224474 - std::panicking::try::do_call::h6f86e980b52f74d5 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:470 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:315 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:293 [INFO] [stdout] 18: 0x555e1d2a3b19 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 19: 0x555e1d224a81 - core::ops::function::FnOnce::call_once{{vtable.shim}}::h760b8a2b155f54c3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panicking.rs:272 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/panic.rs:394 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/thread/mod.rs:469 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 20: 0x555e1d29028e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 21: 0x555e1d2a31ff - std::sys::unix::thread::Thread::new::thread_start::h6f10b78f26c98dc6 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] at src/libstd/sys_common/thread.rs:13 [INFO] [stdout] at src/libstd/sys/unix/thread.rs:79 [INFO] [stdout] 22: 0x7f88b433e4a3 - start_thread [INFO] [stdout] 23: 0x7f88b4940d0e - __clone [INFO] [stdout] 24: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] common::logic [INFO] [stdout] example::print_time::declare_non_nullary_fun [INFO] [stdout] example::print_time::test_native [INFO] [stdout] example::print_time::test_unroll [INFO] [stdout] example::simple::run [INFO] [stdout] [INFO] [stdout] test result: FAILED. 0 passed; 5 failed; 0 ignored; 0 measured; 0 filtered out [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] running `"docker" "inspect" "32722b16775b49616ff6d38fdc9875e97506309a5a6eb2a2833e44653b74ef57"` [INFO] running `"docker" "rm" "-f" "32722b16775b49616ff6d38fdc9875e97506309a5a6eb2a2833e44653b74ef57"` [INFO] [stdout] 32722b16775b49616ff6d38fdc9875e97506309a5a6eb2a2833e44653b74ef57