[INFO] fetching crate libpatron 0.17.3... [INFO] testing libpatron-0.17.3 against beta-2025-09-21 for beta-1.91-3 [INFO] extracting crate libpatron 0.17.3 into /workspace/builds/worker-6-tc2/source [INFO] started tweaking crates.io crate libpatron 0.17.3 [INFO] finished tweaking crates.io crate libpatron 0.17.3 [INFO] tweaked toml for crates.io crate libpatron 0.17.3 written to /workspace/builds/worker-6-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate libpatron 0.17.3 on toolchain beta-2025-09-21 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate libpatron 0.17.3 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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8b7231c25707d9c4abb80ad2070ea668f14d2842060bb2b9a7a26f6b8f7396d7 [INFO] running `Command { std: "docker" "start" "-a" "8b7231c25707d9c4abb80ad2070ea668f14d2842060bb2b9a7a26f6b8f7396d7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8b7231c25707d9c4abb80ad2070ea668f14d2842060bb2b9a7a26f6b8f7396d7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8b7231c25707d9c4abb80ad2070ea668f14d2842060bb2b9a7a26f6b8f7396d7", kill_on_drop: false }` [INFO] [stdout] 8b7231c25707d9c4abb80ad2070ea668f14d2842060bb2b9a7a26f6b8f7396d7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 092fb3a2d6b525d72d6230f121d4689c5e60afbe6ec4dc0dd2c5c44b0e6732b6 [INFO] running `Command { std: "docker" "start" "-a" "092fb3a2d6b525d72d6230f121d4689c5e60afbe6ec4dc0dd2c5c44b0e6732b6", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.150 [INFO] [stderr] Compiling num-traits v0.2.17 [INFO] [stderr] Compiling num-integer v0.1.45 [INFO] [stderr] Compiling serde v1.0.193 [INFO] [stderr] Compiling num-bigint v0.4.4 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling unicode-segmentation v1.10.1 [INFO] [stderr] Compiling hashbrown v0.14.3 [INFO] [stderr] Compiling termcolor v1.4.0 [INFO] [stderr] Compiling equivalent v1.0.1 [INFO] [stderr] Compiling ahash v0.7.7 [INFO] [stderr] Compiling smallvec v1.11.2 [INFO] [stderr] Compiling fuzzy-matcher v0.3.7 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling rand_xoshiro v0.6.0 [INFO] [stderr] Compiling codespan-reporting v0.11.1 [INFO] [stderr] Compiling easy-smt v0.2.1 [INFO] [stderr] Compiling indexmap v2.1.0 [INFO] [stderr] Compiling getrandom v0.2.11 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling string-interner v0.14.0 [INFO] [stderr] Compiling libpatron v0.17.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: struct `BVType` is never constructed [INFO] [stdout] --> src/ir/expr.rs:468:12 [INFO] [stdout] | [INFO] [stdout] 468 | pub struct BVType(WidthInt); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `InputRef` is never constructed [INFO] [stdout] --> src/ir/transition_system.rs:163:12 [INFO] [stdout] | [INFO] [stdout] 163 | pub struct InputRef(usize); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/sim/interpreter.rs:798:17 [INFO] [stdout] | [INFO] [stdout] 798 | ArraySymbol(WidthInt), // index width [INFO] [stdout] | ----------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `NullaryOp` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 798 - ArraySymbol(WidthInt), // index width [INFO] [stdout] 798 + ArraySymbol(()), // index width [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/btor2/parse.rs:834:35 [INFO] [stdout] | [INFO] [stdout] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens { [INFO] [stdout] | ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/ir/analysis.rs:334:17 [INFO] [stdout] | [INFO] [stdout] 334 | pub fn iter(&self) -> ExprMetaDataIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 334 | pub fn iter(&self) -> ExprMetaDataIter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 11.33s [INFO] running `Command { std: "docker" "inspect" "092fb3a2d6b525d72d6230f121d4689c5e60afbe6ec4dc0dd2c5c44b0e6732b6", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "092fb3a2d6b525d72d6230f121d4689c5e60afbe6ec4dc0dd2c5c44b0e6732b6", kill_on_drop: false }` [INFO] [stdout] 092fb3a2d6b525d72d6230f121d4689c5e60afbe6ec4dc0dd2c5c44b0e6732b6 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 81622f348f370464322244b35c0e4fe9458ca1c2aa312200282ecaf51d00aa42 [INFO] running `Command { std: "docker" "start" "-a" "81622f348f370464322244b35c0e4fe9458ca1c2aa312200282ecaf51d00aa42", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.150 [INFO] [stderr] Compiling proc-macro2 v1.0.70 [INFO] [stderr] Compiling anstream v0.6.4 [INFO] [stderr] Compiling similar v2.3.0 [INFO] [stderr] Compiling clap_builder v4.4.11 [INFO] [stderr] Compiling quote v1.0.33 [INFO] [stderr] Compiling getrandom v0.2.11 [INFO] [stderr] Compiling console v0.15.7 [INFO] [stderr] Compiling ahash v0.7.7 [INFO] [stderr] Compiling syn v2.0.39 [INFO] [stderr] Compiling hashbrown v0.11.2 [INFO] [stderr] Compiling insta v1.34.0 [INFO] [stderr] Compiling string-interner v0.14.0 [INFO] [stderr] Compiling libpatron v0.17.3 (/opt/rustwide/workdir) [INFO] [stdout] warning: struct `BVType` is never constructed [INFO] [stdout] --> src/ir/expr.rs:468:12 [INFO] [stdout] | [INFO] [stdout] 468 | pub struct BVType(WidthInt); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `InputRef` is never constructed [INFO] [stdout] --> src/ir/transition_system.rs:163:12 [INFO] [stdout] | [INFO] [stdout] 163 | pub struct InputRef(usize); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/sim/interpreter.rs:798:17 [INFO] [stdout] | [INFO] [stdout] 798 | ArraySymbol(WidthInt), // index width [INFO] [stdout] | ----------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `NullaryOp` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 798 - ArraySymbol(WidthInt), // index width [INFO] [stdout] 798 + ArraySymbol(()), // index width [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/btor2/parse.rs:834:35 [INFO] [stdout] | [INFO] [stdout] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens { [INFO] [stdout] | ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/ir/analysis.rs:334:17 [INFO] [stdout] | [INFO] [stdout] 334 | pub fn iter(&self) -> ExprMetaDataIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 334 | pub fn iter(&self) -> ExprMetaDataIter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling clap_derive v4.4.7 [INFO] [stderr] Compiling clap v4.4.11 [INFO] [stdout] warning: struct `BVType` is never constructed [INFO] [stdout] --> src/ir/expr.rs:468:12 [INFO] [stdout] | [INFO] [stdout] 468 | pub struct BVType(WidthInt); [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `InputRef` is never constructed [INFO] [stdout] --> src/ir/transition_system.rs:163:12 [INFO] [stdout] | [INFO] [stdout] 163 | pub struct InputRef(usize); [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `0` is never read [INFO] [stdout] --> src/sim/interpreter.rs:798:17 [INFO] [stdout] | [INFO] [stdout] 798 | ArraySymbol(WidthInt), // index width [INFO] [stdout] | ----------- ^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | field in this variant [INFO] [stdout] | [INFO] [stdout] = note: `NullaryOp` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stdout] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stdout] | [INFO] [stdout] 798 - ArraySymbol(WidthInt), // index width [INFO] [stdout] 798 + ArraySymbol(()), // index width [INFO] [stdout] | [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/btor2/parse.rs:834:35 [INFO] [stdout] | [INFO] [stdout] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens { [INFO] [stdout] | ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens<'_> { [INFO] [stdout] | ++++ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stdout] --> src/ir/analysis.rs:334:17 [INFO] [stdout] | [INFO] [stdout] 334 | pub fn iter(&self) -> ExprMetaDataIter { [INFO] [stdout] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stdout] | | [INFO] [stdout] | the lifetime is elided here [INFO] [stdout] | [INFO] [stdout] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stdout] help: use `'_` for type paths [INFO] [stdout] | [INFO] [stdout] 334 | pub fn iter(&self) -> ExprMetaDataIter<'_, T> { [INFO] [stdout] | +++ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 18.24s [INFO] running `Command { std: "docker" "inspect" "81622f348f370464322244b35c0e4fe9458ca1c2aa312200282ecaf51d00aa42", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "81622f348f370464322244b35c0e4fe9458ca1c2aa312200282ecaf51d00aa42", kill_on_drop: false }` [INFO] [stdout] 81622f348f370464322244b35c0e4fe9458ca1c2aa312200282ecaf51d00aa42 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/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=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] d34cc44eed7505728aee8a598cc2a8bff3f3c54c8d0ab66fe2fa1b975b21343a [INFO] running `Command { std: "docker" "start" "-a" "d34cc44eed7505728aee8a598cc2a8bff3f3c54c8d0ab66fe2fa1b975b21343a", kill_on_drop: false }` [INFO] [stderr] warning: struct `BVType` is never constructed [INFO] [stderr] --> src/ir/expr.rs:468:12 [INFO] [stderr] | [INFO] [stderr] 468 | pub struct BVType(WidthInt); [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: struct `InputRef` is never constructed [INFO] [stderr] --> src/ir/transition_system.rs:163:12 [INFO] [stderr] | [INFO] [stderr] 163 | pub struct InputRef(usize); [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `0` is never read [INFO] [stderr] --> src/sim/interpreter.rs:798:17 [INFO] [stderr] | [INFO] [stderr] 798 | ArraySymbol(WidthInt), // index width [INFO] [stderr] | ----------- ^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | field in this variant [INFO] [stderr] | [INFO] [stderr] = note: `NullaryOp` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stderr] help: consider changing the field to be of unit type to suppress this warning while preserving the field numbering, or remove the field [INFO] [stderr] | [INFO] [stderr] 798 - ArraySymbol(WidthInt), // index width [INFO] [stderr] 798 + ArraySymbol(()), // index width [INFO] [stderr] | [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/btor2/parse.rs:834:35 [INFO] [stderr] | [INFO] [stderr] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens { [INFO] [stderr] | ^^^^ ^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 834 | pub(crate) fn tokenize_line(line: &str) -> LineTokens<'_> { [INFO] [stderr] | ++++ [INFO] [stderr] [INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing [INFO] [stderr] --> src/ir/analysis.rs:334:17 [INFO] [stderr] | [INFO] [stderr] 334 | pub fn iter(&self) -> ExprMetaDataIter { [INFO] [stderr] | ^^^^^ ^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here [INFO] [stderr] | | [INFO] [stderr] | the lifetime is elided here [INFO] [stderr] | [INFO] [stderr] = help: the same lifetime is referred to in inconsistent ways, making the signature confusing [INFO] [stderr] help: use `'_` for type paths [INFO] [stderr] | [INFO] [stderr] 334 | pub fn iter(&self) -> ExprMetaDataIter<'_, T> { [INFO] [stderr] | +++ [INFO] [stderr] [INFO] [stderr] warning: `libpatron` (lib) generated 5 warnings (run `cargo fix --lib -p libpatron` to apply 2 suggestions) [INFO] [stderr] warning: `libpatron` (lib test) generated 5 warnings (5 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/libpatron-75c8ee0b6c4f9d86) [INFO] [stdout] [INFO] [stdout] running 25 tests [INFO] [stdout] test btor2::parse::tests::tokenize ... ok [INFO] [stdout] test btor2::parse::tests::parse_failures ... ok [INFO] [stdout] test ir::expr::tests::reference_ids ... ok [INFO] [stdout] test ir::transition_system::tests::ir_type_size ... ok [INFO] [stdout] test ir::serialize::tests::simple_serialization ... ok [INFO] [stdout] test ir::value::tests::test_bit_string_conversion ... ok [INFO] [stdout] test mc::smt::tests::easy_smt_symbol_escaping ... ok [INFO] [stdout] test mc::smt::tests::test_yices2_result_parsing ... ok [INFO] [stdout] test mc::smt::tests::test_parse_smt_array_const_and_store ... ok [INFO] [stdout] test mc::smt::tests::test_our_escaping ... ok [INFO] [stdout] test ir::value::tests::test_big_uint_conversion ... ok [INFO] [stdout] test ir::expr::tests::ir_type_size ... ok [INFO] [stdout] test sim::exec::tests::test_cmp_greater_equal_signed ... ok [INFO] [stdout] test sim::exec::tests::test_cmp_greater_signed ... ok [INFO] [stdout] test sim::exec::tests::test_concat ... ok [INFO] [stdout] test sim::exec::tests::test_shift_left ... ok [INFO] [stdout] test sim::exec::tests::test_shift_right ... ok [INFO] [stdout] test sim::exec::tests::test_zero_ext ... ok [INFO] [stdout] test sim::exec::tests::test_slice ... ok [INFO] [stdout] test sim::exec::tests::test_add ... ok [INFO] [stdout] test sim::interpreter::tests::type_size ... ok [INFO] [stdout] test sim::exec::tests::test_split_borrow ... ok [INFO] [stdout] test sim::exec::tests::test_sub ... ok [INFO] [stdout] test sim::exec::tests::test_cmp_greater ... ok [INFO] [stdout] test ir::analysis::tests::test_cone_of_influence ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.04s [INFO] [stdout] [INFO] [stderr] Running tests/btor2_test.rs (/opt/rustwide/target/debug/deps/btor2_test-49f30dd721db2b00) [INFO] [stdout] [INFO] [stdout] running 11 tests [INFO] [stdout] test parse_count2 ... ok [INFO] [stdout] test parse_quiz1 ... ok [INFO] [stdout] test serialize_quiz1 ... ok [INFO] [stdout] test serialize_count2 ... ok [INFO] [stdout] test parse_sdram ... ok [INFO] [stdout] test parse_sdram_and_simplify_expressions ... ok [INFO] [stdout] test parse_instrumented_decoder ... ok [INFO] [stdout] test parse_sdram_and_remove_anonymous_inputs ... ok [INFO] [stdout] test parse_sha3_keccak_and_check_that_all_anonymous_inputs_are_there ... ok [INFO] [stdout] test parse_lakeroad_dsp48_e2 ... ok [INFO] [stdout] test parse_sha3_keccak_and_replace_anonymous_inputs ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s [INFO] [stdout] [INFO] [stderr] Running tests/btor2_witness_tests.rs (/opt/rustwide/target/debug/deps/btor2_witness_tests-dabe72605b81264c) [INFO] [stdout] [INFO] [stdout] running 5 tests [INFO] [stdout] test test_const_array_example_witness_2 ... ok [INFO] [stdout] test test_const_array_example_witness ... ok [INFO] [stdout] test test_fsm_witness ... ok [INFO] [stdout] test test_no_state_witness ... ok [INFO] [stderr] Running tests/interpreter.rs (/opt/rustwide/target/debug/deps/interpreter-9ab96b96eec256f0) [INFO] [stdout] test test_multiple_witnesses ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 3 tests [INFO] [stdout] test interpret_swap ... ok [INFO] [stderr] Doc-tests libpatron [INFO] [stdout] test interpret_count_2 ... ok [INFO] [stdout] test interpret_delay ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "d34cc44eed7505728aee8a598cc2a8bff3f3c54c8d0ab66fe2fa1b975b21343a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d34cc44eed7505728aee8a598cc2a8bff3f3c54c8d0ab66fe2fa1b975b21343a", kill_on_drop: false }` [INFO] [stdout] d34cc44eed7505728aee8a598cc2a8bff3f3c54c8d0ab66fe2fa1b975b21343a