Sep 01 04:44:51.483 INFO checking falcon-z3-0.4.0 against try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b for pr-53578 Sep 01 04:44:51.483 INFO running: cargo +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets Sep 01 04:44:51.484 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-3/pr-53578/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578/worker-3/try#a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b:/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 +a5b9f2cc0cdaca8edf23a89c649279de2c91cd3b-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 01 04:44:51.653 INFO blam! 648fdbc0b0f945b7a9a7d39e3ced36a6bc83edab788221592a7e0997dd39de0b Sep 01 04:44:51.654 INFO running `"docker" "start" "-a" "648fdbc0b0f945b7a9a7d39e3ced36a6bc83edab788221592a7e0997dd39de0b"` Sep 01 04:44:52.478 INFO kablam! Compiling num-bigint v0.2.0 Sep 01 04:44:52.482 INFO kablam! Compiling scroll_derive v0.9.4 Sep 01 04:44:52.483 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Sep 01 04:44:52.483 INFO kablam! Compiling falcon_capstone v0.2.1 Sep 01 04:45:01.674 INFO kablam! Checking scroll v0.9.0 Sep 01 04:45:02.745 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Sep 01 04:45:02.745 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-d29f252a1c531e6b/build-script-build` (exit code: 101) Sep 01 04:45:02.745 INFO kablam! --- stdout Sep 01 04:45:02.745 INFO kablam! cargo:rustc-link-lib=z3 Sep 01 04:45:02.745 INFO kablam! Sep 01 04:45:02.745 INFO kablam! --- stderr Sep 01 04:45:02.745 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 01 04:45:02.745 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 01 04:45:02.745 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Sep 01 04:45:02.745 INFO kablam! stack backtrace: Sep 01 04:45:02.745 INFO kablam! 0: 0x55ac4060eb9e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h5b93042d6f15f800 Sep 01 04:45:02.745 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 01 04:45:02.745 INFO kablam! 1: 0x55ac405fe386 - std::sys_common::backtrace::print::h20e4b3ea37b660b2 Sep 01 04:45:02.745 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 01 04:45:02.745 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 01 04:45:02.745 INFO kablam! 2: 0x55ac405fc6bd - std::panicking::default_hook::{{closure}}::h795a478e1aaada94 Sep 01 04:45:02.745 INFO kablam! at libstd/panicking.rs:211 Sep 01 04:45:02.746 INFO kablam! 3: 0x55ac405fc430 - std::panicking::default_hook::h62c69762e441cd31 Sep 01 04:45:02.746 INFO kablam! at libstd/panicking.rs:227 Sep 01 04:45:02.746 INFO kablam! 4: 0x55ac405fcd2c - std::panicking::rust_panic_with_hook::hb56a094fe82bce4d Sep 01 04:45:02.746 INFO kablam! at libstd/panicking.rs:475 Sep 01 04:45:02.746 INFO kablam! 5: 0x55ac405fc929 - std::panicking::continue_panic_fmt::hbf794f131d328561 Sep 01 04:45:02.746 INFO kablam! at libstd/panicking.rs:390 Sep 01 04:45:02.746 INFO kablam! 6: 0x55ac405fc825 - rust_begin_unwind Sep 01 04:45:02.746 INFO kablam! at libstd/panicking.rs:325 Sep 01 04:45:02.746 INFO kablam! 7: 0x55ac40655c0b - core::panicking::panic_fmt::h85dffb31ab880568 Sep 01 04:45:02.746 INFO kablam! at libcore/panicking.rs:77 Sep 01 04:45:02.746 INFO kablam! 8: 0x55ac4006980b - core::result::unwrap_failed::h254f1de58d7475a4 Sep 01 04:45:02.746 INFO kablam! at /checkout/src/libcore/macros.rs:26 Sep 01 04:45:02.746 INFO kablam! 9: 0x55ac4006965e - >::expect::hb71165b7e5274ccf Sep 01 04:45:02.746 INFO kablam! at /checkout/src/libcore/result.rs:809 Sep 01 04:45:02.746 INFO kablam! 10: 0x55ac4006b849 - build_script_build::main::h4eb6f8fc2da40327 Sep 01 04:45:02.746 INFO kablam! at /source/build.rs:9 Sep 01 04:45:02.746 INFO kablam! 11: 0x55ac4006c5cf - std::rt::lang_start::{{closure}}::h440cd5854fd42806 Sep 01 04:45:02.746 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 01 04:45:02.746 INFO kablam! 12: 0x55ac405fc7c2 - std::panicking::try::do_call::h344c73344a3fd6f6 Sep 01 04:45:02.746 INFO kablam! at libstd/rt.rs:59 Sep 01 04:45:02.747 INFO kablam! at libstd/panicking.rs:310 Sep 01 04:45:02.747 INFO kablam! 13: 0x55ac40620369 - __rust_maybe_catch_panic Sep 01 04:45:02.747 INFO kablam! at libpanic_unwind/lib.rs:102 Sep 01 04:45:02.747 INFO kablam! 14: 0x55ac40609515 - std::rt::lang_start_internal::h4ab4abaf01dcd012 Sep 01 04:45:02.747 INFO kablam! at libstd/panicking.rs:289 Sep 01 04:45:02.747 INFO kablam! at libstd/panic.rs:392 Sep 01 04:45:02.747 INFO kablam! at libstd/rt.rs:58 Sep 01 04:45:02.747 INFO kablam! 15: 0x55ac4006c5a7 - std::rt::lang_start::h944612f7fcbcc66b Sep 01 04:45:02.747 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 01 04:45:02.747 INFO kablam! 16: 0x55ac4006b9a9 - main Sep 01 04:45:02.747 INFO kablam! 17: 0x7f8f7bd4c82f - __libc_start_main Sep 01 04:45:02.747 INFO kablam! 18: 0x55ac40069408 - _start Sep 01 04:45:02.747 INFO kablam! 19: 0x0 - Sep 01 04:45:02.747 INFO kablam! Sep 01 04:45:02.747 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 01 04:45:05.301 INFO kablam! error: build failed Sep 01 04:45:05.303 INFO kablam! su: No module specific data is present Sep 01 04:45:05.773 INFO running `"docker" "rm" "-f" "648fdbc0b0f945b7a9a7d39e3ced36a6bc83edab788221592a7e0997dd39de0b"` Sep 01 04:45:05.911 INFO blam! 648fdbc0b0f945b7a9a7d39e3ced36a6bc83edab788221592a7e0997dd39de0b