[INFO] cloning repository https://github.com/rupakm/symexrs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/rupakm/symexrs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frupakm%2Fsymexrs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frupakm%2Fsymexrs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] d83cb18c2fdc7218eefa33ef83b0ddf1d210d97c
[INFO] checking rupakm/symexrs against master#485ec3fbcc12fa14ef6596dabb125ad710499c9e for pr-157710
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Frupakm%2Fsymexrs" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-7-tc1/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/rupakm/symexrs
[INFO] finished tweaking git repo https://github.com/rupakm/symexrs
[INFO] tweaked toml for git repo https://github.com/rupakm/symexrs written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/rupakm/symexrs on toolchain 485ec3fbcc12fa14ef6596dabb125ad710499c9e
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/rupakm/symexrs 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" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: unused manifest key: package.author
[INFO] [stderr] warning: `symexrs` (manifest) generated 1 warning
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quickcheck_macros v1.1.0
[INFO] [stderr]   Downloaded z3 v0.12.1
[INFO] [stderr]   Downloaded bindgen v0.66.1
[INFO] [stderr]   Downloaded z3-sys v0.8.1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3a6becf2bc8dde7f3fa57ede90e4f284e72d296796fc446bbb1e2c7cc0530151" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7
[INFO] running `Command { std: "docker" "start" "fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7" "/opt/rustwide/cargo-home/bin/cargo" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7" "/opt/rustwide/cargo-home/bin/cargo" "+485ec3fbcc12fa14ef6596dabb125ad710499c9e" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] warning: Cargo.toml: unused manifest key: package.author
[INFO] [stderr] warning: `symexrs` (manifest) generated 1 warning
[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 minimal-lexical v0.2.1
[INFO] [stderr]    Compiling regex-syntax v0.8.8
[INFO] [stderr]    Compiling memchr v2.7.6
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling libloading v0.8.9
[INFO] [stderr]    Compiling bitflags v2.10.0
[INFO] [stderr]    Compiling cc v1.2.55
[INFO] [stderr]     Checking flate2 v1.1.9
[INFO] [stderr]     Checking md5 v0.8.0
[INFO] [stderr]     Checking aho-corasick v1.1.4
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling syn v2.0.111
[INFO] [stderr]     Checking regex-automata v0.4.13
[INFO] [stderr]    Compiling symexrs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Checking getrandom v0.2.16
[INFO] [stderr]     Checking rand_core v0.6.4
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]     Checking regex v1.12.2
[INFO] [stderr]     Checking env_logger v0.8.4
[INFO] [stderr]     Checking quickcheck v1.0.3
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling quickcheck_macros v1.1.0
[INFO] [stderr]     Checking serde v1.0.228
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]     Checking z3 v0.12.1
[INFO] [stdout] warning[E0133]: call to unsafe function `std::ptr::write_bytes` is unsafe and requires unsafe block
[INFO] [stdout]    --> src/coverage.rs:475:17
[INFO] [stdout]     |
[INFO] [stdout] 475 | /                 std::ptr::write_bytes(
[INFO] [stdout] 476 | |                     begin as *mut u8,
[INFO] [stdout] 477 | |                     0,
[INFO] [stdout] 478 | |                     num_counters * std::mem::size_of::<u64>(),
[INFO] [stdout] 479 | |                 );
[INFO] [stdout]     | |_________________^ call to unsafe function
[INFO] [stdout]     |
[INFO] [stdout]     = note: consult the function's documentation for information on how to avoid undefined behavior
[INFO] [stdout] note: an unsafe function restricts its caller, but its body is safe by default
[INFO] [stdout]    --> src/coverage.rs:469:5
[INFO] [stdout]     |
[INFO] [stdout] 469 |     pub unsafe fn reset_counters() {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/unsafe-op-in-unsafe-fn.html>
[INFO] [stdout]     = note: `#[warn(unsafe_op_in_unsafe_fn)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning[E0133]: call to unsafe function `std::ptr::write_bytes` is unsafe and requires unsafe block
[INFO] [stdout]    --> src/coverage.rs:475:17
[INFO] [stdout]     |
[INFO] [stdout] 475 | /                 std::ptr::write_bytes(
[INFO] [stdout] 476 | |                     begin as *mut u8,
[INFO] [stdout] 477 | |                     0,
[INFO] [stdout] 478 | |                     num_counters * std::mem::size_of::<u64>(),
[INFO] [stdout] 479 | |                 );
[INFO] [stdout]     | |_________________^ call to unsafe function
[INFO] [stdout]     |
[INFO] [stdout]     = note: consult the function's documentation for information on how to avoid undefined behavior
[INFO] [stdout] note: an unsafe function restricts its caller, but its body is safe by default
[INFO] [stdout]    --> src/coverage.rs:469:5
[INFO] [stdout]     |
[INFO] [stdout] 469 |     pub unsafe fn reset_counters() {
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: for more information, see <https://doc.rust-lang.org/edition-guide/rust-2024/unsafe-op-in-unsafe-fn.html>
[INFO] [stdout]     = note: `#[warn(unsafe_op_in_unsafe_fn)]` (part of `#[warn(rust_2024_compatibility)]`) on by default
[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:398:30
[INFO] [stdout]     |
[INFO] [stdout] 398 |     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] 398 |     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:813:26
[INFO] [stdout]     |
[INFO] [stdout] 813 |     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] 813 |     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:989:29
[INFO] [stdout]     |
[INFO] [stdout] 989 |     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] 989 |     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:1088:27
[INFO] [stdout]      |
[INFO] [stdout] 1088 |     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] 1088 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool<'_>> {
[INFO] [stdout]      |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0133`.
[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] [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:398:30
[INFO] [stdout]     |
[INFO] [stdout] 398 |     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] 398 |     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:813:26
[INFO] [stdout]     |
[INFO] [stdout] 813 |     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] 813 |     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:989:29
[INFO] [stdout]     |
[INFO] [stdout] 989 |     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] 989 |     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:1088:27
[INFO] [stdout]      |
[INFO] [stdout] 1088 |     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] 1088 |     fn symexpr_to_z3_bool(&self, expr: &SymExpr) -> SymExResult<Bool<'_>> {
[INFO] [stdout]      |                                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0133`.
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 35.41s
[INFO] running `Command { std: "docker" "inspect" "fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7", kill_on_drop: false }`
[INFO] [stdout] fbf7628461cf9a99fba2e7ddf458b6f9c55f42d073a02dceff865200f96accc7
