[INFO] fetching crate symexrs 0.1.0...
[INFO] testing symexrs-0.1.0 against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739-1
[INFO] extracting crate symexrs 0.1.0 into /workspace/builds/worker-5-tc2/source
[INFO] removed /workspace/builds/worker-5-tc2/source/.cargo/config.toml
[INFO] started tweaking crates.io crate symexrs 0.1.0
[INFO] removed 0 missing examples
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate symexrs 0.1.0
[INFO] tweaked toml for crates.io crate symexrs 0.1.0 written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate symexrs 0.1.0 on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate symexrs 0.1.0 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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7b6d333446d3e29fba3553aecaab1777019ec399697c32336ea3aaf637424297
[INFO] running `Command { std: "docker" "start" "-a" "7b6d333446d3e29fba3553aecaab1777019ec399697c32336ea3aaf637424297", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7b6d333446d3e29fba3553aecaab1777019ec399697c32336ea3aaf637424297", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7b6d333446d3e29fba3553aecaab1777019ec399697c32336ea3aaf637424297", kill_on_drop: false }`
[INFO] [stdout] 7b6d333446d3e29fba3553aecaab1777019ec399697c32336ea3aaf637424297
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=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" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] edc0ee4a66bddf631897682445d2b0511173f69b6c87b6dd8e0431255dea20a5
[INFO] running `Command { std: "docker" "start" "-a" "edc0ee4a66bddf631897682445d2b0511173f69b6c87b6dd8e0431255dea20a5", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling symexrs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]    Compiling z3 v0.12.1
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:343:19
[INFO] [stdout]     |
[INFO] [stdout] 343 |     fn get_solver(&self) -> Solver {
[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] 343 |     fn get_solver(&self) -> Solver<'_> {
[INFO] [stdout]     |                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:400:30
[INFO] [stdout]     |
[INFO] [stdout] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver> {
[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] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver<'_>> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:815:26
[INFO] [stdout]     |
[INFO] [stdout] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int> {
[INFO] [stdout]     |                          ^^^^^ the lifetime is elided here     ^^^ the same lifetime is hidden 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] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int<'_>> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:991:29
[INFO] [stdout]     |
[INFO] [stdout] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String> {
[INFO] [stdout]     |                             ^^^^^ the lifetime is elided here     ^^^^^^^^^^^^^^^ the same lifetime is hidden 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] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String<'_>> {
[INFO] [stdout]     |                                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]     --> src/solver.rs:1090:27
[INFO] [stdout]      |
[INFO] [stdout] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool> {
[INFO] [stdout]      |                           ^^^^^ the lifetime is elided here     ^^^^ the same lifetime is hidden 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] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool<'_>> {
[INFO] [stdout]      |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 29.98s
[INFO] running `Command { std: "docker" "inspect" "edc0ee4a66bddf631897682445d2b0511173f69b6c87b6dd8e0431255dea20a5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "edc0ee4a66bddf631897682445d2b0511173f69b6c87b6dd8e0431255dea20a5", kill_on_drop: false }`
[INFO] [stdout] edc0ee4a66bddf631897682445d2b0511173f69b6c87b6dd8e0431255dea20a5
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=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" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c42b013c0a881149489e19244a8288df667e8146d51405629f76ca1e84459bfd
[INFO] running `Command { std: "docker" "start" "-a" "c42b013c0a881149489e19244a8288df667e8146d51405629f76ca1e84459bfd", kill_on_drop: false }`
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling libc v0.2.178
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling getrandom v0.2.16
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling quickcheck v1.0.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling quickcheck_macros v1.1.0
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]    Compiling z3 v0.12.1
[INFO] [stderr]    Compiling symexrs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:343:19
[INFO] [stdout]     |
[INFO] [stdout] 343 |     fn get_solver(&self) -> Solver {
[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] 343 |     fn get_solver(&self) -> Solver<'_> {
[INFO] [stdout]     |                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:400:30
[INFO] [stdout]     |
[INFO] [stdout] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver> {
[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] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver<'_>> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:815:26
[INFO] [stdout]     |
[INFO] [stdout] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int> {
[INFO] [stdout]     |                          ^^^^^ the lifetime is elided here     ^^^ the same lifetime is hidden 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] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int<'_>> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:991:29
[INFO] [stdout]     |
[INFO] [stdout] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String> {
[INFO] [stdout]     |                             ^^^^^ the lifetime is elided here     ^^^^^^^^^^^^^^^ the same lifetime is hidden 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] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String<'_>> {
[INFO] [stdout]     |                                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]     --> src/solver.rs:1090:27
[INFO] [stdout]      |
[INFO] [stdout] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool> {
[INFO] [stdout]      |                           ^^^^^ the lifetime is elided here     ^^^^ the same lifetime is hidden 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] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool<'_>> {
[INFO] [stdout]      |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:343:19
[INFO] [stdout]     |
[INFO] [stdout] 343 |     fn get_solver(&self) -> Solver {
[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] 343 |     fn get_solver(&self) -> Solver<'_> {
[INFO] [stdout]     |                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:400:30
[INFO] [stdout]     |
[INFO] [stdout] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver> {
[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] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver<'_>> {
[INFO] [stdout]     |                                                          ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:815:26
[INFO] [stdout]     |
[INFO] [stdout] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int> {
[INFO] [stdout]     |                          ^^^^^ the lifetime is elided here     ^^^ the same lifetime is hidden 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] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int<'_>> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> src/solver.rs:991:29
[INFO] [stdout]     |
[INFO] [stdout] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String> {
[INFO] [stdout]     |                             ^^^^^ the lifetime is elided here     ^^^^^^^^^^^^^^^ the same lifetime is hidden 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] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String<'_>> {
[INFO] [stdout]     |                                                                                  ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]     --> src/solver.rs:1090:27
[INFO] [stdout]      |
[INFO] [stdout] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool> {
[INFO] [stdout]      |                           ^^^^^ the lifetime is elided here     ^^^^ the same lifetime is hidden 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] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool<'_>> {
[INFO] [stdout]      |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: useless assignment of variable of type `usize` to itself
[INFO] [stdout]    --> tests/binary_search.rs:103:13
[INFO] [stdout]     |
[INFO] [stdout] 103 |             base = base;
[INFO] [stdout]     |             ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 24.68s
[INFO] running `Command { std: "docker" "inspect" "c42b013c0a881149489e19244a8288df667e8146d51405629f76ca1e84459bfd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c42b013c0a881149489e19244a8288df667e8146d51405629f76ca1e84459bfd", kill_on_drop: false }`
[INFO] [stdout] c42b013c0a881149489e19244a8288df667e8146d51405629f76ca1e84459bfd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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=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" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] fb41bf98491420712fcefb8cda4dbb26a84e3218f168319b45d3af54e5cdb47e
[INFO] running `Command { std: "docker" "start" "-a" "fb41bf98491420712fcefb8cda4dbb26a84e3218f168319b45d3af54e5cdb47e", kill_on_drop: false }`
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout] 
[INFO] [stderr]    --> src/solver.rs:343:19
[INFO] [stdout] running 102 tests
[INFO] [stderr]     |
[INFO] [stdout] test expressions::test_ascii_validation_non_ascii ... ok
[INFO] [stderr] 343 |     fn get_solver(&self) -> Solver {
[INFO] [stdout] test expressions::test_ascii_validation_valid ... ok
[INFO] [stderr]     |                   ^^^^^     ^^^^^^ the same lifetime is hidden here
[INFO] [stdout] test expressions::test_string_validation_empty_pattern ... ok
[INFO] [stderr]     |                   |
[INFO] [stdout] test expressions::test_string_validation_char_at_negative_index ... ok
[INFO] [stderr]     |                   the lifetime is elided here
[INFO] [stdout] test expressions::test_string_validation_negative_length ... ok
[INFO] [stderr]     |
[INFO] [stdout] test expressions::test_string_validation_negative_index ... ok
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] test expressions::test_string_validation_valid_operations ... ok
[INFO] [stderr]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] test expressions::tests::prop_precedence_ordering_consistency ... ok
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stdout] test expressions::tests::prop_unary_expression_construction ... ok
[INFO] [stderr]     |
[INFO] [stdout] test expressions::tests::prop_expression_construction_from_operations ... ok
[INFO] [stderr] 343 |     fn get_solver(&self) -> Solver<'_> {
[INFO] [stderr]     |                                   ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/solver.rs:400:30
[INFO] [stderr]     |
[INFO] [stderr] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver> {
[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] 400 |     fn get_solver_with_state(&self) -> SymExResult<Solver<'_>> {
[INFO] [stderr]     |                                                          ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/solver.rs:815:26
[INFO] [stderr]     |
[INFO] [stderr] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int> {
[INFO] [stderr]     |                          ^^^^^ the lifetime is elided here     ^^^ the same lifetime is hidden 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] 815 |     fn symexpr_to_z3_int(&self, expr: &SymExpr) -> SymExResult<Int<'_>> {
[INFO] [stderr]     |                                                                   ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/solver.rs:991:29
[INFO] [stderr]     |
[INFO] [stderr] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String> {
[INFO] [stderr]     |                             ^^^^^ the lifetime is elided here     ^^^^^^^^^^^^^^^ the same lifetime is hidden 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] 991 |     fn symexpr_to_z3_string(&self, expr: &SymExpr) -> SymExResult<z3::ast::String<'_>> {
[INFO] [stderr]     |                                                                                  ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]     --> src/solver.rs:1090:27
[INFO] [stderr]      |
[INFO] [stderr] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool> {
[INFO] [stderr]      |                           ^^^^^ the lifetime is elided here     ^^^^ the same lifetime is hidden 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] 1090 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool<'_>> {
[INFO] [stderr]      |                                                                     ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `symexrs` (lib) generated 5 warnings (run `cargo fix --lib -p symexrs` to apply 5 suggestions)
[INFO] [stderr] warning: useless assignment of variable of type `usize` to itself
[INFO] [stderr]    --> tests/binary_search.rs:103:13
[INFO] [stderr]     |
[INFO] [stderr] 103 |             base = base;
[INFO] [stderr]     |             ^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `symexrs` (test "binary_search") generated 1 warning
[INFO] [stderr] warning: `symexrs` (lib test) generated 5 warnings (5 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/symexrs-1316ac1619b05b29)
[INFO] [stdout] test expressions::tests::prop_smt_declarations_completeness ... ok
[INFO] [stdout] test expressions::tests::prop_operation_precedence_preservation ... ok
[INFO] [stdout] test expressions::tests::prop_conditional_expression_construction ... ok
[INFO] [stdout] test expressions::tests::prop_constant_expression_construction ... ok
[INFO] [stdout] test expressions::tests::prop_smt_serialization_preserves_structure ... ok
[INFO] [stdout] test expressions::tests::prop_smt_script_completeness ... ok
[INFO] [stdout] test expressions::tests::prop_smt_serialization_round_trip ... ok
[INFO] [stdout] test expressions::test_string_validation_index_of_negative_offset ... ok
[INFO] [stdout] test expressions::tests::prop_expression_depth_calculation ... ok
[INFO] [stdout] test expressions::tests::prop_expression_structure_reflects_precedence ... ok
[INFO] [stdout] test expressions::tests::prop_expression_node_count ... ok
[INFO] [stdout] test expressions::test_expression_depth_limit ... ok
[INFO] [stdout] test expressions::tests::test_algebraic_simplification ... ok
[INFO] [stdout] test expressions::tests::prop_variable_collection_consistency ... ok
[INFO] [stdout] test expressions::tests::prop_variable_expression_construction ... ok
[INFO] [stdout] test expressions::tests::test_basic_expression_construction ... ok
[INFO] [stdout] test expressions::tests::test_binop_properties ... ok
[INFO] [stdout] test expressions::tests::test_binop_smt_lib ... ok
[INFO] [stdout] test expressions::tests::test_canonical_hash ... ok
[INFO] [stdout] test expressions::tests::test_conditional_simplification ... ok
[INFO] [stdout] test expressions::tests::test_const_value_conversions ... ok
[INFO] [stdout] test expressions::tests::test_const_value_smt_lib ... ok
[INFO] [stdout] test expressions::tests::test_const_value_type_queries ... ok
[INFO] [stdout] test expressions::tests::test_constant_folding ... ok
[INFO] [stdout] test expressions::tests::test_expression_display ... ok
[INFO] [stdout] test expressions::tests::test_is_simplified ... ok
[INFO] [stdout] test expressions::tests::test_hash_consing ... ok
[INFO] [stdout] test expressions::tests::test_precedence_ordering ... ok
[INFO] [stdout] test expressions::tests::test_precedence_specific_cases ... ok
[INFO] [stdout] test expressions::tests::test_smt_declarations ... ok
[INFO] [stdout] test expressions::tests::test_smt_script_generation ... ok
[INFO] [stdout] test expressions::tests::test_smt_lib_serialization ... ok
[INFO] [stdout] test expressions::tests::test_unop_smt_lib ... ok
[INFO] [stdout] test expressions::tests::test_double_negation_elimination ... ok
[INFO] [stdout] test expressions::test_expression_complexity_limit ... ok
[INFO] [stdout] test manager::tests::rejects_unbound_variables_in_constraints ... ok
[INFO] [stdout] test solver::tests::test_constraint_variables_extraction ... ok
[INFO] [stdout] test solver::tests::test_empty_constraint_satisfiability ... ok
[INFO] [stdout] test manager::tests::registers_and_rejects_duplicates ... ok
[INFO] [stdout] test solver::tests::test_assert_method ... ok
[INFO] [stdout] test solver::tests::test_constraint_validation ... ok
[INFO] [stdout] test solver::tests::test_empty_constraints ... ok
[INFO] [stdout] test solver::tests::test_error_handling_invalid_variable_names ... ok
[INFO] [stdout] test solver::tests::test_complex_constraint_combination ... ok
[INFO] [stdout] test solver::tests::test_boolean_variables ... ok
[INFO] [stdout] test solver::tests::test_error_handling_nan_and_infinity ... ok
[INFO] [stdout] test solver::tests::test_arithmetic_operations ... ok
[INFO] [stdout] test solver::tests::test_conditional_expressions ... ok
[INFO] [stdout] test solver::tests::test_error_handling_resource_limits ... ok
[INFO] [stdout] test solver::tests::test_model_type_conversions ... ok
[INFO] [stdout] test solver::tests::test_model_utility_methods ... ok
[INFO] [stdout] test solver::tests::test_error_handling_invalid_constraint ... ok
[INFO] [stdout] test solver::tests::test_constraint_assertion_and_state ... ok
[INFO] [stdout] test solver::tests::test_error_handling_stack_underflow ... ok
[INFO] [stdout] test solver::tests::test_boolean_operations ... ok
[INFO] [stdout] test solver::tests::test_division_and_modulo ... ok
[INFO] [stdout] test solver::tests::test_error_recovery_mechanisms ... ok
[INFO] [stdout] test solver::tests::test_error_handling_type_mismatches ... ok
[INFO] [stdout] test solver::tests::test_check_sat_with_stored_and_additional_constraints ... ok
[INFO] [stdout] test solver::tests::test_is_unsatisfiable_helper ... ok
[INFO] [stdout] test solver::tests::test_solver_state_management ... ok
[INFO] [stdout] test solver::tests::test_mixed_type_equality ... ok
[INFO] [stdout] test solver::tests::test_model_for_unsatisfiable_constraints ... ok
[INFO] [stdout] test solver::tests::test_set_timeout ... ok
[INFO] [stdout] test solver::tests::test_solver_state_reset ... ok
[INFO] [stdout] test solver::tests::test_model_with_boolean_variables ... ok
[INFO] [stdout] test solver::tests::test_simple_satisfiable_constraint ... ok
[INFO] [stdout] test solver::tests::test_is_satisfiable_helper ... ok
[INFO] [stdout] test solver::tests::test_solver_initialization_validation ... ok
[INFO] [stdout] test solver::tests::test_model_with_multiple_variables ... ok
[INFO] [stdout] test solver::tests::test_model_extraction ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_mixed_types ... ok
[INFO] [stdout] test solver::tests::test_unsatisfiable_constraint ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_basic_arithmetic ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_complex_expressions ... ok
[INFO] [stdout] test test_deps::dependency_tests::prop_multiplication_identity ... ok
[INFO] [stdout] test test_deps::dependency_tests::test_quickcheck_basic_functionality ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_error_recovery ... ok
[INFO] [stdout] test solver::tests::test_timeout_preserved_after_reset ... ok
[INFO] [stdout] test solver::tests::test_timeout_configuration ... ok
[INFO] [stdout] test test_deps::dependency_tests::test_z3_basic_functionality ... ok
[INFO] [stdout] test solver::tests::test_z3_solver_creation ... ok
[INFO] [stdout] test solver::tests::test_solver_reset ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_boolean_logic ... ok
[INFO] [stdout] test test_deps::dependency_tests::test_z3_unsatisfiable_constraint ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_performance_stress ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_incremental_solving ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_unsatisfiable_system ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_push_pop_functionality ... ok
[INFO] [stdout] test solver::tests::test_property_satisfiability_query_correctness ... ok
[INFO] [stdout] test solver::tests::test_property_constraint_consistency ... ok
[INFO] [stdout] test solver::tests::test_property_boolean_satisfiability_correctness ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 102 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 3.79s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/async_symex_tests.rs (/opt/rustwide/target/debug/deps/async_symex_tests-65a8eafc6fe45edc)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test explore_async_send_symu64_and_assert_zero_on_receiver ... ok
[INFO] [stdout] test explore_async_send_two_symu64_and_assert_equal_on_receiver ... ok
[INFO] [stdout] test explore_async_time_sleep_advances_without_wallclock ... ok
[INFO] [stdout] test explore_async_mpsc_fifo_preserved ... ok
[INFO] [stdout] test explore_async_oneshot_send_recv_is_order_independent ... ok
[INFO] [stdout] test explore_async_two_tasks_one_schedule_choice_explores_both_orders ... ok
[INFO] [stdout] test explore_async_schedule_race_bug_is_found_and_replayable_signal_is_choice ... ok
[INFO] [stdout] test explore_async_oneshot_drop_sender_yields_err ... ok
[INFO] [stdout] test explore_async_single_future_symbolic_branch ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/binary_search.rs (/opt/rustwide/target/debug/deps/binary_search-73e15a71ede00f8a)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test good ... ok
[INFO] [stdout] test bad has been running for over 60 seconds
[INFO] [stdout] test bad ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 143.51s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/bugfinding_tests.rs (/opt/rustwide/target/debug/deps/bugfinding_tests-e5273a13e790c0f7)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test exploration_records_user_panics_as_bug_cases ... ok
[INFO] [stdout] test bug_case_is_replayable_from_decisions_and_inputs ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/custom_scheduler_tests.rs (/opt/rustwide/target/debug/deps/custom_scheduler_tests-019e6e7f7384f57f)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test explore_with_custom_scheduler_works ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.10s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ergonomics_tests.rs (/opt/rustwide/target/debug/deps/ergonomics_tests-1edf7b1ce932e24d)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test explore_default_requires_no_manager_args ... ok
[INFO] [stdout] test symbool_holds_is_ergonomic_in_if ... ok
[INFO] [stdout] test explore_with_manager_keeps_old_style_working ... ok
[INFO] [stdout] test explore_default_can_discover_multiple_frontier_branches_per_run ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.36s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/scheduler_tests.rs (/opt/rustwide/target/debug/deps/scheduler_tests-47c50bc784ad321b)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test coverage_guided_prefers_deeper_when_no_novelty ... ok
[INFO] [stdout] test dfs_scheduler_picks_deeper_alternative_first ... ok
[INFO] [stdout] test random_scheduler_is_seeded_and_deterministic ... ok
[INFO] [stdout] test bfs_scheduler_picks_shallow_alternative_first ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.26s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/simple_tests.rs (/opt/rustwide/target/debug/deps/simple_tests-8dcaf82747cbb0b0)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test no_sym ... ok
[INFO] [stdout] test test_arith ... ok
[INFO] [stdout] test test_path ... ok
[INFO] [stdout] test symu32_from_concrete_behaves_as_literal ... ok
[INFO] [stdout] test symu64_membership_over_concrete_array ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.95s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/string_validation_test.rs (/opt/rustwide/target/debug/deps/string_validation_test-e314e1bfe5d4f408)
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test test_ascii_validation_in_symstring ... ok
[INFO] [stdout] test test_string_validation_integration ... ok
[INFO] [stdout] test test_ascii_validation_with_value_panics - should panic ... ok
[INFO] [stdout] test test_ascii_validation_from_concrete_panics - should panic ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.11s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests symexrs
[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" "fb41bf98491420712fcefb8cda4dbb26a84e3218f168319b45d3af54e5cdb47e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fb41bf98491420712fcefb8cda4dbb26a84e3218f168319b45d3af54e5cdb47e", kill_on_drop: false }`
[INFO] [stdout] fb41bf98491420712fcefb8cda4dbb26a84e3218f168319b45d3af54e5cdb47e
