Aug 30 18:07:40.333 INFO checking falcon-z3-0.4.0 against master#545f22340f72ee0efaf6463efb43a2840e3d35db for pr-53699 Aug 30 18:07:40.333 INFO running: cargo +545f22340f72ee0efaf6463efb43a2840e3d35db-alt check --frozen --all --all-targets Aug 30 18:07:40.333 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53699/master#545f22340f72ee0efaf6463efb43a2840e3d35db:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53699/worker-1/master#545f22340f72ee0efaf6463efb43a2840e3d35db:/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 +545f22340f72ee0efaf6463efb43a2840e3d35db-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Aug 30 18:07:40.481 INFO blam! a178a1cd1628113913079a7dcc99c349d02c45ae0ff23ccf8e23241db43eed52 Aug 30 18:07:40.483 INFO running `"docker" "start" "-a" "a178a1cd1628113913079a7dcc99c349d02c45ae0ff23ccf8e23241db43eed52"` Aug 30 18:07:41.433 INFO kablam! Compiling num-bigint v0.2.0 Aug 30 18:07:41.498 INFO kablam! Compiling scroll_derive v0.9.4 Aug 30 18:07:41.513 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Aug 30 18:07:41.516 INFO kablam! Compiling falcon_capstone v0.2.1 Aug 30 18:07:52.802 INFO kablam! Checking scroll v0.9.0 Aug 30 18:07:54.795 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Aug 30 18:07:54.795 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-35c8fb936e7c66f4/build-script-build` (exit code: 101) Aug 30 18:07:54.795 INFO kablam! --- stdout Aug 30 18:07:54.795 INFO kablam! cargo:rustc-link-lib=z3 Aug 30 18:07:54.795 INFO kablam! Aug 30 18:07:54.795 INFO kablam! --- stderr Aug 30 18:07:54.795 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Aug 30 18:07:54.795 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Aug 30 18:07:54.796 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Aug 30 18:07:54.796 INFO kablam! stack backtrace: Aug 30 18:07:54.796 INFO kablam! 0: 0x5630b8c6ce7e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::hb14c0e50253b2613 Aug 30 18:07:54.796 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Aug 30 18:07:54.796 INFO kablam! 1: 0x5630b8c5c646 - std::sys_common::backtrace::print::h6350b89a6173f177 Aug 30 18:07:54.796 INFO kablam! at libstd/sys_common/backtrace.rs:71 Aug 30 18:07:54.796 INFO kablam! at libstd/sys_common/backtrace.rs:59 Aug 30 18:07:54.796 INFO kablam! 2: 0x5630b8c5a97d - std::panicking::default_hook::{{closure}}::h0d296196459c0d68 Aug 30 18:07:54.796 INFO kablam! at libstd/panicking.rs:211 Aug 30 18:07:54.796 INFO kablam! 3: 0x5630b8c5a6f0 - std::panicking::default_hook::h3b75ddcdb4e292c2 Aug 30 18:07:54.796 INFO kablam! at libstd/panicking.rs:227 Aug 30 18:07:54.796 INFO kablam! 4: 0x5630b8c5afec - std::panicking::rust_panic_with_hook::h78c3f66b7bf47c8e Aug 30 18:07:54.796 INFO kablam! at libstd/panicking.rs:476 Aug 30 18:07:54.796 INFO kablam! 5: 0x5630b8c5abe9 - std::panicking::continue_panic_fmt::h0dca0000433d53cd Aug 30 18:07:54.796 INFO kablam! at libstd/panicking.rs:390 Aug 30 18:07:54.796 INFO kablam! 6: 0x5630b8c5aae5 - rust_begin_unwind Aug 30 18:07:54.796 INFO kablam! at libstd/panicking.rs:325 Aug 30 18:07:54.796 INFO kablam! 7: 0x5630b8cb3e8b - core::panicking::panic_fmt::h6a491d71a4e1ea85 Aug 30 18:07:54.796 INFO kablam! at libcore/panicking.rs:77 Aug 30 18:07:54.796 INFO kablam! 8: 0x5630b86c858b - core::result::unwrap_failed::h0984f1f85c0ea2c8 Aug 30 18:07:54.796 INFO kablam! at /checkout/src/libcore/macros.rs:26 Aug 30 18:07:54.796 INFO kablam! 9: 0x5630b86c83de - >::expect::h218f8a121664bffe Aug 30 18:07:54.796 INFO kablam! at /checkout/src/libcore/result.rs:809 Aug 30 18:07:54.796 INFO kablam! 10: 0x5630b86c8fa9 - build_script_build::main::h05339ba38365f79e Aug 30 18:07:54.796 INFO kablam! at /source/build.rs:9 Aug 30 18:07:54.797 INFO kablam! 11: 0x5630b86c8e9f - std::rt::lang_start::{{closure}}::h33163789aba538bc Aug 30 18:07:54.797 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 30 18:07:54.797 INFO kablam! 12: 0x5630b8c5aa82 - std::panicking::try::do_call::heda1385a4d443830 Aug 30 18:07:54.797 INFO kablam! at libstd/rt.rs:59 Aug 30 18:07:54.797 INFO kablam! at libstd/panicking.rs:310 Aug 30 18:07:54.797 INFO kablam! 13: 0x5630b8c7e339 - __rust_maybe_catch_panic Aug 30 18:07:54.797 INFO kablam! at libpanic_unwind/lib.rs:102 Aug 30 18:07:54.797 INFO kablam! 14: 0x5630b8c677e5 - std::rt::lang_start_internal::h92d079b55bc853f9 Aug 30 18:07:54.797 INFO kablam! at libstd/panicking.rs:289 Aug 30 18:07:54.797 INFO kablam! at libstd/panic.rs:392 Aug 30 18:07:54.797 INFO kablam! at libstd/rt.rs:58 Aug 30 18:07:54.797 INFO kablam! 15: 0x5630b86c8e77 - std::rt::lang_start::h1bcf29055646e4c2 Aug 30 18:07:54.797 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 30 18:07:54.797 INFO kablam! 16: 0x5630b86c9109 - main Aug 30 18:07:54.797 INFO kablam! 17: 0x7f6c552c682f - __libc_start_main Aug 30 18:07:54.797 INFO kablam! 18: 0x5630b86c7408 - _start Aug 30 18:07:54.797 INFO kablam! 19: 0x0 - Aug 30 18:07:54.797 INFO kablam! Aug 30 18:07:54.797 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 30 18:07:56.157 INFO kablam! error: build failed Aug 30 18:07:56.158 INFO kablam! su: No module specific data is present Aug 30 18:07:56.612 INFO running `"docker" "rm" "-f" "a178a1cd1628113913079a7dcc99c349d02c45ae0ff23ccf8e23241db43eed52"` Aug 30 18:07:56.728 INFO blam! a178a1cd1628113913079a7dcc99c349d02c45ae0ff23ccf8e23241db43eed52