Sep 14 16:48:21.977 INFO checking falcon-z3-0.4.0 against try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0 for pr-53578-1 Sep 14 16:48:21.977 INFO running: cargo +87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0-alt check --frozen --all --all-targets Sep 14 16:48:21.977 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-1/pr-53578-1/try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53578-1/worker-1/try#87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0:/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 +87b8e7411c4f1267d0cac0d63fa9c21c943e2ea0-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 14 16:48:22.116 INFO blam! f8db8985515ebed9821ebc717fdaa93c7d0af8002313db108da6bbb9bfebf053 Sep 14 16:48:22.118 INFO running `"docker" "start" "-a" "f8db8985515ebed9821ebc717fdaa93c7d0af8002313db108da6bbb9bfebf053"` Sep 14 16:48:22.778 INFO kablam! usermod: no changes Sep 14 16:48:23.017 INFO kablam! Compiling num-bigint v0.2.0 Sep 14 16:48:23.023 INFO kablam! Compiling scroll_derive v0.9.4 Sep 14 16:48:23.023 INFO kablam! Compiling bindgen v0.30.0 Sep 14 16:48:23.024 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Sep 14 16:48:30.196 INFO kablam! Checking scroll v0.9.0 Sep 14 16:48:30.948 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Sep 14 16:48:30.948 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-ba6dbc7b0f2c387a/build-script-build` (exit code: 101) Sep 14 16:48:30.948 INFO kablam! --- stdout Sep 14 16:48:30.948 INFO kablam! cargo:rustc-link-lib=z3 Sep 14 16:48:30.948 INFO kablam! Sep 14 16:48:30.948 INFO kablam! --- stderr Sep 14 16:48:30.948 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 14 16:48:30.948 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 14 16:48:30.948 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:1009:5 Sep 14 16:48:30.948 INFO kablam! stack backtrace: Sep 14 16:48:30.948 INFO kablam! 0: 0x55630779b96e - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h41c993454ce21d81 Sep 14 16:48:30.948 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 14 16:48:30.948 INFO kablam! 1: 0x55630778b156 - std::sys_common::backtrace::print::h589927f912fef2ff Sep 14 16:48:30.948 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 14 16:48:30.948 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 14 16:48:30.948 INFO kablam! 2: 0x5563077894dd - std::panicking::default_hook::{{closure}}::h9291452627a7ea3e Sep 14 16:48:30.948 INFO kablam! at libstd/panicking.rs:211 Sep 14 16:48:30.948 INFO kablam! 3: 0x556307789250 - std::panicking::default_hook::h6c8627623d33d292 Sep 14 16:48:30.948 INFO kablam! at libstd/panicking.rs:227 Sep 14 16:48:30.949 INFO kablam! 4: 0x556307789b4c - std::panicking::rust_panic_with_hook::he648562e376b33df Sep 14 16:48:30.949 INFO kablam! at libstd/panicking.rs:477 Sep 14 16:48:30.949 INFO kablam! 5: 0x556307789749 - std::panicking::continue_panic_fmt::h3d208fe7124551fd Sep 14 16:48:30.949 INFO kablam! at libstd/panicking.rs:391 Sep 14 16:48:30.949 INFO kablam! 6: 0x556307789645 - rust_begin_unwind Sep 14 16:48:30.949 INFO kablam! at libstd/panicking.rs:326 Sep 14 16:48:30.949 INFO kablam! 7: 0x5563077e347b - core::panicking::panic_fmt::h670e32d86923e0c5 Sep 14 16:48:30.949 INFO kablam! at libcore/panicking.rs:77 Sep 14 16:48:30.949 INFO kablam! 8: 0x5563071fd4c9 - core::result::unwrap_failed::hec4044b535801efe Sep 14 16:48:30.949 INFO kablam! at /checkout/src/libcore/macros.rs:26 Sep 14 16:48:30.949 INFO kablam! 9: 0x5563071fd32e - >::expect::h1b7311472f1514a5 Sep 14 16:48:30.949 INFO kablam! at /checkout/src/libcore/result.rs:835 Sep 14 16:48:30.949 INFO kablam! 10: 0x5563071fa539 - build_script_build::main::hc827bcdcf9ee464a Sep 14 16:48:30.949 INFO kablam! at /source/build.rs:9 Sep 14 16:48:30.949 INFO kablam! 11: 0x5563071fd55f - std::rt::lang_start::{{closure}}::hcdbbd44cac71cd07 Sep 14 16:48:30.949 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 14 16:48:30.949 INFO kablam! 12: 0x5563077895e2 - std::panicking::try::do_call::h0a45ab634c47bf28 Sep 14 16:48:30.949 INFO kablam! at libstd/rt.rs:59 Sep 14 16:48:30.949 INFO kablam! at libstd/panicking.rs:310 Sep 14 16:48:30.949 INFO kablam! 13: 0x5563077ad679 - __rust_maybe_catch_panic Sep 14 16:48:30.949 INFO kablam! at libpanic_unwind/lib.rs:102 Sep 14 16:48:30.949 INFO kablam! 14: 0x556307796355 - std::rt::lang_start_internal::he2cc69ced118af39 Sep 14 16:48:30.949 INFO kablam! at libstd/panicking.rs:289 Sep 14 16:48:30.949 INFO kablam! at libstd/panic.rs:392 Sep 14 16:48:30.949 INFO kablam! at libstd/rt.rs:58 Sep 14 16:48:30.949 INFO kablam! 15: 0x5563071fd537 - std::rt::lang_start::h359ff70ac2a80509 Sep 14 16:48:30.949 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 14 16:48:30.949 INFO kablam! 16: 0x5563071fa699 - main Sep 14 16:48:30.949 INFO kablam! 17: 0x7fae429e882f - __libc_start_main Sep 14 16:48:30.949 INFO kablam! 18: 0x5563071fa358 - _start Sep 14 16:48:30.949 INFO kablam! 19: 0x0 - Sep 14 16:48:30.949 INFO kablam! Sep 14 16:48:30.949 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 14 16:48:31.268 INFO kablam! error: build failed Sep 14 16:48:31.269 INFO kablam! su: No module specific data is present Sep 14 16:48:31.781 INFO running `"docker" "rm" "-f" "f8db8985515ebed9821ebc717fdaa93c7d0af8002313db108da6bbb9bfebf053"` Sep 14 16:48:31.840 INFO blam! f8db8985515ebed9821ebc717fdaa93c7d0af8002313db108da6bbb9bfebf053