[INFO] fetching crate isla-lib 0.2.0...
[INFO] testing isla-lib-0.2.0 against 1.100.0-beta.1+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate isla-lib 0.2.0 into /workspace/builds/worker-2-tc2/source
[INFO] started tweaking crates.io crate isla-lib 0.2.0
[INFO] finished tweaking crates.io crate isla-lib 0.2.0
[INFO] tweaked toml for crates.io crate isla-lib 0.2.0 written to /workspace/builds/worker-2-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate isla-lib 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 91 packages to highest compatible versions
[INFO] [stderr]       Adding bincode v1.3.3 (available: v3.0.0)
[INFO] [stderr]       Adding crossbeam v0.7.3 (available: v0.8.5)
[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 petgraph v0.5.1 (available: v0.8.3)
[INFO] [stderr]       Adding sha2 v0.8.2 (available: v0.11.1)
[INFO] [stderr]       Adding toml v0.5.11 (available: v1.1.8+spec-1.1.0)
[INFO] [stderr]       Adding z3-sys v0.5.0 (available: v0.13.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" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: `package.homepage` is redundant with `package.repository`
[INFO] [stderr]   --> Cargo.toml:47:12
[INFO] [stderr]    |
[INFO] [stderr] 47 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 51 | 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-lib` (manifest) generated 1 warning
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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] e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c
[INFO] running `Command { std: "docker" "start" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c", 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" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c" "/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" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c", 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" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c" "/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:47:12
[INFO] [stderr]    |
[INFO] [stderr] 47 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 51 | 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-lib` (manifest) generated 1 warning
[INFO] [stderr]    Compiling libc v0.2.191
[INFO] [stderr]    Compiling cfg-if v1.0.5
[INFO] [stderr]    Compiling proc-macro2 v1.0.107
[INFO] [stderr]    Compiling crossbeam-utils v0.7.2
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling unicode-ident v1.0.27
[INFO] [stderr]    Compiling maybe-uninit v2.0.0
[INFO] [stderr]    Compiling aho-corasick v1.1.5
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling smallvec v1.16.3
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling equivalent v1.0.3
[INFO] [stderr]    Compiling siphasher v1.0.4
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling either v1.19.0
[INFO] [stderr]    Compiling log v0.4.34
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling indexmap v2.14.2
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling syn v3.0.9
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling generic-array v0.12.4
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[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 block-buffer v0.7.3
[INFO] [stderr]    Compiling crossbeam-deque v0.7.4
[INFO] [stderr]    Compiling digest v0.8.1
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling crossbeam-channel v0.4.4
[INFO] [stderr]    Compiling crossbeam-queue v0.2.3
[INFO] [stderr]    Compiling opaque-debug v0.2.3
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling sha2 v0.8.2
[INFO] [stderr]    Compiling crossbeam v0.7.3
[INFO] [stderr]    Compiling petgraph v0.5.1
[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 z3-sys v0.5.0
[INFO] [stderr]    Compiling toml v0.5.11
[INFO] [stderr]    Compiling bincode v1.3.3
[INFO] [stderr]    Compiling isla-lib v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/memory.rs:663:17
[INFO] [stdout]     |
[INFO] [stdout] 663 |     generator: &(dyn Fn(&mut Solver<B>) -> Sym),
[INFO] [stdout]     |                 ^                             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 663 -     generator: &(dyn Fn(&mut Solver<B>) -> Sym),
[INFO] [stdout] 663 +     generator: &dyn Fn(&mut Solver<B>) -> Sym,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector.rs:298:24
[INFO] [stdout]     |
[INFO] [stdout] 298 |     bits & (std::u128::MAX >> (128 - len))
[INFO] [stdout]     |                        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::u128`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/bitvector/b129.rs:35:10
[INFO] [stdout]    |
[INFO] [stdout] 35 | use std::u128;
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:202:58
[INFO] [stdout]     |
[INFO] [stdout] 202 | const ALL_ONES_129: B129 = B129 { tag: true, bits: u128::MAX, len: 129 };
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:235:49
[INFO] [stdout]     |
[INFO] [stdout] 235 |         bzhi(B129 { len, tag: true, bits: u128::MAX }, len)
[INFO] [stdout]     |                                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:292:43
[INFO] [stdout]     |
[INFO] [stdout] 292 |                 let top = bzhi_u128(u128::MAX, new_len) & !bzhi_u128(u128::MAX, self.len);
[INFO] [stdout]     |                                           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:292:76
[INFO] [stdout]     |
[INFO] [stdout] 292 |                 let top = bzhi_u128(u128::MAX, new_len) & !bzhi_u128(u128::MAX, self.len);
[INFO] [stdout]     |                                                                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:302:84
[INFO] [stdout]     |
[INFO] [stdout] 302 |                 B129 { len: new_len, tag: true, bits: self.bits | !bzhi_u128(u128::MAX, self.len) }
[INFO] [stdout]     |                                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::u128`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/bitvector/b64.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | use std::u128;
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir.rs:589:24
[INFO] [stdout]     |
[INFO] [stdout] 589 |             &std::u32::MAX
[INFO] [stdout]     |                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/ir/ssa.rs:41:10
[INFO] [stdout]    |
[INFO] [stdout] 41 | use std::usize;
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir/ssa.rs:716:32
[INFO] [stdout]     |
[INFO] [stdout] 716 |             let mut j = usize::MAX;
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir/ssa.rs:723:33
[INFO] [stdout]     |
[INFO] [stdout] 723 |             assert!(j != usize::MAX);
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `ir_parser::core::num::<impl u128>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:392:37
[INFO] [stdout]     |
[INFO] [stdout] 392 |         let mask = !bzhi_u128(u128::max_value() << n, n as u32 + update.len());
[INFO] [stdout]     |                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `ir_parser::core::num::<impl u128>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b64.rs:305:37
[INFO] [stdout]     |
[INFO] [stdout] 305 |         let mask = !bzhi_u128(u128::max_value() << n, n as u32 + update.len());
[INFO] [stdout]     |                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `release` profile [optimized] target(s) in 1m 36s
[INFO] running `Command { std: "docker" "inspect" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c", 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" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c" "/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:47:12
[INFO] [stderr]    |
[INFO] [stderr] 47 | homepage = "https://github.com/rems-project/isla"
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 51 | 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-lib` (manifest) generated 1 warning
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/memory.rs:663:17
[INFO] [stdout]     |
[INFO] [stdout] 663 |     generator: &(dyn Fn(&mut Solver<B>) -> Sym),
[INFO] [stdout]     |                 ^                             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 663 -     generator: &(dyn Fn(&mut Solver<B>) -> Sym),
[INFO] [stdout] 663 +     generator: &dyn Fn(&mut Solver<B>) -> Sym,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector.rs:298:24
[INFO] [stdout]     |
[INFO] [stdout] 298 |     bits & (std::u128::MAX >> (128 - len))
[INFO] [stdout]     |                        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::u128`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/bitvector/b129.rs:35:10
[INFO] [stdout]    |
[INFO] [stdout] 35 | use std::u128;
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:202:58
[INFO] [stdout]     |
[INFO] [stdout] 202 | const ALL_ONES_129: B129 = B129 { tag: true, bits: u128::MAX, len: 129 };
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:235:49
[INFO] [stdout]     |
[INFO] [stdout] 235 |         bzhi(B129 { len, tag: true, bits: u128::MAX }, len)
[INFO] [stdout]     |                                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:292:43
[INFO] [stdout]     |
[INFO] [stdout] 292 |                 let top = bzhi_u128(u128::MAX, new_len) & !bzhi_u128(u128::MAX, self.len);
[INFO] [stdout]     |                                           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:292:76
[INFO] [stdout]     |
[INFO] [stdout] 292 |                 let top = bzhi_u128(u128::MAX, new_len) & !bzhi_u128(u128::MAX, self.len);
[INFO] [stdout]     |                                                                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:302:84
[INFO] [stdout]     |
[INFO] [stdout] 302 |                 B129 { len: new_len, tag: true, bits: self.bits | !bzhi_u128(u128::MAX, self.len) }
[INFO] [stdout]     |                                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::u128`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/bitvector/b64.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | use std::u128;
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir.rs:589:24
[INFO] [stdout]     |
[INFO] [stdout] 589 |             &std::u32::MAX
[INFO] [stdout]     |                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/ir/ssa.rs:41:10
[INFO] [stdout]    |
[INFO] [stdout] 41 | use std::usize;
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir/ssa.rs:716:32
[INFO] [stdout]     |
[INFO] [stdout] 716 |             let mut j = usize::MAX;
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir/ssa.rs:723:33
[INFO] [stdout]     |
[INFO] [stdout] 723 |             assert!(j != usize::MAX);
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `ir_parser::core::num::<impl u128>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:392:37
[INFO] [stdout]     |
[INFO] [stdout] 392 |         let mask = !bzhi_u128(u128::max_value() << n, n as u32 + update.len());
[INFO] [stdout]     |                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `ir_parser::core::num::<impl u128>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b64.rs:305:37
[INFO] [stdout]     |
[INFO] [stdout] 305 |         let mask = !bzhi_u128(u128::max_value() << n, n as u32 + update.len());
[INFO] [stdout]     |                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling isla-lib v0.2.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unnecessary parentheses around type
[INFO] [stdout]    --> src/memory.rs:663:17
[INFO] [stdout]     |
[INFO] [stdout] 663 |     generator: &(dyn Fn(&mut Solver<B>) -> Sym),
[INFO] [stdout]     |                 ^                             ^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_parens)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] help: remove these parentheses
[INFO] [stdout]     |
[INFO] [stdout] 663 -     generator: &(dyn Fn(&mut Solver<B>) -> Sym),
[INFO] [stdout] 663 +     generator: &dyn Fn(&mut Solver<B>) -> Sym,
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector.rs:298:24
[INFO] [stdout]     |
[INFO] [stdout] 298 |     bits & (std::u128::MAX >> (128 - len))
[INFO] [stdout]     |                        ^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(deprecated)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::u128`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/bitvector/b129.rs:35:10
[INFO] [stdout]    |
[INFO] [stdout] 35 | use std::u128;
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:202:58
[INFO] [stdout]     |
[INFO] [stdout] 202 | const ALL_ONES_129: B129 = B129 { tag: true, bits: u128::MAX, len: 129 };
[INFO] [stdout]     |                                                          ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:235:49
[INFO] [stdout]     |
[INFO] [stdout] 235 |         bzhi(B129 { len, tag: true, bits: u128::MAX }, len)
[INFO] [stdout]     |                                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:292:43
[INFO] [stdout]     |
[INFO] [stdout] 292 |                 let top = bzhi_u128(u128::MAX, new_len) & !bzhi_u128(u128::MAX, self.len);
[INFO] [stdout]     |                                           ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:292:76
[INFO] [stdout]     |
[INFO] [stdout] 292 |                 let top = bzhi_u128(u128::MAX, new_len) & !bzhi_u128(u128::MAX, self.len);
[INFO] [stdout]     |                                                                            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:302:84
[INFO] [stdout]     |
[INFO] [stdout] 302 |                 B129 { len: new_len, tag: true, bits: self.bits | !bzhi_u128(u128::MAX, self.len) }
[INFO] [stdout]     |                                                                                    ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::u128`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]    --> src/bitvector/b129.rs:406:14
[INFO] [stdout]     |
[INFO] [stdout] 406 |     use std::u128;
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:414:62
[INFO] [stdout]     |
[INFO] [stdout] 414 |     const ALL_ONES_129: B129 = B129 { tag: true, bits: u128::MAX, len: 129 };
[INFO] [stdout]     |                                                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:422:62
[INFO] [stdout]     |
[INFO] [stdout] 422 |             format!("0x{:x}", B129 { tag: false, bits: u128::MAX, len: 129 }),
[INFO] [stdout]     |                                                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:426:62
[INFO] [stdout]     |
[INFO] [stdout] 426 |             format!("0x{:x}", B129 { tag: false, bits: u128::MAX, len: 128 }),
[INFO] [stdout]     |                                                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:437:62
[INFO] [stdout]     |
[INFO] [stdout] 437 |             format!("0x{:X}", B129 { tag: false, bits: u128::MAX, len: 129 }),
[INFO] [stdout]     |                                                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:441:62
[INFO] [stdout]     |
[INFO] [stdout] 441 |             format!("0x{:X}", B129 { tag: false, bits: u128::MAX, len: 128 }),
[INFO] [stdout]     |                                                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u128::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:451:62
[INFO] [stdout]     |
[INFO] [stdout] 451 |         assert_eq!(!JUST_TAG, B129 { tag: false, bits: u128::MAX, len: 129 });
[INFO] [stdout]     |                                                              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::u128`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/bitvector/b64.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | use std::u128;
[INFO] [stdout]    |          ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::u32::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir.rs:589:24
[INFO] [stdout]     |
[INFO] [stdout] 589 |             &std::u32::MAX
[INFO] [stdout]     |                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated module `std::usize`: all constants in this module replaced by associated constants on the type
[INFO] [stdout]   --> src/ir/ssa.rs:41:10
[INFO] [stdout]    |
[INFO] [stdout] 41 | use std::usize;
[INFO] [stdout]    |          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir/ssa.rs:716:32
[INFO] [stdout]     |
[INFO] [stdout] 716 |             let mut j = usize::MAX;
[INFO] [stdout]     |                                ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated constant `std::usize::MAX`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/ir/ssa.rs:723:33
[INFO] [stdout]     |
[INFO] [stdout] 723 |             assert!(j != usize::MAX);
[INFO] [stdout]     |                                 ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `ir_parser::core::num::<impl u128>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b129.rs:392:37
[INFO] [stdout]     |
[INFO] [stdout] 392 |         let mask = !bzhi_u128(u128::max_value() << n, n as u32 + update.len());
[INFO] [stdout]     |                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: use of deprecated associated function `ir_parser::core::num::<impl u128>::max_value`: replaced by the `MAX` associated constant on this type
[INFO] [stdout]    --> src/bitvector/b64.rs:305:37
[INFO] [stdout]     |
[INFO] [stdout] 305 |         let mask = !bzhi_u128(u128::max_value() << n, n as u32 + update.len());
[INFO] [stdout]     |                                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: linking with `cc` failed: exit status: 1
[INFO] [stdout]   |
[INFO] [stdout]   = note:  "cc" "-m64" "/opt/rustwide/target/release/build/isla-lib/946525aed74a8435/out/rustcRX3ow1/symbols.o" "<9 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/release/build/bincode/1f88a99f3d288caa/out/libbincode-1f88a99f3d288caa.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.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-lib/946525aed74a8435/out/rustcRX3ow1/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-lib/946525aed74a8435/out/isla_lib-946525aed74a8435" "-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-lib` (lib test) due to 1 previous error; 22 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c", kill_on_drop: false }`
[INFO] [stdout] e2a2933765e35d6261938d27e7b42c5c6d728182f977285e7cd9076cf35c949c
