Sep 10 19:17:22.896 INFO checking falcon-z3-0.4.0 against try#3a2610c2a16575649896925631bf8cec4f4b1961 for pr-54090 Sep 10 19:17:22.896 INFO running: cargo +3a2610c2a16575649896925631bf8cec4f4b1961-alt check --frozen --all --all-targets Sep 10 19:17:22.896 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-54090/try#3a2610c2a16575649896925631bf8cec4f4b1961:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54090/worker-5/try#3a2610c2a16575649896925631bf8cec4f4b1961:/target:rw,Z" "-v" "/home/ec2-user/crater/./work/local/cargo-home:/cargo-home:ro,Z" "-v" "/home/ec2-user/crater/./work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "CMD=cargo +3a2610c2a16575649896925631bf8cec4f4b1961-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-m" "2G" "crater"` Sep 10 19:17:23.107 INFO blam! 8133e38c63bd709bcd97e0ddd085d9e161a15d86f9ae52711494f09a578f4669 Sep 10 19:17:23.109 INFO running `"docker" "start" "-a" "8133e38c63bd709bcd97e0ddd085d9e161a15d86f9ae52711494f09a578f4669"` Sep 10 19:17:23.867 INFO kablam! usermod: no changes Sep 10 19:17:24.244 INFO kablam! Compiling num-bigint v0.2.0 Sep 10 19:17:24.252 INFO kablam! Compiling scroll_derive v0.9.4 Sep 10 19:17:24.252 INFO kablam! Compiling bindgen v0.30.0 Sep 10 19:17:24.252 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Sep 10 19:17:30.398 INFO kablam! Checking scroll v0.9.0 Sep 10 19:17:31.604 INFO kablam! Checking goblin v0.0.17 Sep 10 19:17:33.020 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Sep 10 19:17:33.020 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-28de166d87cef968/build-script-build` (exit code: 101) Sep 10 19:17:33.020 INFO kablam! --- stdout Sep 10 19:17:33.020 INFO kablam! cargo:rustc-link-lib=z3 Sep 10 19:17:33.020 INFO kablam! Sep 10 19:17:33.020 INFO kablam! --- stderr Sep 10 19:17:33.020 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 10 19:17:33.020 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 10 19:17:33.020 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:979:5 Sep 10 19:17:33.020 INFO kablam! stack backtrace: Sep 10 19:17:33.020 INFO kablam! 0: 0x556a94b45c8e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h6fe5173ae235b38f Sep 10 19:17:33.020 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 10 19:17:33.020 INFO kablam! 1: 0x556a94b353d6 - std::sys_common::backtrace::print::hb1efbd3d067eabc6 Sep 10 19:17:33.020 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 10 19:17:33.020 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 10 19:17:33.020 INFO kablam! 2: 0x556a94b337ad - std::panicking::default_hook::{{closure}}::h109166af4c755142 Sep 10 19:17:33.020 INFO kablam! at libstd/panicking.rs:211 Sep 10 19:17:33.020 INFO kablam! 3: 0x556a94b33520 - std::panicking::default_hook::h992f159215e34f14 Sep 10 19:17:33.020 INFO kablam! at libstd/panicking.rs:227 Sep 10 19:17:33.020 INFO kablam! 4: 0x556a94b33e1c - std::panicking::rust_panic_with_hook::h7d90dcad0bb485f2 Sep 10 19:17:33.020 INFO kablam! at libstd/panicking.rs:477 Sep 10 19:17:33.020 INFO kablam! 5: 0x556a94b33a19 - std::panicking::continue_panic_fmt::hd1c785c0ba366e26 Sep 10 19:17:33.020 INFO kablam! at libstd/panicking.rs:391 Sep 10 19:17:33.020 INFO kablam! 6: 0x556a94b33915 - rust_begin_unwind Sep 10 19:17:33.020 INFO kablam! at libstd/panicking.rs:326 Sep 10 19:17:33.020 INFO kablam! 7: 0x556a94b8d79b - core::panicking::panic_fmt::hd57c6dafe91b27ac Sep 10 19:17:33.020 INFO kablam! at libcore/panicking.rs:77 Sep 10 19:17:33.020 INFO kablam! 8: 0x556a945a6569 - core::result::unwrap_failed::hf820215e7ac5c4bf Sep 10 19:17:33.020 INFO kablam! at /checkout/src/libcore/macros.rs:26 Sep 10 19:17:33.020 INFO kablam! 9: 0x556a945a63ce - >::expect::h6fa5a7392d4f8b4b Sep 10 19:17:33.020 INFO kablam! at /checkout/src/libcore/result.rs:805 Sep 10 19:17:33.020 INFO kablam! 10: 0x556a945a6849 - build_script_build::main::hf6f3f622b039366c Sep 10 19:17:33.020 INFO kablam! at /source/build.rs:9 Sep 10 19:17:33.020 INFO kablam! 11: 0x556a945a46ef - std::rt::lang_start::{{closure}}::he13b3ac95cd2b12f Sep 10 19:17:33.020 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 10 19:17:33.020 INFO kablam! 12: 0x556a94b338b2 - std::panicking::try::do_call::h2ece1f76d9e135ca Sep 10 19:17:33.020 INFO kablam! at libstd/rt.rs:59 Sep 10 19:17:33.020 INFO kablam! at libstd/panicking.rs:310 Sep 10 19:17:33.020 INFO kablam! 13: 0x556a94b57c19 - __rust_maybe_catch_panic Sep 10 19:17:33.020 INFO kablam! at libpanic_unwind/lib.rs:103 Sep 10 19:17:33.020 INFO kablam! 14: 0x556a94b40665 - std::rt::lang_start_internal::h72dcb4aefab2c171 Sep 10 19:17:33.020 INFO kablam! at libstd/panicking.rs:289 Sep 10 19:17:33.020 INFO kablam! at libstd/panic.rs:392 Sep 10 19:17:33.020 INFO kablam! at libstd/rt.rs:58 Sep 10 19:17:33.020 INFO kablam! 15: 0x556a945a46c7 - std::rt::lang_start::h266060433f54abbf Sep 10 19:17:33.020 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 10 19:17:33.020 INFO kablam! 16: 0x556a945a69a9 - main Sep 10 19:17:33.020 INFO kablam! 17: 0x7f65cf00282f - __libc_start_main Sep 10 19:17:33.020 INFO kablam! 18: 0x556a945a4328 - _start Sep 10 19:17:33.020 INFO kablam! 19: 0x0 - Sep 10 19:17:33.020 INFO kablam! Sep 10 19:17:33.020 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 10 19:17:53.557 INFO kablam! error: build failed Sep 10 19:17:53.558 INFO kablam! su: No module specific data is present Sep 10 19:17:54.187 INFO running `"docker" "rm" "-f" "8133e38c63bd709bcd97e0ddd085d9e161a15d86f9ae52711494f09a578f4669"` Sep 10 19:17:54.290 INFO blam! 8133e38c63bd709bcd97e0ddd085d9e161a15d86f9ae52711494f09a578f4669