[INFO] fetching crate isla-lib 0.2.0...
[INFO] testing isla-lib-0.2.0 against 1.99.0-beta.8+cargoflags=--release for beta-release-1.100-2
[INFO] extracting crate isla-lib 0.2.0 into /workspace/builds/worker-2-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate isla-lib 0.2.0 on toolchain 1.99.0-beta.8
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.99.0-beta.8" "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.99.0-beta.8" "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.99.0-beta.8" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded lalrpop-util v0.19.12
[INFO] [stderr]   Downloaded is-terminal v0.4.17
[INFO] [stderr]   Downloaded fixedbitset v0.2.0
[INFO] [stderr]   Downloaded phf_shared v0.11.3
[INFO] [stderr]   Downloaded siphasher v1.0.4
[INFO] [stderr]   Downloaded libredox v0.1.25
[INFO] [stderr]   Downloaded ena v0.14.4
[INFO] [stderr]   Downloaded redox_users v0.4.6
[INFO] [stderr]   Downloaded string_cache v0.8.9
[INFO] [stderr]   Downloaded z3-sys v0.5.0
[INFO] [stderr]   Downloaded either v1.19.0
[INFO] [stderr]   Downloaded diff v0.1.13
[INFO] [stderr]   Downloaded toml v0.5.11
[INFO] [stderr]   Downloaded itertools v0.10.5
[INFO] [stderr]   Downloaded petgraph v0.5.1
[INFO] [stderr]   Downloaded lalrpop v0.19.12
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/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] 30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1
[INFO] running `Command { std: "docker" "start" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1", 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" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1", 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" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "build" "--frozen" "--message-format=json" "--release", kill_on_drop: false }`
[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 maybe-uninit v2.0.0
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling unicode-ident v1.0.27
[INFO] [stderr]    Compiling aho-corasick v1.1.5
[INFO] [stderr]    Compiling scopeguard v1.2.0
[INFO] [stderr]    Compiling regex-syntax v0.8.11
[INFO] [stderr]    Compiling cfg-if v0.1.10
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling smallvec v1.16.3
[INFO] [stderr]    Compiling lock_api v0.4.14
[INFO] [stderr]    Compiling memoffset v0.5.6
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling siphasher v1.0.4
[INFO] [stderr]    Compiling equivalent v1.0.3
[INFO] [stderr]    Compiling hashbrown v0.17.1
[INFO] [stderr]    Compiling serde_core v1.0.229
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling crossbeam-epoch v0.8.2
[INFO] [stderr]    Compiling log v0.4.34
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling typenum v1.20.1
[INFO] [stderr]    Compiling either v1.19.0
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling quote v1.0.47
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling itertools v0.10.5
[INFO] [stderr]    Compiling indexmap v2.14.2
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling syn v3.0.9
[INFO] [stderr]    Compiling generic-array v0.12.4
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling is-terminal v0.4.17
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling serde v1.0.229
[INFO] [stderr]    Compiling ena v0.14.4
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling regex-automata v0.4.18
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling indexmap v1.9.3
[INFO] [stderr]    Compiling byte-tools v0.3.1
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling diff v0.1.13
[INFO] [stderr]    Compiling regex-syntax v0.6.29
[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 crossbeam-channel v0.4.4
[INFO] [stderr]    Compiling serde_derive v1.0.229
[INFO] [stderr]    Compiling crossbeam-queue v0.2.3
[INFO] [stderr]    Compiling opaque-debug v0.2.3
[INFO] [stderr]    Compiling fake-simd v0.1.2
[INFO] [stderr]    Compiling fixedbitset v0.2.0
[INFO] [stderr]    Compiling sha2 v0.8.2
[INFO] [stderr]    Compiling regex v1.13.1
[INFO] [stderr]    Compiling lalrpop-util v0.19.12
[INFO] [stderr]    Compiling petgraph v0.5.1
[INFO] [stderr]    Compiling lalrpop v0.19.12
[INFO] [stderr]    Compiling crossbeam v0.7.3
[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 35s
[INFO] running `Command { std: "docker" "inspect" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1", 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" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1" "/opt/rustwide/cargo-home/bin/cargo" "+1.99.0-beta.8" "test" "--frozen" "--no-run" "--message-format=json" "--release", kill_on_drop: false }`
[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] [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/deps/rustcCTt4O1/symbols.o" "<9 object files omitted>" "-Wl,--as-needed" "-Wl,-Bstatic" "/opt/rustwide/target/release/deps/libbincode-1f88a99f3d288caa.rlib" "<sysroot>/lib/rustlib/x86_64-unknown-linux-gnu/lib/{libtest-*,libgetopts-*,librustc_std_workspace_std-*}.rlib" "/opt/rustwide/target/release/deps/{libz3_sys-2058b4dab659b89e,liblibc-a0a6e54f1566fa83,libpetgraph-7d748ac4c87cb312,libindexmap-c6cc908475fb5ee4,libhashbrown-9073ac7d48d3152f,libfixedbitset-35ce95eda0b13eb5,libcrossbeam-c5215408cb4b66a7,libcrossbeam_queue-f95d593becc48dc5,libcrossbeam_channel-a9dc1eb3d24c506e,libcrossbeam_deque-6d8d256e701cbd41,libcrossbeam_epoch-73387f643b2f6642,libscopeguard-5f9373ec660020b4,libmemoffset-b972d1a138d07dee,libcrossbeam_utils-9c021ed29229937e,libmaybe_uninit-4fcab06ffab968bb,libcfg_if-6ffcd2bb3ed34b7c,libtoml-14be133847402f78,libsha2-0e3393e73eb90275,libdigest-90568d00a3b1da02,libopaque_debug-e67fb4a81224579f,libfake_simd-1aec42bdafdb6b87,libblock_buffer-9cee64e690db3b37,libgeneric_array-00d1dc4e77a43715,libtypenum-1642bab676d94b56,libblock_padding-7ed850041da56e55,libbyte_tools-753ec86e6a5b7ad2,libbyteorder-d0fb3ad4741450f8,libserde-c47b65c557e3361e,libserde_core-2831f2261da3e922,liblazy_static-149e86038c126fb0,liblalrpop_util-52e709e62cecd29b,libregex-5bb273558e11c3aa,libregex_automata-ae4cd0bca86fe251,libaho_corasick-7333bf41a260803b,libmemchr-b09fcc675b44dbcc,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/deps/rustcCTt4O1/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/deps/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" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1", kill_on_drop: false }`
[INFO] [stdout] 30bed0acefbf65e2914b4613a844137d5f909a3e427faf8f7ecc7e3fb1e642c1
