[INFO] fetching crate symexrs 0.1.0...
[INFO] testing symexrs-0.1.0 against master#ec6f9a5b4413f74386267ef8efc93712c2ce6db6 for pr-155739-1
[INFO] extracting crate symexrs 0.1.0 into /workspace/builds/worker-5-tc1/source
[INFO] removed /workspace/builds/worker-5-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate symexrs 0.1.0 on toolchain ec6f9a5b4413f74386267ef8efc93712c2ce6db6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quickcheck_macros v1.1.0
[INFO] [stderr]   Downloaded quickcheck v1.0.3
[INFO] [stderr]   Downloaded env_logger v0.8.4
[INFO] [stderr]   Downloaded z3 v0.12.1
[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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 2772a648291ca814d21877ed3268b9fa3e224c93262668349d58e3849c67da64
[INFO] running `Command { std: "docker" "start" "-a" "2772a648291ca814d21877ed3268b9fa3e224c93262668349d58e3849c67da64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "2772a648291ca814d21877ed3268b9fa3e224c93262668349d58e3849c67da64", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "2772a648291ca814d21877ed3268b9fa3e224c93262668349d58e3849c67da64", kill_on_drop: false }`
[INFO] [stdout] 2772a648291ca814d21877ed3268b9fa3e224c93262668349d58e3849c67da64
[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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 606494dd5d0bde37e124314312f228185a404cb1ab0298f6aa046f0b17bb8d1c
[INFO] running `Command { std: "docker" "start" "-a" "606494dd5d0bde37e124314312f228185a404cb1ab0298f6aa046f0b17bb8d1c", 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 regex-syntax v0.8.8
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling cfg-if v1.0.4
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling clang-sys v1.8.1
[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 cexpr v0.6.0
[INFO] [stderr]    Compiling regex-automata v0.4.13
[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 33.14s
[INFO] running `Command { std: "docker" "inspect" "606494dd5d0bde37e124314312f228185a404cb1ab0298f6aa046f0b17bb8d1c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "606494dd5d0bde37e124314312f228185a404cb1ab0298f6aa046f0b17bb8d1c", kill_on_drop: false }`
[INFO] [stdout] 606494dd5d0bde37e124314312f228185a404cb1ab0298f6aa046f0b17bb8d1c
[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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 67ddc0900d280c73f38da624ea3225f2e2490c6df003dd51d439eec0d79c9914
[INFO] running `Command { std: "docker" "start" "-a" "67ddc0900d280c73f38da624ea3225f2e2490c6df003dd51d439eec0d79c9914", 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 cexpr v0.6.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling regex-automata v0.4.13
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling regex v1.12.2
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling quickcheck_macros v1.1.0
[INFO] [stderr]    Compiling quickcheck v1.0.3
[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 34.22s
[INFO] running `Command { std: "docker" "inspect" "67ddc0900d280c73f38da624ea3225f2e2490c6df003dd51d439eec0d79c9914", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "67ddc0900d280c73f38da624ea3225f2e2490c6df003dd51d439eec0d79c9914", kill_on_drop: false }`
[INFO] [stdout] 67ddc0900d280c73f38da624ea3225f2e2490c6df003dd51d439eec0d79c9914
[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" "+ec6f9a5b4413f74386267ef8efc93712c2ce6db6" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] f5022ab73aa781eedd3b5c977ca6c050911aecfa53fcd7291f7d77e01dd64229
[INFO] running `Command { std: "docker" "start" "-a" "f5022ab73aa781eedd3b5c977ca6c050911aecfa53fcd7291f7d77e01dd64229", kill_on_drop: false }`
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> src/solver.rs:343:19
[INFO] [stderr]     |
[INFO] [stderr] 343 |     fn get_solver(&self) -> 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]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[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` (lib test) generated 5 warnings (5 duplicates)
[INFO] [stderr] warning: `symexrs` (test "binary_search") generated 1 warning
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/symexrs-1316ac1619b05b29)
[INFO] [stdout] 
[INFO] [stdout] running 102 tests
[INFO] [stdout] test expressions::test_ascii_validation_non_ascii ... ok
[INFO] [stdout] test expressions::test_string_validation_empty_pattern ... ok
[INFO] [stdout] test expressions::test_string_validation_negative_index ... ok
[INFO] [stdout] test expressions::tests::prop_expression_construction_from_operations ... ok
[INFO] [stdout] test expressions::tests::prop_conditional_expression_construction ... ok
[INFO] [stdout] test expressions::test_expression_depth_limit ... 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::test_ascii_validation_valid ... ok
[INFO] [stdout] test expressions::tests::prop_expression_node_count ... ok
[INFO] [stdout] test expressions::test_string_validation_char_at_negative_index ... ok
[INFO] [stdout] test expressions::tests::prop_precedence_ordering_consistency ... ok
[INFO] [stdout] test expressions::tests::test_algebraic_simplification ... ok
[INFO] [stdout] test expressions::tests::prop_constant_expression_construction ... ok
[INFO] [stdout] test expressions::tests::test_binop_properties ... ok
[INFO] [stdout] test expressions::tests::prop_operation_precedence_preservation ... ok
[INFO] [stdout] test expressions::tests::prop_smt_declarations_completeness ... ok
[INFO] [stdout] test expressions::tests::prop_smt_serialization_preserves_structure ... ok
[INFO] [stdout] test expressions::tests::prop_unary_expression_construction ... 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::tests::prop_variable_collection_consistency ... ok
[INFO] [stdout] test expressions::tests::test_basic_expression_construction ... ok
[INFO] [stdout] test expressions::test_string_validation_negative_length ... ok
[INFO] [stdout] test expressions::tests::test_conditional_simplification ... ok
[INFO] [stdout] test expressions::test_string_validation_index_of_negative_offset ... ok
[INFO] [stdout] test expressions::tests::test_binop_smt_lib ... ok
[INFO] [stdout] test expressions::test_string_validation_valid_operations ... ok
[INFO] [stdout] test expressions::tests::test_canonical_hash ... ok
[INFO] [stdout] test expressions::tests::prop_variable_expression_construction ... 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_hash_consing ... ok
[INFO] [stdout] test expressions::tests::test_precedence_ordering ... ok
[INFO] [stdout] test expressions::tests::test_constant_folding ... 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_double_negation_elimination ... ok
[INFO] [stdout] test expressions::tests::test_expression_display ... ok
[INFO] [stdout] test expressions::tests::test_const_value_conversions ... 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_is_simplified ... ok
[INFO] [stdout] test expressions::test_expression_complexity_limit ... ok
[INFO] [stdout] test solver::tests::test_constraint_variables_extraction ... ok
[INFO] [stdout] test manager::tests::registers_and_rejects_duplicates ... ok
[INFO] [stdout] test solver::tests::test_constraint_validation ... ok
[INFO] [stdout] test solver::tests::test_empty_constraint_satisfiability ... ok
[INFO] [stdout] test solver::tests::test_assert_method ... ok
[INFO] [stdout] test manager::tests::rejects_unbound_variables_in_constraints ... ok
[INFO] [stdout] test solver::tests::test_empty_constraints ... ok
[INFO] [stdout] test solver::tests::test_conditional_expressions ... ok
[INFO] [stdout] test solver::tests::test_error_handling_nan_and_infinity ... ok
[INFO] [stdout] test solver::tests::test_error_handling_invalid_constraint ... 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_error_handling_type_mismatches ... 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_constraint_assertion_and_state ... ok
[INFO] [stdout] test solver::tests::test_arithmetic_operations ... ok
[INFO] [stdout] test solver::tests::test_boolean_variables ... 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_stack_underflow ... ok
[INFO] [stdout] test solver::tests::test_error_handling_resource_limits ... ok
[INFO] [stdout] test solver::tests::test_check_sat_with_stored_and_additional_constraints ... ok
[INFO] [stdout] test solver::tests::test_error_recovery_mechanisms ... ok
[INFO] [stdout] test solver::tests::test_set_timeout ... ok
[INFO] [stdout] test solver::tests::test_solver_state_management ... ok
[INFO] [stdout] test solver::tests::test_is_unsatisfiable_helper ... ok
[INFO] [stdout] test solver::tests::test_model_for_unsatisfiable_constraints ... ok
[INFO] [stdout] test solver::tests::test_model_extraction ... ok
[INFO] [stdout] test solver::tests::test_mixed_type_equality ... ok
[INFO] [stdout] test solver::tests::test_simple_satisfiable_constraint ... ok
[INFO] [stdout] test solver::tests::test_solver_state_reset ... ok
[INFO] [stdout] test solver::tests::test_solver_initialization_validation ... ok
[INFO] [stdout] test solver::tests::test_is_satisfiable_helper ... ok
[INFO] [stdout] test solver::tests::test_solver_reset ... ok
[INFO] [stdout] test solver::tests::test_model_with_multiple_variables ... ok
[INFO] [stdout] test solver::tests::test_model_with_boolean_variables ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_boolean_logic ... ok
[INFO] [stdout] test solver::tests::test_unsatisfiable_constraint ... ok
[INFO] [stdout] test test_deps::dependency_tests::prop_multiplication_identity ... ok
[INFO] [stdout] test solver::tests::test_timeout_configuration ... ok
[INFO] [stdout] test solver::tests::test_z3_solver_creation ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_mixed_types ... ok
[INFO] [stdout] test solver::tests::test_timeout_preserved_after_reset ... 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 test_deps::dependency_tests::test_z3_basic_functionality ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_performance_stress ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_basic_arithmetic ... ok
[INFO] [stdout] test test_deps::dependency_tests::test_z3_unsatisfiable_constraint ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_complex_expressions ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_unsatisfiable_system ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_incremental_solving ... ok
[INFO] [stdout] test solver::tests::test_z3_integration_push_pop_functionality ... ok
[INFO] [stdout] test solver::tests::test_property_constraint_consistency ... ok
[INFO] [stdout] test solver::tests::test_property_satisfiability_query_correctness ... 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 4.54s
[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_two_tasks_one_schedule_choice_explores_both_orders ... ok
[INFO] [stdout] test explore_async_oneshot_send_recv_is_order_independent ... ok
[INFO] [stdout] test explore_async_send_two_symu64_and_assert_equal_on_receiver ... ok
[INFO] [stdout] test explore_async_mpsc_fifo_preserved ... ok
[INFO] [stdout] test explore_async_oneshot_drop_sender_yields_err ... ok
[INFO] [stdout] test explore_async_send_symu64_and_assert_zero_on_receiver ... ok
[INFO] [stdout] test explore_async_schedule_race_bug_is_found_and_replayable_signal_is_choice ... ok
[INFO] [stdout] test explore_async_time_sleep_advances_without_wallclock ... 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.27s
[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.29s
[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.20s
[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] [stderr]      Running tests/ergonomics_tests.rs (/opt/rustwide/target/debug/deps/ergonomics_tests-1edf7b1ce932e24d)
[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.14s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test symbool_holds_is_ergonomic_in_if ... ok
[INFO] [stdout] test explore_default_requires_no_manager_args ... 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.49s
[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 random_scheduler_is_seeded_and_deterministic ... ok
[INFO] [stdout] test coverage_guided_prefers_deeper_when_no_novelty ... ok
[INFO] [stdout] test bfs_scheduler_picks_shallow_alternative_first ... ok
[INFO] [stdout] test dfs_scheduler_picks_deeper_alternative_first ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.27s
[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 symu32_from_concrete_behaves_as_literal ... ok
[INFO] [stdout] test test_path ... 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.84s
[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.15s
[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" "f5022ab73aa781eedd3b5c977ca6c050911aecfa53fcd7291f7d77e01dd64229", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f5022ab73aa781eedd3b5c977ca6c050911aecfa53fcd7291f7d77e01dd64229", kill_on_drop: false }`
[INFO] [stdout] f5022ab73aa781eedd3b5c977ca6c050911aecfa53fcd7291f7d77e01dd64229
