[INFO] cloning repository https://github.com/shoheigorila/smartest
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/shoheigorila/smartest" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshoheigorila%2Fsmartest", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshoheigorila%2Fsmartest'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] b619579583f6cd8a282db3abcb0551cd6d1fdcc2
[INFO] checking shoheigorila/smartest against try#5ec4d3b0c83717313176eefa7d71e9d36dc83355 for 155501-infallible-never-with-reservation
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fshoheigorila%2Fsmartest" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/shoheigorila/smartest
[INFO] finished tweaking git repo https://github.com/shoheigorila/smartest
[INFO] tweaked toml for git repo https://github.com/shoheigorila/smartest written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/shoheigorila/smartest on toolchain 5ec4d3b0c83717313176eefa7d71e9d36dc83355
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5ec4d3b0c83717313176eefa7d71e9d36dc83355" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/shoheigorila/smartest already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+5ec4d3b0c83717313176eefa7d71e9d36dc83355" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded lalrpop-util v0.20.2
[INFO] [stderr]   Downloaded ascii-canvas v3.0.0
[INFO] [stderr]   Downloaded zmij v1.0.17
[INFO] [stderr]   Downloaded ena v0.14.3
[INFO] [stderr]   Downloaded z3 v0.12.1
[INFO] [stderr]   Downloaded solang-parser v0.3.5
[INFO] [stderr]   Downloaded clap_derive v4.5.55
[INFO] [stderr]   Downloaded clap v4.5.56
[INFO] [stderr]   Downloaded bindgen v0.66.1
[INFO] [stderr]   Downloaded term v0.7.0
[INFO] [stderr]   Downloaded clap_builder v4.5.56
[INFO] [stderr]   Downloaded lalrpop v0.20.2
[INFO] [stderr]   Downloaded z3-sys v0.8.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+5ec4d3b0c83717313176eefa7d71e9d36dc83355" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7b74d6ae81961a7bab8bd752110890dac2da745a3aa32937e342064ddaf8b689
[INFO] running `Command { std: "docker" "start" "-a" "7b74d6ae81961a7bab8bd752110890dac2da745a3aa32937e342064ddaf8b689", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7b74d6ae81961a7bab8bd752110890dac2da745a3aa32937e342064ddaf8b689", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b74d6ae81961a7bab8bd752110890dac2da745a3aa32937e342064ddaf8b689", kill_on_drop: false }`
[INFO] [stdout] 7b74d6ae81961a7bab8bd752110890dac2da745a3aa32937e342064ddaf8b689
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,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" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+5ec4d3b0c83717313176eefa7d71e9d36dc83355" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] a74c49d8e073fed03c2fb77153d2d57d20730ff014eef734912781df1f3aadfe
[INFO] running `Command { std: "docker" "start" "-a" "a74c49d8e073fed03c2fb77153d2d57d20730ff014eef734912781df1f3aadfe", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling siphasher v1.0.2
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling parking_lot_core v0.9.12
[INFO] [stderr]    Compiling smallvec v1.15.1
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling phf_shared v0.11.3
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling crunchy v0.2.4
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling tiny-keccak v2.0.2
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling new_debug_unreachable v1.0.6
[INFO] [stderr]    Compiling bit-vec v0.6.3
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling same-file v1.0.6
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling precomputed-hash v0.1.1
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling bit-set v0.5.3
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling itertools v0.11.0
[INFO] [stderr]    Compiling walkdir v2.5.0
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling dirs-sys-next v0.1.2
[INFO] [stderr]    Compiling dirs-next v2.0.0
[INFO] [stderr]    Compiling parking_lot v0.12.5
[INFO] [stderr]    Compiling term v0.7.0
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling ascii-canvas v3.0.0
[INFO] [stderr]    Compiling string_cache v0.8.9
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling ena v0.14.3
[INFO] [stderr]    Compiling unicode-xid v0.2.6
[INFO] [stderr]    Compiling lalrpop-util v0.20.2
[INFO] [stderr]    Compiling phf_generator v0.11.3
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling zmij v1.0.17
[INFO] [stderr]     Checking clap_builder v4.5.56
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]     Checking num-integer v0.1.46
[INFO] [stderr]    Compiling lalrpop v0.20.2
[INFO] [stderr]     Checking itertools v0.12.1
[INFO] [stderr]     Checking is-terminal v0.4.17
[INFO] [stderr]    Compiling rustix v1.1.3
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]     Checking termcolor v1.4.1
[INFO] [stderr]     Checking serde_json v1.0.149
[INFO] [stderr]     Checking once_cell v1.21.3
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling phf_macros v0.11.3
[INFO] [stderr]    Compiling clap_derive v4.5.55
[INFO] [stderr]     Checking phf v0.11.3
[INFO] [stderr]     Checking env_logger v0.10.2
[INFO] [stderr]     Checking thiserror v1.0.69
[INFO] [stderr]     Checking tempfile v3.24.0
[INFO] [stderr]     Checking clap v4.5.56
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]     Checking num-bigint v0.4.6
[INFO] [stderr]    Compiling solang-parser v0.3.5
[INFO] [stderr]     Checking z3 v0.12.1
[INFO] [stderr]     Checking smartest v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `CfgNode`
[INFO] [stdout]    --> src/path/enumerator.rs:231:26
[INFO] [stdout]     |
[INFO] [stdout] 231 |     use crate::ir::{Cfg, CfgNode, FunctionDef, Type, VarId};
[INFO] [stdout]     |                          ^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `AtomicSequence` and `Atomic`
[INFO] [stdout]    --> src/se/generate_vc.rs:124:21
[INFO] [stdout]     |
[INFO] [stdout] 124 |     use crate::ir::{Atomic, AtomicSequence, StateVariable};
[INFO] [stdout]     |                     ^^^^^^  ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::ir::VarId`
[INFO] [stdout]    --> src/transform/assert_insert.rs:240:9
[INFO] [stdout]     |
[INFO] [stdout] 240 |     use crate::ir::VarId;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `member`
[INFO] [stdout]    --> src/frontend/lowering.rs:268:43
[INFO] [stdout]     |
[INFO] [stdout] 268 |         Expression::MemberAccess(_, base, member) => {
[INFO] [stdout]     |                                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_member`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/frontend/lowering.rs:502:47
[INFO] [stdout]     |
[INFO] [stdout] 502 | ...                   if let Type::Uint(bits) = var_type {
[INFO] [stdout]     |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `max_minus_one`
[INFO] [stdout]    --> src/frontend/lowering.rs:552:29
[INFO] [stdout]     |
[INFO] [stdout] 552 |                         let max_minus_one = Expr::sub(
[INFO] [stdout]     |                             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_minus_one`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `member`
[INFO] [stdout]    --> src/frontend/lowering.rs:268:43
[INFO] [stdout]     |
[INFO] [stdout] 268 |         Expression::MemberAccess(_, base, member) => {
[INFO] [stdout]     |                                           ^^^^^^ help: if this is intentional, prefix it with an underscore: `_member`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/frontend/lowering.rs:502:47
[INFO] [stdout]     |
[INFO] [stdout] 502 | ...                   if let Type::Uint(bits) = var_type {
[INFO] [stdout]     |                                         ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `max_minus_one`
[INFO] [stdout]    --> src/frontend/lowering.rs:552:29
[INFO] [stdout]     |
[INFO] [stdout] 552 |                         let max_minus_one = Expr::sub(
[INFO] [stdout]     |                             ^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_minus_one`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arg_var`
[INFO] [stdout]   --> src/se/generate_vc.rs:63:21
[INFO] [stdout]    |
[INFO] [stdout] 63 |                 let arg_var = VarId::new(&param.name).with_tx_id(tx.id);
[INFO] [stdout]    |                     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_arg_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `target_type`
[INFO] [stdout]    --> src/se/sp.rs:175:13
[INFO] [stdout]     |
[INFO] [stdout] 175 |             target_type,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `target_type: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `arg_var`
[INFO] [stdout]   --> src/se/generate_vc.rs:63:21
[INFO] [stdout]    |
[INFO] [stdout] 63 |                 let arg_var = VarId::new(&param.name).with_tx_id(tx.id);
[INFO] [stdout]    |                     ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_arg_var`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `hex_str`
[INFO] [stdout]    --> src/solver/z3_adapter.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |         let hex_str = format!("{:x}", value);
[INFO] [stdout]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hex_str`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/transform/assert_insert.rs:111:43
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         if let Type::Uint(bits) = lhs.get_type() {
[INFO] [stdout]     |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `iteration`
[INFO] [stdout]    --> src/transform/unroll.rs:114:21
[INFO] [stdout]     |
[INFO] [stdout] 114 |                 for iteration in 0..config.iterations {
[INFO] [stdout]     |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_iteration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_state_variable` is never used
[INFO] [stdout]   --> src/frontend/lowering.rs:61:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | impl LoweringContext {
[INFO] [stdout]    | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 61 |     fn is_state_variable(&self, name: &str) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `sp_state` and `extension_path` are never read
[INFO] [stdout]    --> src/se/workset.rs:133:5
[INFO] [stdout]     |
[INFO] [stdout] 127 | struct WorkItem {
[INFO] [stdout]     |        -------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 133 |     sp_state: Option<SpState>,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 134 |     /// The extension path that was used to create this item (for tracking)
[INFO] [stdout] 135 |     extension_path: Option<FunctionPath>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WorkItem` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new` and `with_state` are never used
[INFO] [stdout]    --> src/se/workset.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl WorkItem {
[INFO] [stdout]     | ------------- associated functions in this implementation
[INFO] [stdout] 139 |     /// Creates a new work item with baseline cost (sequence length)
[INFO] [stdout] 140 |     fn new(sequence: TransactionSequence) -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 198 |     fn with_state(sequence: TransactionSequence, sp_state: SpState) -> Self {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `timeout` is never read
[INFO] [stdout]   --> src/solver/z3_adapter.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub struct Z3Solver {
[INFO] [stdout]    |            -------- field in this struct
[INFO] [stdout] 27 |     context: Context,
[INFO] [stdout] 28 |     timeout: Duration,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `target_type`
[INFO] [stdout]    --> src/se/sp.rs:175:13
[INFO] [stdout]     |
[INFO] [stdout] 175 |             target_type,
[INFO] [stdout]     |             ^^^^^^^^^^^ help: try ignoring the field: `target_type: _`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `hex_str`
[INFO] [stdout]    --> src/solver/z3_adapter.rs:257:13
[INFO] [stdout]     |
[INFO] [stdout] 257 |         let hex_str = format!("{:x}", value);
[INFO] [stdout]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_hex_str`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `bits`
[INFO] [stdout]    --> src/transform/assert_insert.rs:111:43
[INFO] [stdout]     |
[INFO] [stdout] 111 |                         if let Type::Uint(bits) = lhs.get_type() {
[INFO] [stdout]     |                                           ^^^^ help: if this is intentional, prefix it with an underscore: `_bits`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `iteration`
[INFO] [stdout]    --> src/transform/unroll.rs:114:21
[INFO] [stdout]     |
[INFO] [stdout] 114 |                 for iteration in 0..config.iterations {
[INFO] [stdout]     |                     ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_iteration`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `is_state_variable` is never used
[INFO] [stdout]   --> src/frontend/lowering.rs:61:8
[INFO] [stdout]    |
[INFO] [stdout] 31 | impl LoweringContext {
[INFO] [stdout]    | -------------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 61 |     fn is_state_variable(&self, name: &str) -> bool {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `sp_state` and `extension_path` are never read
[INFO] [stdout]    --> src/se/workset.rs:133:5
[INFO] [stdout]     |
[INFO] [stdout] 127 | struct WorkItem {
[INFO] [stdout]     |        -------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 133 |     sp_state: Option<SpState>,
[INFO] [stdout]     |     ^^^^^^^^
[INFO] [stdout] 134 |     /// The extension path that was used to create this item (for tracking)
[INFO] [stdout] 135 |     extension_path: Option<FunctionPath>,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WorkItem` has a derived impl for the trait `Clone`, but this is intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated functions `new` and `with_state` are never used
[INFO] [stdout]    --> src/se/workset.rs:140:8
[INFO] [stdout]     |
[INFO] [stdout] 138 | impl WorkItem {
[INFO] [stdout]     | ------------- associated functions in this implementation
[INFO] [stdout] 139 |     /// Creates a new work item with baseline cost (sequence length)
[INFO] [stdout] 140 |     fn new(sequence: TransactionSequence) -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 198 |     fn with_state(sequence: TransactionSequence, sp_state: SpState) -> Self {
[INFO] [stdout]     |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `timeout` is never read
[INFO] [stdout]   --> src/solver/z3_adapter.rs:28:5
[INFO] [stdout]    |
[INFO] [stdout] 26 | pub struct Z3Solver {
[INFO] [stdout]    |            -------- field in this struct
[INFO] [stdout] 27 |     context: Context,
[INFO] [stdout] 28 |     timeout: Duration,
[INFO] [stdout]    |     ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 17s
[INFO] running `Command { std: "docker" "inspect" "a74c49d8e073fed03c2fb77153d2d57d20730ff014eef734912781df1f3aadfe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a74c49d8e073fed03c2fb77153d2d57d20730ff014eef734912781df1f3aadfe", kill_on_drop: false }`
[INFO] [stdout] a74c49d8e073fed03c2fb77153d2d57d20730ff014eef734912781df1f3aadfe
