[INFO] fetching crate isla-axiomatic 0.2.0...
[INFO] testing isla-axiomatic-0.2.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate isla-axiomatic 0.2.0 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate isla-axiomatic 0.2.0
[INFO] finished tweaking crates.io crate isla-axiomatic 0.2.0
[INFO] tweaked toml for crates.io crate isla-axiomatic 0.2.0 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate isla-axiomatic 0.2.0 on toolchain 1.100.0-beta.1
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 98 packages to highest compatible versions
[INFO] [stderr]       Adding crossbeam v0.7.3 (available: v0.8.5)
[INFO] [stderr]       Adding goblin v0.2.3 (available: v0.10.7)
[INFO] [stderr]       Adding lalrpop v0.19.12 (available: v0.23.1)
[INFO] [stderr]       Adding lalrpop-util v0.19.12 (available: v0.23.1)
[INFO] [stderr]       Adding toml v0.5.11 (available: v1.1.8+spec-1.1.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.100.0-beta.1" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:43:12
[INFO] [stderr]    |
[INFO] [stderr] 43 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 47 | repository = "https://github.com/rems-project/isla"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `isla-axiomatic` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:77db811e55d90add9212f6832c23229e3de5f1c1f9905e8cb07319ea15df73ac" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82
[INFO] running `Command { std: "docker" "start" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:43:12
[INFO] [stderr]    |
[INFO] [stderr] 43 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 47 | repository = "https://github.com/rems-project/isla"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `isla-axiomatic` (manifest) generated 1 warning
[INFO] [stderr]    Compiling libc v0.2.191
[INFO] [stderr]    Compiling autocfg v1.5.1
[INFO] [stderr]    Compiling cfg-if v1.0.5
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling memchr v2.8.3
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling smallvec v1.16.3
[INFO] [stderr]    Compiling unicode-ident v1.0.27
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling equivalent v1.0.3
[INFO] [stderr]    Compiling siphasher v1.0.4
[INFO] [stderr]    Compiling log v0.4.34
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling either v1.19.0
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling lazy_static v1.5.1
[INFO] [stderr]    Compiling maybe-uninit v2.0.0
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling aho-corasick v1.1.5
[INFO] [stderr]    Compiling block-padding v0.1.5
[INFO] [stderr]    Compiling hashbrown v0.12.3
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling crossbeam-channel v0.4.4
[INFO] [stderr]    Compiling crossbeam-queue v0.2.3
[INFO] [stderr]    Compiling indexmap v2.14.2
[INFO] [stderr]    Compiling crossbeam-deque v0.7.4
[INFO] [stderr]    Compiling syn v3.0.9
[INFO] [stderr]    Compiling generic-array v0.12.4
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling opaque-debug v0.2.3
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling block-buffer v0.7.3
[INFO] [stderr]    Compiling digest v0.8.1
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling sha2 v0.8.2
[INFO] [stderr]    Compiling crossbeam v0.7.3
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling z3-sys v0.5.0
[INFO] [stderr]    Compiling plain v0.2.3
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling scroll_derive v0.10.5
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling scroll v0.10.2
[INFO] [stderr]    Compiling goblin v0.2.3
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling lalrpop-util v0.19.12
[INFO] [stderr]    Compiling lalrpop v0.19.12
[INFO] [stderr]    Compiling toml v0.5.11
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling isla-cat v0.2.0
[INFO] [stderr]    Compiling isla-lib v0.2.0
[INFO] [stderr]    Compiling isla-axiomatic v0.2.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 11s
[INFO] running `Command { std: "docker" "inspect" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-w" "/opt/rustwide/workdir" "--user" "0:0" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82" "/opt/rustwide/cargo-home/bin/cargo" "+1.100.0-beta.1" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:43:12
[INFO] [stderr]    |
[INFO] [stderr] 43 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 47 | repository = "https://github.com/rems-project/isla"
[INFO] [stderr]    |              --------------------------------------
[INFO] [stderr]    |
[INFO] [stderr]    = note: `cargo::redundant_homepage` is set to `warn` by default
[INFO] [stderr] help: consider removing `package.homepage`
[INFO] [stderr] warning: `isla-axiomatic` (manifest) generated 1 warning
[INFO] [stderr]    Compiling isla-axiomatic v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla-axiomatic/9475920b5233507a/out/rustcL4TRyS/symbols.o" "<8 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/release/build/goblin/d5d8c23d9a4276f4/out/libgoblin-d5d8c23d9a4276f4.rlib" "/opt/rustwide/target/release/build/log/3c55b5043a18cee7/out/liblog-3c55b5043a18cee7.rlib" "/opt/rustwide/target/release/build/plain/1de85e4260d6be9c/out/libplain-1de85e4260d6be9c.rlib" "/opt/rustwide/target/release/build/scroll/1ead4f15a58a1984/out/libscroll-1ead4f15a58a1984.rlib" "/opt/rustwide/target/release/build/isla-cat/6e2c1e0017a6010d/out/libisla_cat-6e2c1e0017a6010d.rlib" "/opt/rustwide/target/release/build/isla-lib/29418795871720cb/out/libisla_lib-29418795871720cb.rlib" "/opt/rustwide/target/release/build/bincode/1f88a99f3d288caa/out/libbincode-1f88a99f3d288caa.rlib" "/opt/rustwide/target/release/build/z3-sys/2058b4dab659b89e/out/libz3_sys-2058b4dab659b89e.rlib" "/opt/rustwide/target/release/build/libc/a0a6e54f1566fa83/out/liblibc-a0a6e54f1566fa83.rlib" "/opt/rustwide/target/release/build/petgraph/7d748ac4c87cb312/out/libpetgraph-7d748ac4c87cb312.rlib" "/opt/rustwide/target/release/build/indexmap/c6cc908475fb5ee4/out/libindexmap-c6cc908475fb5ee4.rlib" "/opt/rustwide/target/release/build/hashbrown/9073ac7d48d3152f/out/libhashbrown-9073ac7d48d3152f.rlib" "/opt/rustwide/target/release/build/fixedbitset/35ce95eda0b13eb5/out/libfixedbitset-35ce95eda0b13eb5.rlib" "/opt/rustwide/target/release/build/crossbeam/c5215408cb4b66a7/out/libcrossbeam-c5215408cb4b66a7.rlib" "/opt/rustwide/target/release/build/crossbeam-queue/f95d593becc48dc5/out/libcrossbeam_queue-f95d593becc48dc5.rlib" "/opt/rustwide/target/release/build/crossbeam-channel/a9dc1eb3d24c506e/out/libcrossbeam_channel-a9dc1eb3d24c506e.rlib" "/opt/rustwide/target/release/build/crossbeam-deque/6d8d256e701cbd41/out/libcrossbeam_deque-6d8d256e701cbd41.rlib" "/opt/rustwide/target/release/build/crossbeam-epoch/73387f643b2f6642/out/libcrossbeam_epoch-73387f643b2f6642.rlib" "/opt/rustwide/target/release/build/scopeguard/5f9373ec660020b4/out/libscopeguard-5f9373ec660020b4.rlib" "/opt/rustwide/target/release/build/memoffset/b972d1a138d07dee/out/libmemoffset-b972d1a138d07dee.rlib" "/opt/rustwide/target/release/build/crossbeam-utils/9c021ed29229937e/out/libcrossbeam_utils-9c021ed29229937e.rlib" "/opt/rustwide/target/release/build/maybe-uninit/4fcab06ffab968bb/out/libmaybe_uninit-4fcab06ffab968bb.rlib" "/opt/rustwide/target/release/build/cfg-if/6ffcd2bb3ed34b7c/out/libcfg_if-6ffcd2bb3ed34b7c.rlib" "/opt/rustwide/target/release/build/toml/14be133847402f78/out/libtoml-14be133847402f78.rlib" "/opt/rustwide/target/release/build/sha2/0e3393e73eb90275/out/libsha2-0e3393e73eb90275.rlib" "/opt/rustwide/target/release/build/digest/90568d00a3b1da02/out/libdigest-90568d00a3b1da02.rlib" "/opt/rustwide/target/release/build/opaque-debug/e67fb4a81224579f/out/libopaque_debug-e67fb4a81224579f.rlib" "/opt/rustwide/target/release/build/fake-simd/1aec42bdafdb6b87/out/libfake_simd-1aec42bdafdb6b87.rlib" "/opt/rustwide/target/release/build/block-buffer/9cee64e690db3b37/out/libblock_buffer-9cee64e690db3b37.rlib" "/opt/rustwide/target/release/build/generic-array/00d1dc4e77a43715/out/libgeneric_array-00d1dc4e77a43715.rlib" "/opt/rustwide/target/release/build/typenum/1642bab676d94b56/out/libtypenum-1642bab676d94b56.rlib" "/opt/rustwide/target/release/build/block-padding/7ed850041da56e55/out/libblock_padding-7ed850041da56e55.rlib" "/opt/rustwide/target/release/build/byte-tools/753ec86e6a5b7ad2/out/libbyte_tools-753ec86e6a5b7ad2.rlib" "/opt/rustwide/target/release/build/byteorder/d0fb3ad4741450f8/out/libbyteorder-d0fb3ad4741450f8.rlib" "/opt/rustwide/target/release/build/serde/c47b65c557e3361e/out/libserde-c47b65c557e3361e.rlib" "/opt/rustwide/target/release/build/serde_core/2831f2261da3e922/out/libserde_core-2831f2261da3e922.rlib" "/opt/rustwide/target/release/build/lazy_static/149e86038c126fb0/out/liblazy_static-149e86038c126fb0.rlib" "/opt/rustwide/target/release/build/lalrpop-util/52e709e62cecd29b/out/liblalrpop_util-52e709e62cecd29b.rlib" "/opt/rustwide/target/release/build/regex/5bb273558e11c3aa/out/libregex-5bb273558e11c3aa.rlib" "/opt/rustwide/target/release/build/regex-automata/ae4cd0bca86fe251/out/libregex_automata-ae4cd0bca86fe251.rlib" "/opt/rustwide/target/release/build/aho-corasick/7333bf41a260803b/out/libaho_corasick-7333bf41a260803b.rlib" "/opt/rustwide/target/release/build/memchr/b09fcc675b44dbcc/out/libmemchr-b09fcc675b44dbcc.rlib" "/opt/rustwide/target/release/build/regex-syntax/7010b26951f94357/out/libregex_syntax-7010b26951f94357.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libstd-*,libpanic_unwind-*,libobject-*,libmemchr-*,libaddr2line-*,libgimli-*,libcfg_if-*,librustc_demangle-*,libstd_detect-*,libhashbrown-*,librustc_std_workspace_alloc-*,libminiz_oxide-*,libadler2-*,libunwind-*,liblibc-*,librustc_std_workspace_core-*,liballoc-*,libcore-*,libcompiler_builtins-*}.rlib" "-Wl,-Bdynamic" "-lz3" "-lgcc_s" "-lutil" "-lrt" "-lpthread" "-lm" "-ldl" "-lc" "-L" "/opt/rustwide/target/release/build/isla-axiomatic/9475920b5233507a/out/rustcL4TRyS/raw-dylibs" "-B<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/bin/gcc-ld" "-fuse-ld=lld" "-Wl,--eh-frame-hdr" "-Wl,-z,noexecstack" "-L" ".." "-L" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib" "-o" "/opt/rustwide/target/release/build/isla-axiomatic/9475920b5233507a/out/isla_axiomatic-9475920b5233507a" "-Wl,--gc-sections" "-pie" "-Wl,-z,relro,-z,now" "-Wl,-O1" "-Wl,--strip-debug" "-nodefaultlibs"
[INFO] [stdout]   = note: some arguments are omitted. use `--verbose` to show all linker arguments
[INFO] [stdout]   = note: rust-lld: error: unable to find library -lz3
[INFO] [stdout]           collect2: error: ld returned 1 exit status
[INFO] [stdout]           
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `isla-axiomatic` (lib test) due to 1 previous error
[INFO] running `Command { std: "docker" "inspect" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82", kill_on_drop: false }`
[INFO] [stdout] 8647f166f005bbfd7fb31fcfc972ea83a656245159b9e28bf18c6d3223649a82
