[INFO] cloning repository https://github.com/mProjectsCode/vass-reachability [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mProjectsCode/vass-reachability" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5747d2f59bd3a9903e3eca68889892de6f617335 [INFO] checking mProjectsCode/vass-reachability against master#e9182f195b8505c87c4bd055b9f6e114ccda0981 for pr-144098 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/mProjectsCode/vass-reachability [INFO] finished tweaking git repo https://github.com/mProjectsCode/vass-reachability [INFO] tweaked toml for git repo https://github.com/mProjectsCode/vass-reachability written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/mProjectsCode/vass-reachability on toolchain e9182f195b8505c87c4bd055b9f6e114ccda0981 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e9182f195b8505c87c4bd055b9f6e114ccda0981" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/mProjectsCode/vass-reachability 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" "+e9182f195b8505c87c4bd055b9f6e114ccda0981" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+e9182f195b8505c87c4bd055b9f6e114ccda0981" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 4d1b4032c0642f87d416798c73599dec0ba8dff20075a02b9bdb09160c1ec817 [INFO] running `Command { std: "docker" "start" "-a" "4d1b4032c0642f87d416798c73599dec0ba8dff20075a02b9bdb09160c1ec817", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "4d1b4032c0642f87d416798c73599dec0ba8dff20075a02b9bdb09160c1ec817", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4d1b4032c0642f87d416798c73599dec0ba8dff20075a02b9bdb09160c1ec817", kill_on_drop: false }` [INFO] [stdout] 4d1b4032c0642f87d416798c73599dec0ba8dff20075a02b9bdb09160c1ec817 [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:cf8efcab8866f2cf4285301c7418e2f4f2a9b088c91ba69c40d5b659f81557f7" "/opt/rustwide/cargo-home/bin/cargo" "+e9182f195b8505c87c4bd055b9f6e114ccda0981" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9997ad65bee7205bb49ce6d4aa62a14d3e3aade3d81a53ec401954ecbacef35c [INFO] running `Command { std: "docker" "start" "-a" "9997ad65bee7205bb49ce6d4aa62a14d3e3aade3d81a53ec401954ecbacef35c", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.172 [INFO] [stderr] Compiling proc-macro2 v1.0.95 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling glob v0.3.2 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling minimal-lexical v0.2.1 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling libloading v0.8.6 [INFO] [stderr] Compiling bindgen v0.66.1 [INFO] [stderr] Compiling rustc-hash v1.1.0 [INFO] [stderr] Compiling lazy_static v1.5.0 [INFO] [stderr] Compiling shlex v1.3.0 [INFO] [stderr] Compiling peeking_take_while v0.1.2 [INFO] [stderr] Compiling lazycell v1.3.0 [INFO] [stderr] Compiling zerocopy v0.8.24 [INFO] [stderr] Compiling bitflags v2.9.0 [INFO] [stderr] Compiling clang-sys v1.8.1 [INFO] [stderr] Checking allocator-api2 v0.2.21 [INFO] [stderr] Checking equivalent v1.0.2 [INFO] [stderr] Checking foldhash v0.1.5 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling nom v7.1.3 [INFO] [stderr] Checking hashbrown v0.15.2 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Checking either v1.15.0 [INFO] [stderr] Checking getrandom v0.2.15 [INFO] [stderr] Checking log v0.4.27 [INFO] [stderr] Checking rand_core v0.6.4 [INFO] [stderr] Checking fixedbitset v0.4.2 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Checking indexmap v2.9.0 [INFO] [stderr] Checking itoa v1.0.15 [INFO] [stderr] Checking ryu v1.0.20 [INFO] [stderr] Checking colored v2.2.0 [INFO] [stderr] Checking itertools v0.13.0 [INFO] [stderr] Checking petgraph v0.6.5 [INFO] [stderr] Checking ppv-lite86 v0.2.21 [INFO] [stderr] Compiling cexpr v0.6.0 [INFO] [stderr] Checking rand_chacha v0.3.1 [INFO] [stderr] Checking rand v0.8.5 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling z3-sys v0.8.1 [INFO] [stderr] Checking z3 v0.12.1 [INFO] [stderr] Checking vass-reachability v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `initialized::InitializedVASS` [INFO] [stdout] --> tests/vass_reach_random.rs:9:22 [INFO] [stdout] | [INFO] [stdout] 9 | vass::{VASS, initialized::InitializedVASS}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `logger::Logger` and `vass_z_reach::VASSZReachSolverOptions` [INFO] [stdout] --> src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | logger::Logger, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 16 | solver::{vass_reach::VASSReachSolverOptions, vass_z_reach::VASSZReachSolverOptions}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `p` [INFO] [stdout] --> tests/vass_reach_random.rs:177:17 [INFO] [stdout] | [INFO] [stdout] 177 | for p in 0..dimension { [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_p` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `options` [INFO] [stdout] --> tests/vass_reach_random.rs:238:9 [INFO] [stdout] | [INFO] [stdout] 238 | let options = RandomOptions::default() [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_options` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `options` [INFO] [stdout] --> tests/vass_reach_random.rs:251:9 [INFO] [stdout] | [INFO] [stdout] 251 | let options = RandomOptions::default() [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_options` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `random_vass_test` is never used [INFO] [stdout] --> tests/vass_reach_random.rs:134:4 [INFO] [stdout] | [INFO] [stdout] 134 | fn random_vass_test( [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 166 | let mut cfg = init.to_cfg(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example` is never used [INFO] [stdout] --> src/main.rs:59:4 [INFO] [stdout] | [INFO] [stdout] 59 | fn example() -> InitializedVASS { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_vass` is never used [INFO] [stdout] --> src/main.rs:75:4 [INFO] [stdout] | [INFO] [stdout] 75 | fn print_vass(vass: &InitializedVASS) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example2` is never used [INFO] [stdout] --> src/main.rs:87:4 [INFO] [stdout] | [INFO] [stdout] 87 | fn example2() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example3` is never used [INFO] [stdout] --> src/main.rs:119:4 [INFO] [stdout] | [INFO] [stdout] 119 | fn example3() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example4` is never used [INFO] [stdout] --> src/main.rs:151:4 [INFO] [stdout] | [INFO] [stdout] 151 | fn example4() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `logger::Logger` and `vass_z_reach::VASSZReachSolverOptions` [INFO] [stdout] --> src/main.rs:15:5 [INFO] [stdout] | [INFO] [stdout] 15 | logger::Logger, [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] 16 | solver::{vass_reach::VASSReachSolverOptions, vass_z_reach::VASSZReachSolverOptions}, [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> src/main.rs:166:9 [INFO] [stdout] | [INFO] [stdout] 166 | let mut cfg = init.to_cfg(); [INFO] [stdout] | ----^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example` is never used [INFO] [stdout] --> src/main.rs:59:4 [INFO] [stdout] | [INFO] [stdout] 59 | fn example() -> InitializedVASS { [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `print_vass` is never used [INFO] [stdout] --> src/main.rs:75:4 [INFO] [stdout] | [INFO] [stdout] 75 | fn print_vass(vass: &InitializedVASS) { [INFO] [stdout] | ^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example2` is never used [INFO] [stdout] --> src/main.rs:87:4 [INFO] [stdout] | [INFO] [stdout] 87 | fn example2() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example3` is never used [INFO] [stdout] --> src/main.rs:119:4 [INFO] [stdout] | [INFO] [stdout] 119 | fn example3() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `example4` is never used [INFO] [stdout] --> src/main.rs:151:4 [INFO] [stdout] | [INFO] [stdout] 151 | fn example4() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 49.43s [INFO] running `Command { std: "docker" "inspect" "9997ad65bee7205bb49ce6d4aa62a14d3e3aade3d81a53ec401954ecbacef35c", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9997ad65bee7205bb49ce6d4aa62a14d3e3aade3d81a53ec401954ecbacef35c", kill_on_drop: false }` [INFO] [stdout] 9997ad65bee7205bb49ce6d4aa62a14d3e3aade3d81a53ec401954ecbacef35c