Jul 12 09:55:27.590 INFO checking falcon-z3-0.3.1 against master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9 for pr-52234 Jul 12 09:55:27.590 INFO running: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 12 09:55:27.591 INFO creating container for: cargo +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets Jul 12 09:55:27.591 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-6/pr-52234/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-52234/worker-6/master#ae5b629efd79de78e6ba7ef493c32857bd7f9cf9:/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 +ae5b629efd79de78e6ba7ef493c32857bd7f9cf9-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "crater"` Jul 12 09:55:27.834 INFO blam! 26eb1dc6a441e6e8d7d1291cc858c0668830e71149f8e1c33eb123b900c08111 Jul 12 09:55:27.836 INFO running `"docker" "start" "-a" "26eb1dc6a441e6e8d7d1291cc858c0668830e71149f8e1c33eb123b900c08111"` Jul 12 09:55:29.709 INFO kablam! Compiling num-bigint v0.2.0 Jul 12 09:55:29.747 INFO kablam! Compiling scroll_derive v0.9.4 Jul 12 09:55:29.751 INFO kablam! Compiling falcon-z3 v0.3.1 (file:///source) Jul 12 09:55:29.751 INFO kablam! Compiling falcon_capstone v0.2.1 Jul 12 09:55:43.047 INFO kablam! Checking scroll v0.9.0 Jul 12 09:55:45.738 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.3.1 (file:///source)` Jul 12 09:55:45.738 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-1a00ec56b6caa0e7/build-script-build` (exit code: 101) Jul 12 09:55:45.738 INFO kablam! --- stdout Jul 12 09:55:45.738 INFO kablam! cargo:rustc-link-lib=z3 Jul 12 09:55:45.738 INFO kablam! Jul 12 09:55:45.739 INFO kablam! --- stderr Jul 12 09:55:45.739 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Jul 12 09:55:45.739 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Jul 12 09:55:45.739 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:945:5 Jul 12 09:55:45.739 INFO kablam! stack backtrace: Jul 12 09:55:45.739 INFO kablam! 0: 0x55d4c7dcf6de - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h384ae355f7caea4e Jul 12 09:55:45.739 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Jul 12 09:55:45.739 INFO kablam! 1: 0x55d4c7ddae46 - std::sys_common::backtrace::print::h4bb52e1bee024bba Jul 12 09:55:45.739 INFO kablam! at libstd/sys_common/backtrace.rs:71 Jul 12 09:55:45.739 INFO kablam! at libstd/sys_common/backtrace.rs:59 Jul 12 09:55:45.739 INFO kablam! 2: 0x55d4c7dd427d - std::panicking::default_hook::{{closure}}::hb7ba413df06fc0fe Jul 12 09:55:45.739 INFO kablam! at libstd/panicking.rs:211 Jul 12 09:55:45.739 INFO kablam! 3: 0x55d4c7dd3ff0 - std::panicking::default_hook::h0d2752b2f723ae1b Jul 12 09:55:45.739 INFO kablam! at libstd/panicking.rs:227 Jul 12 09:55:45.739 INFO kablam! 4: 0x55d4c7dd48ec - std::panicking::rust_panic_with_hook::h5ab246e6d52e753b Jul 12 09:55:45.739 INFO kablam! at libstd/panicking.rs:475 Jul 12 09:55:45.739 INFO kablam! 5: 0x55d4c7dd44e9 - std::panicking::continue_panic_fmt::hbc5be41dc11c760a Jul 12 09:55:45.739 INFO kablam! at libstd/panicking.rs:390 Jul 12 09:55:45.739 INFO kablam! 6: 0x55d4c7dd43e5 - rust_begin_unwind Jul 12 09:55:45.739 INFO kablam! at libstd/panicking.rs:325 Jul 12 09:55:45.739 INFO kablam! 7: 0x55d4c7e1d67b - core::panicking::panic_fmt::h79b37a38dbace2c3 Jul 12 09:55:45.739 INFO kablam! at libcore/panicking.rs:77 Jul 12 09:55:45.739 INFO kablam! 8: 0x55d4c78483bb - core::result::unwrap_failed::h779c976ca2f2d443 Jul 12 09:55:45.739 INFO kablam! at /checkout/src/libcore/macros.rs:26 Jul 12 09:55:45.739 INFO kablam! 9: 0x55d4c7848216 - >::expect::h86dfacf47f3ae850 Jul 12 09:55:45.739 INFO kablam! at /checkout/src/libcore/result.rs:809 Jul 12 09:55:45.739 INFO kablam! 10: 0x55d4c7847f09 - build_script_build::main::h4a7e086da568f321 Jul 12 09:55:45.739 INFO kablam! at /source/build.rs:9 Jul 12 09:55:45.740 INFO kablam! 11: 0x55d4c78480ef - std::rt::lang_start::{{closure}}::h655767e60de8a952 Jul 12 09:55:45.740 INFO kablam! at /checkout/src/libstd/rt.rs:74 Jul 12 09:55:45.740 INFO kablam! 12: 0x55d4c7dd4382 - std::panicking::try::do_call::he078c96f91c45734 Jul 12 09:55:45.740 INFO kablam! at libstd/rt.rs:59 Jul 12 09:55:45.740 INFO kablam! at libstd/panicking.rs:310 Jul 12 09:55:45.740 INFO kablam! 13: 0x55d4c7de61f9 - __rust_maybe_catch_panic Jul 12 09:55:45.740 INFO kablam! at libpanic_unwind/lib.rs:105 Jul 12 09:55:45.740 INFO kablam! 14: 0x55d4c7dc9665 - std::rt::lang_start_internal::he059594c0b5de843 Jul 12 09:55:45.740 INFO kablam! at libstd/panicking.rs:289 Jul 12 09:55:45.740 INFO kablam! at libstd/panic.rs:392 Jul 12 09:55:45.740 INFO kablam! at libstd/rt.rs:58 Jul 12 09:55:45.740 INFO kablam! 15: 0x55d4c78480c7 - std::rt::lang_start::h2d057bcb9b913e1e Jul 12 09:55:45.740 INFO kablam! at /checkout/src/libstd/rt.rs:74 Jul 12 09:55:45.740 INFO kablam! 16: 0x55d4c7848069 - main Jul 12 09:55:45.740 INFO kablam! 17: 0x7f744c88c82f - __libc_start_main Jul 12 09:55:45.740 INFO kablam! 18: 0x55d4c7845a78 - _start Jul 12 09:55:45.740 INFO kablam! 19: 0x0 - Jul 12 09:55:45.740 INFO kablam! Jul 12 09:55:45.740 INFO kablam! warning: build failed, waiting for other jobs to finish... Jul 12 09:55:50.467 INFO kablam! error: build failed Jul 12 09:55:50.470 INFO kablam! su: No module specific data is present Jul 12 09:55:51.097 INFO running `"docker" "rm" "-f" "26eb1dc6a441e6e8d7d1291cc858c0668830e71149f8e1c33eb123b900c08111"` Jul 12 09:55:51.275 INFO blam! 26eb1dc6a441e6e8d7d1291cc858c0668830e71149f8e1c33eb123b900c08111