Sep 18 00:55:27.349 INFO checking falcon-z3-0.4.0 against master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690 for pr-54033 Sep 18 00:55:27.349 INFO running: cargo +cb6d2dfa8923902b0992a1522dc4a45a9d3ba690-alt check --frozen --all --all-targets Sep 18 00:55:27.349 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-54033/master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-54033/worker-1/master#cb6d2dfa8923902b0992a1522dc4a45a9d3ba690:/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 +cb6d2dfa8923902b0992a1522dc4a45a9d3ba690-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "1536M" "crater"` Sep 18 00:55:27.494 INFO blam! 1d6872fd7bb92417a91e01a61219b2cee06a4c06b916e6159df08fa51dd638bf Sep 18 00:55:27.496 INFO running `"docker" "start" "-a" "1d6872fd7bb92417a91e01a61219b2cee06a4c06b916e6159df08fa51dd638bf"` Sep 18 00:55:28.487 INFO kablam! usermod: no changes Sep 18 00:55:28.871 INFO kablam! Compiling num-bigint v0.2.0 Sep 18 00:55:28.871 INFO kablam! Compiling scroll_derive v0.9.4 Sep 18 00:55:28.871 INFO kablam! Compiling falcon-z3 v0.4.0 (/source) Sep 18 00:55:28.871 INFO kablam! Compiling falcon_capstone v0.2.1 Sep 18 00:55:35.454 INFO kablam! Checking scroll v0.9.0 Sep 18 00:55:37.076 INFO kablam! Checking goblin v0.0.17 Sep 18 00:55:38.654 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (/source)` Sep 18 00:55:38.655 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-fa112402e497392f/build-script-build` (exit code: 101) Sep 18 00:55:38.655 INFO kablam! --- stdout Sep 18 00:55:38.655 INFO kablam! cargo:rustc-link-lib=z3 Sep 18 00:55:38.655 INFO kablam! Sep 18 00:55:38.655 INFO kablam! --- stderr Sep 18 00:55:38.655 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 18 00:55:38.655 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 18 00:55:38.655 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:1009:5 Sep 18 00:55:38.655 INFO kablam! stack backtrace: Sep 18 00:55:38.655 INFO kablam! 0: 0x558ba034f51e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::he3ea2af6595cbcfd Sep 18 00:55:38.655 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 18 00:55:38.655 INFO kablam! 1: 0x558ba033ec76 - std::sys_common::backtrace::print::h9a6dc25b0b6db3e6 Sep 18 00:55:38.655 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 18 00:55:38.655 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 18 00:55:38.655 INFO kablam! 2: 0x558ba033d04d - std::panicking::default_hook::{{closure}}::h9f9f4c00fc62ac12 Sep 18 00:55:38.655 INFO kablam! at libstd/panicking.rs:211 Sep 18 00:55:38.655 INFO kablam! 3: 0x558ba033cdc0 - std::panicking::default_hook::h86ebe853ecef0f3c Sep 18 00:55:38.655 INFO kablam! at libstd/panicking.rs:227 Sep 18 00:55:38.655 INFO kablam! 4: 0x558ba033d6bc - std::panicking::rust_panic_with_hook::h6d3348b8dd4df56e Sep 18 00:55:38.655 INFO kablam! at libstd/panicking.rs:477 Sep 18 00:55:38.655 INFO kablam! 5: 0x558ba033d2b9 - std::panicking::continue_panic_fmt::hf441f2da14f71300 Sep 18 00:55:38.655 INFO kablam! at libstd/panicking.rs:391 Sep 18 00:55:38.655 INFO kablam! 6: 0x558ba033d1b5 - rust_begin_unwind Sep 18 00:55:38.655 INFO kablam! at libstd/panicking.rs:326 Sep 18 00:55:38.655 INFO kablam! 7: 0x558ba0396deb - core::panicking::panic_fmt::hff9c4a4843385491 Sep 18 00:55:38.655 INFO kablam! at libcore/panicking.rs:77 Sep 18 00:55:38.655 INFO kablam! 8: 0x558b9fdad709 - core::result::unwrap_failed::h94d3d536b1753d25 Sep 18 00:55:38.655 INFO kablam! at libcore/macros.rs:26 Sep 18 00:55:38.655 INFO kablam! 9: 0x558b9fdad56e - >::expect::h459eb76b633b407f Sep 18 00:55:38.655 INFO kablam! at libcore/result.rs:835 Sep 18 00:55:38.655 INFO kablam! 10: 0x558b9fdad809 - build_script_build::main::hf78336f5b7954a51 Sep 18 00:55:38.655 INFO kablam! at /source/build.rs:9 Sep 18 00:55:38.655 INFO kablam! 11: 0x558b9fdaeb8f - std::rt::lang_start::{{closure}}::h1af2bb370c150431 Sep 18 00:55:38.655 INFO kablam! at libstd/rt.rs:74 Sep 18 00:55:38.655 INFO kablam! 12: 0x558ba033d152 - std::panicking::try::do_call::h46a7bcf1f6152e5b Sep 18 00:55:38.655 INFO kablam! at libstd/rt.rs:59 Sep 18 00:55:38.655 INFO kablam! at libstd/panicking.rs:310 Sep 18 00:55:38.655 INFO kablam! 13: 0x558ba0360fe9 - __rust_maybe_catch_panic Sep 18 00:55:38.655 INFO kablam! at libpanic_unwind/lib.rs:102 Sep 18 00:55:38.655 INFO kablam! 14: 0x558ba0349f05 - std::rt::lang_start_internal::h221cb5896f5e061c Sep 18 00:55:38.655 INFO kablam! at libstd/panicking.rs:289 Sep 18 00:55:38.655 INFO kablam! at libstd/panic.rs:392 Sep 18 00:55:38.655 INFO kablam! at libstd/rt.rs:58 Sep 18 00:55:38.655 INFO kablam! 15: 0x558b9fdaeb67 - std::rt::lang_start::hc9e2fa585e690c19 Sep 18 00:55:38.655 INFO kablam! at libstd/rt.rs:74 Sep 18 00:55:38.655 INFO kablam! 16: 0x558b9fdad969 - main Sep 18 00:55:38.655 INFO kablam! 17: 0x7f767361682f - __libc_start_main Sep 18 00:55:38.655 INFO kablam! 18: 0x558b9fdad358 - _start Sep 18 00:55:38.655 INFO kablam! 19: 0x0 - Sep 18 00:55:38.655 INFO kablam! Sep 18 00:55:38.655 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 18 00:55:43.087 INFO kablam! error: build failed Sep 18 00:55:43.088 INFO kablam! su: No module specific data is present Sep 18 00:55:43.972 INFO running `"docker" "rm" "-f" "1d6872fd7bb92417a91e01a61219b2cee06a4c06b916e6159df08fa51dd638bf"` Sep 18 00:55:44.090 INFO blam! 1d6872fd7bb92417a91e01a61219b2cee06a4c06b916e6159df08fa51dd638bf