Sep 06 07:15:59.697 INFO checking falcon-z3-0.4.0 against master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6 for pr-53854 Sep 06 07:15:59.697 INFO running: cargo +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets Sep 06 07:15:59.697 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-2/pr-53854/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53854/worker-2/master#1c2e17f4e3a2070a7f703f51e29c1c388ef703b6:/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 +1c2e17f4e3a2070a7f703f51e29c1c388ef703b6-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 06 07:15:59.869 INFO blam! 36011328e3355332112b0e629f76287dbba172f3e59c9e4c12fd44f538a48fd3 Sep 06 07:15:59.871 INFO running `"docker" "start" "-a" "36011328e3355332112b0e629f76287dbba172f3e59c9e4c12fd44f538a48fd3"` Sep 06 07:16:00.793 INFO kablam! usermod: no changes Sep 06 07:16:01.246 INFO kablam! Compiling num-bigint v0.2.0 Sep 06 07:16:01.246 INFO kablam! Compiling scroll_derive v0.9.4 Sep 06 07:16:01.250 INFO kablam! Compiling bindgen v0.30.0 Sep 06 07:16:01.262 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Sep 06 07:16:08.992 INFO kablam! Checking scroll v0.9.0 Sep 06 07:16:09.913 INFO kablam! Checking goblin v0.0.17 Sep 06 07:16:10.139 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Sep 06 07:16:10.139 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-12d8a5e8a391b772/build-script-build` (exit code: 101) Sep 06 07:16:10.139 INFO kablam! --- stdout Sep 06 07:16:10.139 INFO kablam! cargo:rustc-link-lib=z3 Sep 06 07:16:10.139 INFO kablam! Sep 06 07:16:10.140 INFO kablam! --- stderr Sep 06 07:16:10.140 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 06 07:16:10.140 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 06 07:16:10.140 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Sep 06 07:16:10.140 INFO kablam! stack backtrace: Sep 06 07:16:10.140 INFO kablam! 0: 0x56523f057c1e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h082e5fdf9aff33df Sep 06 07:16:10.140 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 06 07:16:10.140 INFO kablam! 1: 0x56523f0473a6 - std::sys_common::backtrace::print::hef53554d827c8c8b Sep 06 07:16:10.140 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 06 07:16:10.140 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 06 07:16:10.140 INFO kablam! 2: 0x56523f04572d - std::panicking::default_hook::{{closure}}::h34861d43158e89b9 Sep 06 07:16:10.140 INFO kablam! at libstd/panicking.rs:211 Sep 06 07:16:10.140 INFO kablam! 3: 0x56523f0454a0 - std::panicking::default_hook::h8898fb997741a086 Sep 06 07:16:10.140 INFO kablam! at libstd/panicking.rs:227 Sep 06 07:16:10.140 INFO kablam! 4: 0x56523f045d9c - std::panicking::rust_panic_with_hook::h2a2e767b3fe52fcb Sep 06 07:16:10.140 INFO kablam! at libstd/panicking.rs:477 Sep 06 07:16:10.140 INFO kablam! 5: 0x56523f045999 - std::panicking::continue_panic_fmt::h2ca0f17b68b08aea Sep 06 07:16:10.140 INFO kablam! at libstd/panicking.rs:391 Sep 06 07:16:10.140 INFO kablam! 6: 0x56523f045895 - rust_begin_unwind Sep 06 07:16:10.140 INFO kablam! at libstd/panicking.rs:326 Sep 06 07:16:10.140 INFO kablam! 7: 0x56523f09f72b - core::panicking::panic_fmt::h26cf321176496c12 Sep 06 07:16:10.140 INFO kablam! at libcore/panicking.rs:77 Sep 06 07:16:10.140 INFO kablam! 8: 0x56523eab47b9 - core::result::unwrap_failed::he613a405adec423a Sep 06 07:16:10.140 INFO kablam! at /checkout/src/libcore/macros.rs:26 Sep 06 07:16:10.140 INFO kablam! 9: 0x56523eab461e - >::expect::hc4d8ce4080d68b0c Sep 06 07:16:10.140 INFO kablam! at /checkout/src/libcore/result.rs:809 Sep 06 07:16:10.140 INFO kablam! 10: 0x56523eab7299 - build_script_build::main::hf413a1addc8d5b61 Sep 06 07:16:10.140 INFO kablam! at /source/build.rs:9 Sep 06 07:16:10.140 INFO kablam! 11: 0x56523eab719f - std::rt::lang_start::{{closure}}::hdd8d086c74f79364 Sep 06 07:16:10.140 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 06 07:16:10.140 INFO kablam! 12: 0x56523f045832 - std::panicking::try::do_call::hd6568c1e1325fac3 Sep 06 07:16:10.140 INFO kablam! at libstd/rt.rs:59 Sep 06 07:16:10.140 INFO kablam! at libstd/panicking.rs:310 Sep 06 07:16:10.140 INFO kablam! 13: 0x56523f069ee9 - __rust_maybe_catch_panic Sep 06 07:16:10.140 INFO kablam! at libpanic_unwind/lib.rs:103 Sep 06 07:16:10.140 INFO kablam! 14: 0x56523f0525a5 - std::rt::lang_start_internal::hf4a29d9afcf3f720 Sep 06 07:16:10.140 INFO kablam! at libstd/panicking.rs:289 Sep 06 07:16:10.140 INFO kablam! at libstd/panic.rs:392 Sep 06 07:16:10.140 INFO kablam! at libstd/rt.rs:58 Sep 06 07:16:10.140 INFO kablam! 15: 0x56523eab7177 - std::rt::lang_start::h4c5ba8443614125a Sep 06 07:16:10.140 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 06 07:16:10.140 INFO kablam! 16: 0x56523eab73f9 - main Sep 06 07:16:10.140 INFO kablam! 17: 0x7f5380a7882f - __libc_start_main Sep 06 07:16:10.140 INFO kablam! 18: 0x56523eab4408 - _start Sep 06 07:16:10.140 INFO kablam! 19: 0x0 - Sep 06 07:16:10.140 INFO kablam! Sep 06 07:16:10.140 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 06 07:16:23.278 INFO kablam! error: build failed Sep 06 07:16:23.281 INFO kablam! su: No module specific data is present Sep 06 07:16:24.038 INFO running `"docker" "rm" "-f" "36011328e3355332112b0e629f76287dbba172f3e59c9e4c12fd44f538a48fd3"` Sep 06 07:16:24.165 INFO blam! 36011328e3355332112b0e629f76287dbba172f3e59c9e4c12fd44f538a48fd3