Sep 20 03:45:40.250 INFO checking falcon-z3-0.4.0 against master#1e21c9a297a9fe668d62887a3a6a4add8e717b17 for pr-54352 Sep 20 03:45:40.250 INFO running: cargo +1e21c9a297a9fe668d62887a3a6a4add8e717b17-alt check --frozen --all --all-targets Sep 20 03:45:40.250 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-54352/master#1e21c9a297a9fe668d62887a3a6a4add8e717b17:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54352/worker-1/master#1e21c9a297a9fe668d62887a3a6a4add8e717b17:/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 +1e21c9a297a9fe668d62887a3a6a4add8e717b17-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 20 03:45:40.425 INFO blam! a3b77a8987dd12571fbdb8adfd094601f8538b4ac1a98141c9add2ff076c4fbe Sep 20 03:45:40.427 INFO running `"docker" "start" "-a" "a3b77a8987dd12571fbdb8adfd094601f8538b4ac1a98141c9add2ff076c4fbe"` Sep 20 03:45:41.309 INFO kablam! usermod: no changes Sep 20 03:45:41.518 INFO kablam! Compiling num-bigint v0.2.0 Sep 20 03:45:41.518 INFO kablam! Checking plain v0.2.3 Sep 20 03:45:41.518 INFO kablam! Compiling scroll_derive v0.9.4 Sep 20 03:45:41.519 INFO kablam! Compiling falcon-z3 v0.4.0 (/source) Sep 20 03:45:41.524 INFO kablam! Compiling falcon_capstone v0.2.1 Sep 20 03:45:47.673 INFO kablam! Checking scroll v0.9.0 Sep 20 03:45:49.451 INFO kablam! Checking goblin v0.0.17 Sep 20 03:45:51.720 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (/source)` Sep 20 03:45:51.720 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-1bbeaac26fa17a1a/build-script-build` (exit code: 101) Sep 20 03:45:51.720 INFO kablam! --- stdout Sep 20 03:45:51.720 INFO kablam! cargo:rustc-link-lib=z3 Sep 20 03:45:51.720 INFO kablam! Sep 20 03:45:51.720 INFO kablam! --- stderr Sep 20 03:45:51.720 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 20 03:45:51.720 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 20 03:45:51.720 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:1009:5 Sep 20 03:45:51.720 INFO kablam! stack backtrace: Sep 20 03:45:51.720 INFO kablam! 0: 0x55c86ea262ee - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::hf109cffeb5c37bed Sep 20 03:45:51.720 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 20 03:45:51.720 INFO kablam! 1: 0x55c86ea158d6 - std::sys_common::backtrace::print::h4afa12dd16372edf Sep 20 03:45:51.720 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 20 03:45:51.720 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 20 03:45:51.720 INFO kablam! 2: 0x55c86ea13cad - std::panicking::default_hook::{{closure}}::ha3565edfa2d8a8f7 Sep 20 03:45:51.720 INFO kablam! at libstd/panicking.rs:211 Sep 20 03:45:51.720 INFO kablam! 3: 0x55c86ea13a20 - std::panicking::default_hook::h68592964d2f4a1f7 Sep 20 03:45:51.720 INFO kablam! at libstd/panicking.rs:227 Sep 20 03:45:51.720 INFO kablam! 4: 0x55c86ea1431c - std::panicking::rust_panic_with_hook::h33d0ce8157f9a0b5 Sep 20 03:45:51.720 INFO kablam! at libstd/panicking.rs:477 Sep 20 03:45:51.720 INFO kablam! 5: 0x55c86ea13f19 - std::panicking::continue_panic_fmt::hbe179dc3877c8fe2 Sep 20 03:45:51.720 INFO kablam! at libstd/panicking.rs:391 Sep 20 03:45:51.720 INFO kablam! 6: 0x55c86ea13e15 - rust_begin_unwind Sep 20 03:45:51.720 INFO kablam! at libstd/panicking.rs:326 Sep 20 03:45:51.720 INFO kablam! 7: 0x55c86ea63e5b - core::panicking::panic_fmt::h6956b98d176146bb Sep 20 03:45:51.720 INFO kablam! at libcore/panicking.rs:77 Sep 20 03:45:51.720 INFO kablam! 8: 0x55c86e47ec19 - core::result::unwrap_failed::hf30429f2c0c8c352 Sep 20 03:45:51.720 INFO kablam! at libcore/macros.rs:26 Sep 20 03:45:51.720 INFO kablam! 9: 0x55c86e47ea7e - >::expect::h7759c13c3e8328c0 Sep 20 03:45:51.721 INFO kablam! at libcore/result.rs:835 Sep 20 03:45:51.721 INFO kablam! 10: 0x55c86e481079 - build_script_build::main::hfe455cb8447200e6 Sep 20 03:45:51.721 INFO kablam! at /source/build.rs:9 Sep 20 03:45:51.721 INFO kablam! 11: 0x55c86e4805bf - std::rt::lang_start::{{closure}}::ha1e9dc54408530d7 Sep 20 03:45:51.721 INFO kablam! at libstd/rt.rs:74 Sep 20 03:45:51.721 INFO kablam! 12: 0x55c86ea13db2 - std::panicking::try::do_call::h7aef401f0d6f2817 Sep 20 03:45:51.721 INFO kablam! at libstd/rt.rs:59 Sep 20 03:45:51.721 INFO kablam! at libstd/panicking.rs:310 Sep 20 03:45:51.721 INFO kablam! 13: 0x55c86ea380b9 - __rust_maybe_catch_panic Sep 20 03:45:51.721 INFO kablam! at libpanic_unwind/lib.rs:102 Sep 20 03:45:51.721 INFO kablam! 14: 0x55c86ea20a05 - std::rt::lang_start_internal::hd57f65710f093de9 Sep 20 03:45:51.721 INFO kablam! at libstd/panicking.rs:289 Sep 20 03:45:51.721 INFO kablam! at libstd/panic.rs:392 Sep 20 03:45:51.721 INFO kablam! at libstd/rt.rs:58 Sep 20 03:45:51.721 INFO kablam! 15: 0x55c86e480597 - std::rt::lang_start::h3b496a62fd3cd585 Sep 20 03:45:51.721 INFO kablam! at libstd/rt.rs:74 Sep 20 03:45:51.721 INFO kablam! 16: 0x55c86e4811d9 - main Sep 20 03:45:51.721 INFO kablam! 17: 0x7f0cc088e82f - __libc_start_main Sep 20 03:45:51.721 INFO kablam! 18: 0x55c86e47e138 - _start Sep 20 03:45:51.721 INFO kablam! 19: 0x0 - Sep 20 03:45:51.721 INFO kablam! Sep 20 03:45:51.721 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 20 03:45:55.554 INFO kablam! error: build failed Sep 20 03:45:55.555 INFO kablam! su: No module specific data is present Sep 20 03:45:56.168 INFO running `"docker" "rm" "-f" "a3b77a8987dd12571fbdb8adfd094601f8538b4ac1a98141c9add2ff076c4fbe"` Sep 20 03:45:56.248 INFO blam! a3b77a8987dd12571fbdb8adfd094601f8538b4ac1a98141c9add2ff076c4fbe