Sep 02 14:48:51.256 INFO checking falcon-z3-0.4.0 against try#952c7dbfa2628309f557b367929ffc17af20b332 for pr-53851 Sep 02 14:48:51.256 INFO running: cargo +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets Sep 02 14:48:51.256 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53851/try#952c7dbfa2628309f557b367929ffc17af20b332:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53851/worker-1/try#952c7dbfa2628309f557b367929ffc17af20b332:/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 +952c7dbfa2628309f557b367929ffc17af20b332-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 02 14:48:51.445 INFO blam! f2cd263f27cf81d7fe5487337e941d7e343e000369df3928955f5851ed8507e3 Sep 02 14:48:51.446 INFO running `"docker" "start" "-a" "f2cd263f27cf81d7fe5487337e941d7e343e000369df3928955f5851ed8507e3"` Sep 02 14:48:52.385 INFO kablam! Compiling num-bigint v0.2.0 Sep 02 14:48:52.390 INFO kablam! Compiling scroll_derive v0.9.4 Sep 02 14:48:52.391 INFO kablam! Compiling bindgen v0.30.0 Sep 02 14:48:52.393 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Sep 02 14:49:01.661 INFO kablam! Checking scroll v0.9.0 Sep 02 14:49:04.203 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Sep 02 14:49:04.204 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-e46e50f28c8bbdc9/build-script-build` (exit code: 101) Sep 02 14:49:04.204 INFO kablam! --- stdout Sep 02 14:49:04.204 INFO kablam! cargo:rustc-link-lib=z3 Sep 02 14:49:04.204 INFO kablam! Sep 02 14:49:04.204 INFO kablam! --- stderr Sep 02 14:49:04.204 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 02 14:49:04.204 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 02 14:49:04.204 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Sep 02 14:49:04.204 INFO kablam! stack backtrace: Sep 02 14:49:04.204 INFO kablam! 0: 0x5578d0b37a0e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h8608d381b52a1cc7 Sep 02 14:49:04.204 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 02 14:49:04.204 INFO kablam! 1: 0x5578d0b271e6 - std::sys_common::backtrace::print::hf96fbb6301ca8111 Sep 02 14:49:04.204 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 02 14:49:04.204 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 02 14:49:04.204 INFO kablam! 2: 0x5578d0b2551d - std::panicking::default_hook::{{closure}}::h2e8fa0d6ce9ebecc Sep 02 14:49:04.205 INFO kablam! at libstd/panicking.rs:211 Sep 02 14:49:04.205 INFO kablam! 3: 0x5578d0b25290 - std::panicking::default_hook::h3e385661c8d6b6f8 Sep 02 14:49:04.205 INFO kablam! at libstd/panicking.rs:227 Sep 02 14:49:04.205 INFO kablam! 4: 0x5578d0b25b8c - std::panicking::rust_panic_with_hook::h82448672ce6401e7 Sep 02 14:49:04.205 INFO kablam! at libstd/panicking.rs:477 Sep 02 14:49:04.205 INFO kablam! 5: 0x5578d0b25789 - std::panicking::continue_panic_fmt::h7abacf9371d614d8 Sep 02 14:49:04.205 INFO kablam! at libstd/panicking.rs:391 Sep 02 14:49:04.205 INFO kablam! 6: 0x5578d0b25685 - rust_begin_unwind Sep 02 14:49:04.205 INFO kablam! at libstd/panicking.rs:326 Sep 02 14:49:04.205 INFO kablam! 7: 0x5578d0b7ea2b - core::panicking::panic_fmt::h6f207c73477c3893 Sep 02 14:49:04.205 INFO kablam! at libcore/panicking.rs:77 Sep 02 14:49:04.205 INFO kablam! 8: 0x5578d059279b - core::result::unwrap_failed::heb80065a5cce55d6 Sep 02 14:49:04.205 INFO kablam! at /checkout/src/libcore/macros.rs:26 Sep 02 14:49:04.205 INFO kablam! 9: 0x5578d05925ee - >::expect::h41f269fd01d7f872 Sep 02 14:49:04.205 INFO kablam! at /checkout/src/libcore/result.rs:809 Sep 02 14:49:04.205 INFO kablam! 10: 0x5578d0595219 - build_script_build::main::h9e419a11440fec14 Sep 02 14:49:04.205 INFO kablam! at /source/build.rs:9 Sep 02 14:49:04.206 INFO kablam! 11: 0x5578d05953ff - std::rt::lang_start::{{closure}}::h66716da3bd34a495 Sep 02 14:49:04.206 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 02 14:49:04.206 INFO kablam! 12: 0x5578d0b25622 - std::panicking::try::do_call::he8eb7284c711bc58 Sep 02 14:49:04.206 INFO kablam! at libstd/rt.rs:59 Sep 02 14:49:04.206 INFO kablam! at libstd/panicking.rs:310 Sep 02 14:49:04.206 INFO kablam! 13: 0x5578d0b48ed9 - __rust_maybe_catch_panic Sep 02 14:49:04.206 INFO kablam! at libpanic_unwind/lib.rs:103 Sep 02 14:49:04.206 INFO kablam! 14: 0x5578d0b32375 - std::rt::lang_start_internal::h25421c11e0cff495 Sep 02 14:49:04.206 INFO kablam! at libstd/panicking.rs:289 Sep 02 14:49:04.206 INFO kablam! at libstd/panic.rs:392 Sep 02 14:49:04.206 INFO kablam! at libstd/rt.rs:58 Sep 02 14:49:04.206 INFO kablam! 15: 0x5578d05953d7 - std::rt::lang_start::hc171f634383decf4 Sep 02 14:49:04.206 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 02 14:49:04.206 INFO kablam! 16: 0x5578d0595379 - main Sep 02 14:49:04.206 INFO kablam! 17: 0x7f99202cf82f - __libc_start_main Sep 02 14:49:04.206 INFO kablam! 18: 0x5578d05923d8 - _start Sep 02 14:49:04.206 INFO kablam! 19: 0x0 - Sep 02 14:49:04.207 INFO kablam! Sep 02 14:49:04.208 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 02 14:49:25.106 INFO kablam! error: build failed Sep 02 14:49:25.107 INFO kablam! su: No module specific data is present Sep 02 14:49:25.447 INFO running `"docker" "rm" "-f" "f2cd263f27cf81d7fe5487337e941d7e343e000369df3928955f5851ed8507e3"` Sep 02 14:49:25.552 INFO blam! f2cd263f27cf81d7fe5487337e941d7e343e000369df3928955f5851ed8507e3