[INFO] crate rsmt2 0.10.0 is already in cache [INFO] extracting crate rsmt2 0.10.0 into work/ex/beta-1.37-6/sources/1.36.0/reg/rsmt2/0.10.0 [INFO] extracting crate rsmt2 0.10.0 into work/ex/beta-1.37-6/sources/beta-2019-07-23/reg/rsmt2/0.10.0 [INFO] validating manifest of rsmt2-0.10.0 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 rsmt2-0.10.0 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 rsmt2-0.10.0 [INFO] finished frobbing rsmt2-0.10.0 [INFO] frobbed toml for rsmt2-0.10.0 written to work/ex/beta-1.37-6/sources/1.36.0/reg/rsmt2/0.10.0/Cargo.toml [INFO] started frobbing rsmt2-0.10.0 [INFO] finished frobbing rsmt2-0.10.0 [INFO] frobbed toml for rsmt2-0.10.0 written to work/ex/beta-1.37-6/sources/beta-2019-07-23/reg/rsmt2/0.10.0/Cargo.toml [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+1.36.0" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [INFO] running `"/mnt/big/crater/work/local/cargo-home/bin/cargo" "+beta-2019-07-23" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update"` [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] testing rsmt2-0.10.0 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-0/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/reg/rsmt2/0.10.0:/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] 02537e522f3edca93c25d5dc3cc3cb154d8301e6d21be37ef165008d6c43482a [INFO] running `"docker" "start" "-a" "02537e522f3edca93c25d5dc3cc3cb154d8301e6d21be37ef165008d6c43482a"` [INFO] [stderr] Compiling error-chain v0.12.1 [INFO] [stderr] Compiling rsmt2 v0.10.0 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 3.19s [INFO] running `"docker" "inspect" "02537e522f3edca93c25d5dc3cc3cb154d8301e6d21be37ef165008d6c43482a"` [INFO] running `"docker" "rm" "-f" "02537e522f3edca93c25d5dc3cc3cb154d8301e6d21be37ef165008d6c43482a"` [INFO] [stdout] 02537e522f3edca93c25d5dc3cc3cb154d8301e6d21be37ef165008d6c43482a [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-0/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/reg/rsmt2/0.10.0:/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] 47e0bbc64d2687d86cedecb0c0b2dc910f76c451c2b1cef82ff8de35b7e9a590 [INFO] running `"docker" "start" "-a" "47e0bbc64d2687d86cedecb0c0b2dc910f76c451c2b1cef82ff8de35b7e9a590"` [INFO] [stderr] Compiling rsmt2 v0.10.0 (/opt/crater/workdir) [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 4.10s [INFO] running `"docker" "inspect" "47e0bbc64d2687d86cedecb0c0b2dc910f76c451c2b1cef82ff8de35b7e9a590"` [INFO] running `"docker" "rm" "-f" "47e0bbc64d2687d86cedecb0c0b2dc910f76c451c2b1cef82ff8de35b7e9a590"` [INFO] [stdout] 47e0bbc64d2687d86cedecb0c0b2dc910f76c451c2b1cef82ff8de35b7e9a590 [INFO] running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.37-6/worker-0/1.36.0:/opt/crater/target:rw,Z" "-v" "/mnt/big/crater/work/ex/beta-1.37-6/sources/1.36.0/reg/rsmt2/0.10.0:/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] cd4849adc72b5dd8f6cdc86f0251a61db0696aa92aa6295ab429bf9eb06d8128 [INFO] running `"docker" "start" "-a" "cd4849adc72b5dd8f6cdc86f0251a61db0696aa92aa6295ab429bf9eb06d8128"` [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 0.03s [INFO] [stderr] Running /opt/crater/target/debug/deps/rsmt2-f00b007eb244c031 [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test example::print_time::declare_non_nullary_fun ... FAILED [INFO] [stdout] test example::simple::run ... FAILED [INFO] [stdout] test example::print_time::test_unroll ... FAILED [INFO] [stdout] test example::print_time::test_native ... FAILED [INFO] [stdout] test common::logic ... FAILED [INFO] [stderr] error: test failed, to rerun pass '--lib' [INFO] [stdout] [INFO] [stdout] failures: [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::h1771926836ca6594 (0x555a89d94b05) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h442c81e95977b2f1 (0x555a89d452ba) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::hf6436395c4cecea3 (0x555a89d48f58) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h6c66577528e8d07e (0x555a89d4e264) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::hcbafef36d23befe9 (0x555a89d0ef36) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:142 [INFO] [stdout] 5: core::result::Result::map_err::h9f934bb884699644 (0x555a89d5418e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h1a89da4d1216b4b0 (0x555a89d56221) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:140 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::hf2815cc4f4b99f0e (0x555a89d1d004) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::h7b1826f7c03b8bf3 (0x555a89d1dbea) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h643a18c4b71be0f9 (0x555a89d1ed09) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::hdb650afe22c8dfc3 (0x555a89d50d51) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::print_time::declare_non_nullary_fun::h83650829f2f271e1 (0x555a89cf2941) [INFO] [stdout] at src/example/print_time.rs:310 [INFO] [stdout] 12: rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::h1d823409fe6c1396 (0x555a89cf291a) [INFO] [stdout] at src/example/print_time.rs:309 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::hdc3aa9ed0eab662a (0x555a89d4541e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555a89d6167f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555a89d7bf78) [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 (0x555a89d56995) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555a89d5aa45) [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 (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555a89d5b052) [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 (0x555a89dd970f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555a89dec660) [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 (0x7f28421524a4) [INFO] [stdout] 24: __clone (0x7f2842754d0f) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555a89de6a53 - 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: 0x555a89de238b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555a89de5796 - 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: 0x555a89de54be - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555a89de5e9f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555a89de5a21 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555a89de596e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555a89d50ee7 - rsmt2::example::get_solver::hdb650afe22c8dfc3 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555a89cf2940 - rsmt2::example::print_time::declare_non_nullary_fun::h83650829f2f271e1 [INFO] [stdout] at src/example/print_time.rs:310 [INFO] [stdout] 9: 0x555a89cf2919 - rsmt2::example::print_time::declare_non_nullary_fun::{{closure}}::h1d823409fe6c1396 [INFO] [stdout] at src/example/print_time.rs:309 [INFO] [stdout] 10: 0x555a89d4541d - core::ops::function::FnOnce::call_once::hdc3aa9ed0eab662a [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555a89d6167e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555a89d7bf77 - 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: 0x555a89d56994 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555a89d5aa44 - 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: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555a89d5b051 - 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: 0x555a89dd970e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555a89dec65f - 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: 0x7f28421524a3 - start_thread [INFO] [stdout] 21: 0x7f2842754d0e - __clone [INFO] [stdout] 22: 0x0 - [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::h1771926836ca6594 (0x555a89d94b05) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h442c81e95977b2f1 (0x555a89d452ba) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::hf6436395c4cecea3 (0x555a89d48f58) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h6c66577528e8d07e (0x555a89d4e264) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::h2cd94b1877d7d0da (0x555a89d0e126) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:142 [INFO] [stdout] 5: core::result::Result::map_err::h827a4c0c0405adfc (0x555a89d53eee) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h232d6469744bb51e (0x555a89d562c1) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:140 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::hc0a4538b9732e3ae (0x555a89d1c694) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::ha0fee33a7c83c7cc (0x555a89d1e19a) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h95fe945dd6d6c689 (0x555a89d1ed89) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::hab74095d6ebc29f7 (0x555a89d50b41) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::simple::run::h13f1d09e1509b3f3 (0x555a89d434cc) [INFO] [stdout] at src/example/simple.rs:496 [INFO] [stdout] 12: rsmt2::example::simple::run::{{closure}}::hfa6f7e0586dc7ae4 (0x555a89d4348a) [INFO] [stdout] at src/example/simple.rs:495 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::h726ce2ccaa3f5ae1 (0x555a89d4531e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555a89d6167f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555a89d7bf78) [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 (0x555a89d56995) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555a89d5aa45) [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 (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555a89d5b052) [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 (0x555a89dd970f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555a89dec660) [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 (0x7f28421524a4) [INFO] [stdout] 24: __clone (0x7f2842754d0f) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555a89de6a53 - 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: 0x555a89de238b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555a89de5796 - 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: 0x555a89de54be - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555a89de5e9f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555a89de5a21 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555a89de596e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555a89d50cd7 - rsmt2::example::get_solver::hab74095d6ebc29f7 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555a89d434cb - rsmt2::example::simple::run::h13f1d09e1509b3f3 [INFO] [stdout] at src/example/simple.rs:496 [INFO] [stdout] 9: 0x555a89d43489 - rsmt2::example::simple::run::{{closure}}::hfa6f7e0586dc7ae4 [INFO] [stdout] at src/example/simple.rs:495 [INFO] [stdout] 10: 0x555a89d4531d - core::ops::function::FnOnce::call_once::h726ce2ccaa3f5ae1 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555a89d6167e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555a89d7bf77 - 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: 0x555a89d56994 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555a89d5aa44 - 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: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555a89d5b051 - 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: 0x555a89dd970e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555a89dec65f - 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: 0x7f28421524a3 - start_thread [INFO] [stdout] 21: 0x7f2842754d0e - __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::h1771926836ca6594 (0x555a89d94b05) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h442c81e95977b2f1 (0x555a89d452ba) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::hf6436395c4cecea3 (0x555a89d48f58) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h6c66577528e8d07e (0x555a89d4e264) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::hcbafef36d23befe9 (0x555a89d0ef36) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:142 [INFO] [stdout] 5: core::result::Result::map_err::h9f934bb884699644 (0x555a89d5418e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h1a89da4d1216b4b0 (0x555a89d56221) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:140 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::hf2815cc4f4b99f0e (0x555a89d1d004) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::h7b1826f7c03b8bf3 (0x555a89d1dbea) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h643a18c4b71be0f9 (0x555a89d1ed09) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::hdb650afe22c8dfc3 (0x555a89d50d51) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::print_time::test_unroll::h6ac25831d2db3f44 (0x555a89cf61da) [INFO] [stdout] at src/example/print_time.rs:417 [INFO] [stdout] 12: rsmt2::example::print_time::test_unroll::{{closure}}::he3f8b6e8e4be49cc (0x555a89cf616a) [INFO] [stdout] at src/example/print_time.rs:414 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::h876e7c985f640b39 (0x555a89d4535e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555a89d6167f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555a89d7bf78) [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 (0x555a89d56995) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555a89d5aa45) [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 (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555a89d5b052) [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 (0x555a89dd970f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555a89dec660) [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 (0x7f28421524a4) [INFO] [stdout] 24: __clone (0x7f2842754d0f) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555a89de6a53 - 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: 0x555a89de238b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555a89de5796 - 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: 0x555a89de54be - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555a89de5e9f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555a89de5a21 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555a89de596e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555a89d50ee7 - rsmt2::example::get_solver::hdb650afe22c8dfc3 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555a89cf61d9 - rsmt2::example::print_time::test_unroll::h6ac25831d2db3f44 [INFO] [stdout] at src/example/print_time.rs:417 [INFO] [stdout] 9: 0x555a89cf6169 - rsmt2::example::print_time::test_unroll::{{closure}}::he3f8b6e8e4be49cc [INFO] [stdout] at src/example/print_time.rs:414 [INFO] [stdout] 10: 0x555a89d4535d - core::ops::function::FnOnce::call_once::h876e7c985f640b39 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555a89d6167e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555a89d7bf77 - 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: 0x555a89d56994 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555a89d5aa44 - 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: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555a89d5b051 - 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: 0x555a89dd970e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555a89dec65f - 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: 0x7f28421524a3 - start_thread [INFO] [stdout] 21: 0x7f2842754d0e - __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::h1771926836ca6594 (0x555a89d94b05) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h442c81e95977b2f1 (0x555a89d452ba) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::hf6436395c4cecea3 (0x555a89d48f58) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h6c66577528e8d07e (0x555a89d4e264) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::hcbafef36d23befe9 (0x555a89d0ef36) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:142 [INFO] [stdout] 5: core::result::Result::map_err::h9f934bb884699644 (0x555a89d5418e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h1a89da4d1216b4b0 (0x555a89d56221) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:140 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::hf2815cc4f4b99f0e (0x555a89d1d004) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::h7b1826f7c03b8bf3 (0x555a89d1dbea) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::solver::Solver::default::h643a18c4b71be0f9 (0x555a89d1ed09) [INFO] [stdout] at src/solver.rs:199 [INFO] [stdout] 10: rsmt2::example::get_solver::hdb650afe22c8dfc3 (0x555a89d50d51) [INFO] [stdout] at src/example/mod.rs:19 [INFO] [stdout] 11: rsmt2::example::print_time::test_native::hb86fddd35979a7c0 (0x555a89cf2c0a) [INFO] [stdout] at src/example/print_time.rs:325 [INFO] [stdout] 12: rsmt2::example::print_time::test_native::{{closure}}::h08bb105b56e2ed9c (0x555a89cf2b9a) [INFO] [stdout] at src/example/print_time.rs:322 [INFO] [stdout] 13: core::ops::function::FnOnce::call_once::hc5c74cf64f461bb1 (0x555a89d453de) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 14: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555a89d6167f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 15: __rust_maybe_catch_panic (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 16: std::panicking::try::h24368a6d38b1d93c (0x555a89d7bf78) [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 (0x555a89d56995) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 18: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555a89d5aa45) [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 (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 20: std::panicking::try::h9073c4fbc6488ec1 (0x555a89d5b052) [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 (0x555a89dd970f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 22: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555a89dec660) [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 (0x7f28421524a4) [INFO] [stdout] 24: __clone (0x7f2842754d0f) [INFO] [stdout] 25: (0x0)) } })', src/example/mod.rs:21:19 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555a89de6a53 - 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: 0x555a89de238b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555a89de5796 - 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: 0x555a89de54be - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555a89de5e9f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555a89de5a21 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555a89de596e - std::panicking::begin_panic_fmt::he54eae869ed71eb1 [INFO] [stdout] at src/libstd/panicking.rs:336 [INFO] [stdout] 7: 0x555a89d50ee7 - rsmt2::example::get_solver::hdb650afe22c8dfc3 [INFO] [stdout] at src/example/mod.rs:21 [INFO] [stdout] 8: 0x555a89cf2c09 - rsmt2::example::print_time::test_native::hb86fddd35979a7c0 [INFO] [stdout] at src/example/print_time.rs:325 [INFO] [stdout] 9: 0x555a89cf2b99 - rsmt2::example::print_time::test_native::{{closure}}::h08bb105b56e2ed9c [INFO] [stdout] at src/example/print_time.rs:322 [INFO] [stdout] 10: 0x555a89d453dd - core::ops::function::FnOnce::call_once::hc5c74cf64f461bb1 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 11: 0x555a89d6167e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 12: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 13: 0x555a89d7bf77 - 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: 0x555a89d56994 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 15: 0x555a89d5aa44 - 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: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 17: 0x555a89d5b051 - 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: 0x555a89dd970e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 19: 0x555a89dec65f - 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: 0x7f28421524a3 - start_thread [INFO] [stdout] 21: 0x7f2842754d0e - __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::h1771926836ca6594 (0x555a89d94b05) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/backtrace.rs:56 [INFO] [stdout] 1: core::ops::function::FnOnce::call_once::h442c81e95977b2f1 (0x555a89d452ba) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 2: core::option::Option::unwrap_or_else::hf6436395c4cecea3 (0x555a89d48f58) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/option.rs:388 [INFO] [stdout] 3: error_chain::State::new::h6c66577528e8d07e (0x555a89d4e264) [INFO] [stdout] at /opt/crater/cargo-home/registry/src/github.com-1ecc6299db9ec823/error-chain-0.12.1/src/lib.rs:679 [INFO] [stdout] 4: as rsmt2::errors::ResExt>::chain_err::{{closure}}::h777a3b8fee58c03d (0x555a89d0ec36) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:142 [INFO] [stdout] 5: core::result::Result::map_err::h7b5db2b7b72de67a (0x555a89d53c4e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:522 [INFO] [stdout] 6: as rsmt2::errors::ResExt>::chain_err::h3b00e5b875f797f6 (0x555a89d56321) [INFO] [stdout] at /opt/crater/workdir/<::error_chain::error_chain::impl_error_chain_processed macros>:140 [INFO] [stdout] 7: rsmt2::solver::Solver::spawn::h1ec2c23c6523a50c (0x555a89d1bd24) [INFO] [stdout] at src/solver.rs:134 [INFO] [stdout] 8: rsmt2::solver::Solver::new::hc3a701c3bfe9f7fe (0x555a89d1e74a) [INFO] [stdout] at src/solver.rs:178 [INFO] [stdout] 9: rsmt2::common::logic::h3503a51d4c171f75 (0x555a89d1b699) [INFO] [stdout] at src/common.rs:223 [INFO] [stdout] 10: rsmt2::common::logic::{{closure}}::h22140c7a0c124cd8 (0x555a89d1b62a) [INFO] [stdout] at src/common.rs:217 [INFO] [stdout] 11: core::ops::function::FnOnce::call_once::h8c516ed71f71ddad (0x555a89d4539e) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 12: as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 (0x555a89d6167f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 13: __rust_maybe_catch_panic (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 14: std::panicking::try::h24368a6d38b1d93c (0x555a89d7bf78) [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 (0x555a89d56995) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 16: std::thread::Builder::spawn_unchecked::{{closure}}::{{closure}}::h74161b153f5e9baf (0x555a89d5aa45) [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 (0x555a89decf7a) [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 18: std::panicking::try::h9073c4fbc6488ec1 (0x555a89d5b052) [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 (0x555a89dd970f) [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 20: as core::ops::function::FnOnce>::call_once::h9ebda9db5f03daf3 (0x555a89dec660) [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 (0x7f28421524a4) [INFO] [stdout] 22: __clone (0x7f2842754d0f) [INFO] [stdout] 23: (0x0)) } })', src/libcore/result.rs:999:5 [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x555a89de6a53 - 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: 0x555a89de238b - std::sys_common::backtrace::_print::h49a82ae9552e35c7 [INFO] [stdout] at src/libstd/sys_common/backtrace.rs:71 [INFO] [stdout] 2: 0x555a89de5796 - 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: 0x555a89de54be - std::panicking::default_hook::he4af6af4ac7fef7b [INFO] [stdout] at src/libstd/panicking.rs:208 [INFO] [stdout] 4: 0x555a89de5e9f - std::panicking::rust_panic_with_hook::h057ff03eb4c8000f [INFO] [stdout] at src/libstd/panicking.rs:474 [INFO] [stdout] 5: 0x555a89de5a21 - std::panicking::continue_panic_fmt::ha6d6ae144369025b [INFO] [stdout] at src/libstd/panicking.rs:381 [INFO] [stdout] 6: 0x555a89de5905 - rust_begin_unwind [INFO] [stdout] at src/libstd/panicking.rs:308 [INFO] [stdout] 7: 0x555a89dfc1ec - core::panicking::panic_fmt::hc4f83bfed80aeabd [INFO] [stdout] at src/libcore/panicking.rs:85 [INFO] [stdout] 8: 0x555a89d51062 - core::result::unwrap_failed::h07d34f099704e6f3 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/macros.rs:18 [INFO] [stdout] 9: 0x555a89d522a6 - core::result::Result::expect::h1a3a27e1aa5030d0 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/result.rs:827 [INFO] [stdout] 10: 0x555a89d1b6b9 - rsmt2::common::logic::h3503a51d4c171f75 [INFO] [stdout] at src/common.rs:223 [INFO] [stdout] 11: 0x555a89d1b629 - rsmt2::common::logic::{{closure}}::h22140c7a0c124cd8 [INFO] [stdout] at src/common.rs:217 [INFO] [stdout] 12: 0x555a89d4539d - core::ops::function::FnOnce::call_once::h8c516ed71f71ddad [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libcore/ops/function.rs:231 [INFO] [stdout] 13: 0x555a89d6167e - as core::ops::function::FnOnce>::call_once::h6b004fa8f4fc1608 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 14: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 15: 0x555a89d7bf77 - 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: 0x555a89d56994 - std::sys_common::backtrace::__rust_begin_short_backtrace::h3765d76361a33ff7 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/libstd/sys_common/backtrace.rs:136 [INFO] [stdout] 17: 0x555a89d5aa44 - 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: 0x555a89decf79 - __rust_maybe_catch_panic [INFO] [stdout] at src/libpanic_unwind/lib.rs:85 [INFO] [stdout] 19: 0x555a89d5b051 - 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: 0x555a89dd970e - as core::ops::function::FnOnce>::call_once::h805c3cc89d534c05 [INFO] [stdout] at /rustc/a53f9df32fbb0b5f4382caaad8f1a46f36ea887c/src/liballoc/boxed.rs:704 [INFO] [stdout] 21: 0x555a89dec65f - 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: 0x7f28421524a3 - start_thread [INFO] [stdout] 23: 0x7f2842754d0e - __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] running `"docker" "inspect" "cd4849adc72b5dd8f6cdc86f0251a61db0696aa92aa6295ab429bf9eb06d8128"` [INFO] running `"docker" "rm" "-f" "cd4849adc72b5dd8f6cdc86f0251a61db0696aa92aa6295ab429bf9eb06d8128"` [INFO] [stdout] cd4849adc72b5dd8f6cdc86f0251a61db0696aa92aa6295ab429bf9eb06d8128