Aug 17 23:09:26.922 INFO checking falcon-z3-0.3.1 against try#a5d98b025f62ace80fe9d2a15781f900fc42515e for pr-53426 Aug 17 23:09:26.922 INFO running: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets Aug 17 23:09:26.922 INFO creating container for: cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets Aug 17 23:09:26.922 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-5/pr-53426/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53426/worker-5/try#a5d98b025f62ace80fe9d2a15781f900fc42515e:/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=500" "-e" "CMD=cargo +a5d98b025f62ace80fe9d2a15781f900fc42515e-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 17 23:09:27.132 INFO blam! d556f45a6c66cd993848215acbbdd1d1436733e2bb5731a148fb75aa6b705367 Aug 17 23:09:27.135 INFO running `"docker" "start" "-a" "d556f45a6c66cd993848215acbbdd1d1436733e2bb5731a148fb75aa6b705367"` Aug 17 23:09:28.485 INFO kablam! Compiling num-bigint v0.2.0 Aug 17 23:09:28.501 INFO kablam! Compiling scroll_derive v0.9.4 Aug 17 23:09:28.502 INFO kablam! Compiling falcon-z3 v0.3.1 (file:///source) Aug 17 23:09:28.502 INFO kablam! Compiling falcon_capstone v0.2.1 Aug 17 23:09:41.375 INFO kablam! Checking scroll v0.9.0 Aug 17 23:09:46.316 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.3.1 (file:///source)` Aug 17 23:09:46.316 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-33f24c76bb79a665/build-script-build` (exit code: 101) Aug 17 23:09:46.316 INFO kablam! --- stdout Aug 17 23:09:46.316 INFO kablam! cargo:rustc-link-lib=z3 Aug 17 23:09:46.316 INFO kablam! Aug 17 23:09:46.316 INFO kablam! --- stderr Aug 17 23:09:46.316 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Aug 17 23:09:46.316 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Aug 17 23:09:46.316 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Aug 17 23:09:46.316 INFO kablam! stack backtrace: Aug 17 23:09:46.317 INFO kablam! 0: 0x56325ef5afbe - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h4d6db3d1f3224d11 Aug 17 23:09:46.317 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Aug 17 23:09:46.317 INFO kablam! 1: 0x56325ef4a786 - std::sys_common::backtrace::print::h1421ef5d2deba68c Aug 17 23:09:46.317 INFO kablam! at libstd/sys_common/backtrace.rs:71 Aug 17 23:09:46.317 INFO kablam! at libstd/sys_common/backtrace.rs:59 Aug 17 23:09:46.317 INFO kablam! 2: 0x56325ef48abd - std::panicking::default_hook::{{closure}}::hf71f770da74d044c Aug 17 23:09:46.317 INFO kablam! at libstd/panicking.rs:211 Aug 17 23:09:46.317 INFO kablam! 3: 0x56325ef48830 - std::panicking::default_hook::haa813e51e914623c Aug 17 23:09:46.317 INFO kablam! at libstd/panicking.rs:227 Aug 17 23:09:46.317 INFO kablam! 4: 0x56325ef4912c - std::panicking::rust_panic_with_hook::hbcb9b6026e2c4ae0 Aug 17 23:09:46.317 INFO kablam! at libstd/panicking.rs:475 Aug 17 23:09:46.317 INFO kablam! 5: 0x56325ef48d29 - std::panicking::continue_panic_fmt::hefef94ef57220685 Aug 17 23:09:46.317 INFO kablam! at libstd/panicking.rs:390 Aug 17 23:09:46.317 INFO kablam! 6: 0x56325ef48c25 - rust_begin_unwind Aug 17 23:09:46.317 INFO kablam! at libstd/panicking.rs:325 Aug 17 23:09:46.317 INFO kablam! 7: 0x56325efa211b - core::panicking::panic_fmt::h0a9b800802ed51ef Aug 17 23:09:46.317 INFO kablam! at libcore/panicking.rs:77 Aug 17 23:09:46.317 INFO kablam! 8: 0x56325e9a908b - core::result::unwrap_failed::h1d39ce81f1cdc2a3 Aug 17 23:09:46.317 INFO kablam! at /checkout/src/libcore/macros.rs:26 Aug 17 23:09:46.317 INFO kablam! 9: 0x56325e9a8ede - >::expect::h1db94c856ae51ebc Aug 17 23:09:46.317 INFO kablam! at /checkout/src/libcore/result.rs:809 Aug 17 23:09:46.317 INFO kablam! 10: 0x56325e9a8bc4 - build_script_build::main::h340a5dc3bc4d1c01 Aug 17 23:09:46.317 INFO kablam! at /source/build.rs:9 Aug 17 23:09:46.317 INFO kablam! 11: 0x56325e9a8daf - std::rt::lang_start::{{closure}}::hb92d35221c3a0915 Aug 17 23:09:46.317 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 17 23:09:46.317 INFO kablam! 12: 0x56325ef48bc2 - std::panicking::try::do_call::h54c5f6ae25b18a77 Aug 17 23:09:46.317 INFO kablam! at libstd/rt.rs:59 Aug 17 23:09:46.317 INFO kablam! at libstd/panicking.rs:310 Aug 17 23:09:46.317 INFO kablam! 13: 0x56325ef6c1e9 - __rust_maybe_catch_panic Aug 17 23:09:46.318 INFO kablam! at libpanic_unwind/lib.rs:105 Aug 17 23:09:46.318 INFO kablam! 14: 0x56325ef55935 - std::rt::lang_start_internal::hd07f8ec9f084b1a6 Aug 17 23:09:46.318 INFO kablam! at libstd/panicking.rs:289 Aug 17 23:09:46.318 INFO kablam! at libstd/panic.rs:392 Aug 17 23:09:46.318 INFO kablam! at libstd/rt.rs:58 Aug 17 23:09:46.318 INFO kablam! 15: 0x56325e9a8d87 - std::rt::lang_start::hb21ad5384925c9e3 Aug 17 23:09:46.318 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 17 23:09:46.318 INFO kablam! 16: 0x56325e9a8d29 - main Aug 17 23:09:46.318 INFO kablam! 17: 0x7f1c2598082f - __libc_start_main Aug 17 23:09:46.318 INFO kablam! 18: 0x56325e9a66e8 - _start Aug 17 23:09:46.318 INFO kablam! 19: 0x0 - Aug 17 23:09:46.318 INFO kablam! Aug 17 23:09:46.318 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 17 23:09:48.693 INFO kablam! error: build failed Aug 17 23:09:48.694 INFO kablam! su: No module specific data is present Aug 17 23:09:49.317 INFO running `"docker" "rm" "-f" "d556f45a6c66cd993848215acbbdd1d1436733e2bb5731a148fb75aa6b705367"` Aug 17 23:09:49.428 INFO blam! d556f45a6c66cd993848215acbbdd1d1436733e2bb5731a148fb75aa6b705367