Aug 11 14:56:46.602 INFO checking falcon-z3-0.4.0 against try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy for libc-1 Aug 11 14:56:46.602 INFO running: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 11 14:56:46.602 INFO creating container for: cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets Aug 11 14:56:46.602 INFO running `"docker" "create" "-v" "/tmp/crater.zMemndzPVYsA:/source:ro,Z" "-v" "/home/ec2-user/crater/./work/local/target-dirs/libc-1/worker-0/try#a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195+tmplazy:/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" "-v" "/home/ec2-user/crater/./work/local/cargo-home/git:/cargo-home/git:rw,Z" "-e" "USER_ID=500" "-e" "CMD=cargo +a77dfcc79fe3e7e1a10ae4dccfd4b2e5e0e49195-alt check --frozen --all --all-targets" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "crater"` Aug 11 14:56:46.851 INFO blam! 53025cb30736331eff8deab6d536ad12030b0ec3736a7e83edc5e1ddf2a8bfef Aug 11 14:56:46.853 INFO running `"docker" "start" "-a" "53025cb30736331eff8deab6d536ad12030b0ec3736a7e83edc5e1ddf2a8bfef"` Aug 11 14:56:48.743 INFO kablam! Compiling num-bigint v0.2.0 Aug 11 14:56:48.753 INFO kablam! Compiling scroll_derive v0.9.4 Aug 11 14:56:48.758 INFO kablam! Compiling falcon-z3 v0.4.0 (file:///source) Aug 11 14:56:48.759 INFO kablam! Compiling falcon_capstone v0.2.1 Aug 11 14:56:56.632 INFO kablam! Checking scroll v0.9.0 Aug 11 14:56:59.628 INFO kablam! Checking goblin v0.0.15 Aug 11 14:56:59.727 INFO kablam! error: failed to run custom build command for `falcon-z3 v0.4.0 (file:///source)` Aug 11 14:56:59.727 INFO kablam! process didn't exit successfully: `/target/debug/build/falcon-z3-650e12a4c008d2c0/build-script-build` (exit code: 101) Aug 11 14:56:59.727 INFO kablam! --- stdout Aug 11 14:56:59.727 INFO kablam! cargo:rustc-link-lib=z3 Aug 11 14:56:59.727 INFO kablam! Aug 11 14:56:59.727 INFO kablam! --- stderr Aug 11 14:56:59.727 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found Aug 11 14:56:59.727 INFO kablam! lib/header.h:1:10: fatal error: 'z3.h' file not found, err: true Aug 11 14:56:59.727 INFO kablam! thread 'main' panicked at 'Unable to generate bindings: ()', libcore/result.rs:983:5 Aug 11 14:56:59.727 INFO kablam! stack backtrace: Aug 11 14:56:59.727 INFO kablam! 0: 0x555b369b08ce - std::sys::unix::backtrace::tracing::imp::unwind_backtrace::h56b478bd6261cdea Aug 11 14:56:59.728 INFO kablam! at libstd/sys/unix/backtrace/tracing/gcc_s.rs:49 Aug 11 14:56:59.728 INFO kablam! 1: 0x555b369a4fa6 - std::sys_common::backtrace::print::h8838f036695641c1 Aug 11 14:56:59.728 INFO kablam! at libstd/sys_common/backtrace.rs:71 Aug 11 14:56:59.728 INFO kablam! at libstd/sys_common/backtrace.rs:59 Aug 11 14:56:59.728 INFO kablam! 2: 0x555b369a0d0d - std::panicking::default_hook::{{closure}}::h07e37170271eb3a7 Aug 11 14:56:59.728 INFO kablam! at libstd/panicking.rs:211 Aug 11 14:56:59.728 INFO kablam! 3: 0x555b369a0a80 - std::panicking::default_hook::h1ad13ac34d74cb6f Aug 11 14:56:59.728 INFO kablam! at libstd/panicking.rs:227 Aug 11 14:56:59.728 INFO kablam! 4: 0x555b369a137c - std::panicking::rust_panic_with_hook::h07b48b4bcd79aad0 Aug 11 14:56:59.728 INFO kablam! at libstd/panicking.rs:475 Aug 11 14:56:59.728 INFO kablam! 5: 0x555b369a0f79 - std::panicking::continue_panic_fmt::hc4081a7dfb4b8a83 Aug 11 14:56:59.728 INFO kablam! at libstd/panicking.rs:390 Aug 11 14:56:59.728 INFO kablam! 6: 0x555b369a0e75 - rust_begin_unwind Aug 11 14:56:59.728 INFO kablam! at libstd/panicking.rs:325 Aug 11 14:56:59.728 INFO kablam! 7: 0x555b369f919b - core::panicking::panic_fmt::h2e62773436200852 Aug 11 14:56:59.728 INFO kablam! at libcore/panicking.rs:77 Aug 11 14:56:59.728 INFO kablam! 8: 0x555b3641fffb - core::result::unwrap_failed::h1d28ff3e154656f9 Aug 11 14:56:59.728 INFO kablam! at /checkout/src/libcore/macros.rs:26 Aug 11 14:56:59.728 INFO kablam! 9: 0x555b3641fe56 - >::expect::hc862b8cfef5af35a Aug 11 14:56:59.728 INFO kablam! at /checkout/src/libcore/result.rs:809 Aug 11 14:56:59.728 INFO kablam! 10: 0x555b3641fb49 - build_script_build::main::hfbdfd71b75acdde5 Aug 11 14:56:59.728 INFO kablam! at /source/build.rs:9 Aug 11 14:56:59.728 INFO kablam! 11: 0x555b3641fd2f - std::rt::lang_start::{{closure}}::ha3821dbd1e1aa92a Aug 11 14:56:59.728 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 11 14:56:59.728 INFO kablam! 12: 0x555b369a0e12 - std::panicking::try::do_call::haa9e0167fafd552a Aug 11 14:56:59.728 INFO kablam! at libstd/rt.rs:59 Aug 11 14:56:59.729 INFO kablam! at libstd/panicking.rs:310 Aug 11 14:56:59.729 INFO kablam! 13: 0x555b369c3419 - __rust_maybe_catch_panic Aug 11 14:56:59.729 INFO kablam! at libpanic_unwind/lib.rs:105 Aug 11 14:56:59.729 INFO kablam! 14: 0x555b369aa9a5 - std::rt::lang_start_internal::hfce2f8e9f7e3c6bc Aug 11 14:56:59.729 INFO kablam! at libstd/panicking.rs:289 Aug 11 14:56:59.729 INFO kablam! at libstd/panic.rs:392 Aug 11 14:56:59.729 INFO kablam! at libstd/rt.rs:58 Aug 11 14:56:59.729 INFO kablam! 15: 0x555b3641fd07 - std::rt::lang_start::ha7504179d106a066 Aug 11 14:56:59.729 INFO kablam! at /checkout/src/libstd/rt.rs:74 Aug 11 14:56:59.729 INFO kablam! 16: 0x555b3641fca9 - main Aug 11 14:56:59.730 INFO kablam! 17: 0x7f8f8c51e82f - __libc_start_main Aug 11 14:56:59.730 INFO kablam! 18: 0x555b3641d6b8 - _start Aug 11 14:56:59.730 INFO kablam! 19: 0x0 - Aug 11 14:56:59.730 INFO kablam! Aug 11 14:56:59.730 INFO kablam! warning: build failed, waiting for other jobs to finish... Aug 11 14:57:15.415 INFO kablam! error: build failed Aug 11 14:57:15.417 INFO kablam! su: No module specific data is present Aug 11 14:57:16.170 INFO running `"docker" "rm" "-f" "53025cb30736331eff8deab6d536ad12030b0ec3736a7e83edc5e1ddf2a8bfef"` Aug 11 14:57:16.329 INFO blam! 53025cb30736331eff8deab6d536ad12030b0ec3736a7e83edc5e1ddf2a8bfef