Sep 04 18:07:52.206 INFO checking falcon-z3-0.4.0 against master#28bcffead74d5e17c6cb1f7de432e37f93a6b50c for pr-53893 Sep 04 18:07:52.206 INFO running: cargo +28bcffead74d5e17c6cb1f7de432e37f93a6b50c-alt check --frozen --all --all-targets Sep 04 18:07:52.206 INFO running `"docker" "create" "-v" "/home/ec2-user/crater/./work/local/test-source/worker-0/pr-53893/master#28bcffead74d5e17c6cb1f7de432e37f93a6b50c:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/pr-53893/worker-0/master#28bcffead74d5e17c6cb1f7de432e37f93a6b50c:/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 +28bcffead74d5e17c6cb1f7de432e37f93a6b50c-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-m" "2G" "crater"` Sep 04 18:07:52.366 INFO blam! 0c63bc541299922c69a06b5d1820cd37c75119e9cb9e6524073aec392615232e Sep 04 18:07:52.367 INFO running `"docker" "start" "-a" "0c63bc541299922c69a06b5d1820cd37c75119e9cb9e6524073aec392615232e"` Sep 04 18:07:53.355 INFO kablam! Compiling num-bigint v0.2.0 Sep 04 18:07:53.359 INFO kablam! Compiling scroll_derive v0.9.4 Sep 04 18:07:53.361 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Sep 04 18:07:53.362 INFO kablam! Compiling falcon_capstone v0.2.1 Sep 04 18:08:01.459 INFO kablam! Checking scroll v0.9.0 Sep 04 18:08:03.535 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Sep 04 18:08:03.535 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-45a670468d1f21a2/build-script-build` (exit code: 101) Sep 04 18:08:03.536 INFO kablam! --- stdout Sep 04 18:08:03.536 INFO kablam! cargo:rustc-link-lib=z3 Sep 04 18:08:03.536 INFO kablam! Sep 04 18:08:03.536 INFO kablam! --- stderr Sep 04 18:08:03.536 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Sep 04 18:08:03.536 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Sep 04 18:08:03.536 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Sep 04 18:08:03.536 INFO kablam! stack backtrace: Sep 04 18:08:03.536 INFO kablam! 0: 0x55e37f2d7aae - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h583ed2894c1db4e8 Sep 04 18:08:03.536 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Sep 04 18:08:03.536 INFO kablam! 1: 0x55e37f2c7156 - std::sys_common::backtrace::print::hb03c547ea490e9e5 Sep 04 18:08:03.536 INFO kablam! at libstd/sys_common/backtrace.rs:71 Sep 04 18:08:03.536 INFO kablam! at libstd/sys_common/backtrace.rs:59 Sep 04 18:08:03.536 INFO kablam! 2: 0x55e37f2c54bd - std::panicking::default_hook::{{closure}}::h74db1dbb754bb61b Sep 04 18:08:03.536 INFO kablam! at libstd/panicking.rs:211 Sep 04 18:08:03.536 INFO kablam! 3: 0x55e37f2c5230 - std::panicking::default_hook::h00b2b50b7c826057 Sep 04 18:08:03.536 INFO kablam! at libstd/panicking.rs:227 Sep 04 18:08:03.536 INFO kablam! 4: 0x55e37f2c5b2c - std::panicking::rust_panic_with_hook::h82a465b5cd0f7696 Sep 04 18:08:03.536 INFO kablam! at libstd/panicking.rs:477 Sep 04 18:08:03.537 INFO kablam! 5: 0x55e37f2c5729 - std::panicking::continue_panic_fmt::h176d70354b86e700 Sep 04 18:08:03.537 INFO kablam! at libstd/panicking.rs:391 Sep 04 18:08:03.537 INFO kablam! 6: 0x55e37f2c5625 - rust_begin_unwind Sep 04 18:08:03.537 INFO kablam! at libstd/panicking.rs:326 Sep 04 18:08:03.537 INFO kablam! 7: 0x55e37f31ea8b - core::panicking::panic_fmt::hf6b4ed50fda8af14 Sep 04 18:08:03.537 INFO kablam! at libcore/panicking.rs:77 Sep 04 18:08:03.537 INFO kablam! 8: 0x55e37ed347b9 - core::result::unwrap_failed::h068814d584fc05f8 Sep 04 18:08:03.537 INFO kablam! at /checkout/src/libcore/macros.rs:26 Sep 04 18:08:03.537 INFO kablam! 9: 0x55e37ed3461e - >::expect::he0f040932261cf60 Sep 04 18:08:03.537 INFO kablam! at /checkout/src/libcore/result.rs:809 Sep 04 18:08:03.537 INFO kablam! 10: 0x55e37ed35269 - build_script_build::main::h9ef2e193a51dde13 Sep 04 18:08:03.537 INFO kablam! at /source/build.rs:9 Sep 04 18:08:03.537 INFO kablam! 11: 0x55e37ed34ecf - std::rt::lang_start::{{closure}}::h4daa7a395d4e4e92 Sep 04 18:08:03.537 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 04 18:08:03.537 INFO kablam! 12: 0x55e37f2c55c2 - std::panicking::try::do_call::hd86a9acb4a664678 Sep 04 18:08:03.537 INFO kablam! at libstd/rt.rs:59 Sep 04 18:08:03.537 INFO kablam! at libstd/panicking.rs:310 Sep 04 18:08:03.537 INFO kablam! 13: 0x55e37f2e9249 - __rust_maybe_catch_panic Sep 04 18:08:03.538 INFO kablam! at libpanic_unwind/lib.rs:103 Sep 04 18:08:03.538 INFO kablam! 14: 0x55e37f2d23e5 - std::rt::lang_start_internal::h8264bc6ad8e6b565 Sep 04 18:08:03.538 INFO kablam! at libstd/panicking.rs:289 Sep 04 18:08:03.538 INFO kablam! at libstd/panic.rs:392 Sep 04 18:08:03.538 INFO kablam! at libstd/rt.rs:58 Sep 04 18:08:03.538 INFO kablam! 15: 0x55e37ed34ea7 - std::rt::lang_start::h89334efc0bd35c99 Sep 04 18:08:03.538 INFO kablam! at /checkout/src/libstd/rt.rs:74 Sep 04 18:08:03.538 INFO kablam! 16: 0x55e37ed353c9 - main Sep 04 18:08:03.538 INFO kablam! 17: 0x7fbc706c982f - __libc_start_main Sep 04 18:08:03.538 INFO kablam! 18: 0x55e37ed34408 - _start Sep 04 18:08:03.538 INFO kablam! 19: 0x0 - Sep 04 18:08:03.538 INFO kablam! Sep 04 18:08:03.539 INFO kablam! warning: build failed, waiting for other jobs to finish... Sep 04 18:08:04.797 INFO kablam! error: build failed Sep 04 18:08:04.799 INFO kablam! su: No module specific data is present Sep 04 18:08:05.426 INFO running `"docker" "rm" "-f" "0c63bc541299922c69a06b5d1820cd37c75119e9cb9e6524073aec392615232e"` Sep 04 18:08:05.565 INFO blam! 0c63bc541299922c69a06b5d1820cd37c75119e9cb9e6524073aec392615232e