[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] testing mProjectsCode/vass-reachability against beta-2025-09-21 for beta-1.91-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/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-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/mProjectsCode/vass-reachability on toolchain beta-2025-09-21
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate 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" "+beta-2025-09-21" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 962a66379c067cdafa213670353eb07cadb2a8b98f63b56b0b982d5ef1d415e8
[INFO] running `Command { std: "docker" "start" "-a" "962a66379c067cdafa213670353eb07cadb2a8b98f63b56b0b982d5ef1d415e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "962a66379c067cdafa213670353eb07cadb2a8b98f63b56b0b982d5ef1d415e8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "962a66379c067cdafa213670353eb07cadb2a8b98f63b56b0b982d5ef1d415e8", kill_on_drop: false }`
[INFO] [stdout] 962a66379c067cdafa213670353eb07cadb2a8b98f63b56b0b982d5ef1d415e8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] acb02e3a12222c62699971b99c2406b7a106af2c525a572fe261cbd7b8510142
[INFO] running `Command { std: "docker" "start" "-a" "acb02e3a12222c62699971b99c2406b7a106af2c525a572fe261cbd7b8510142", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling glob v0.3.2
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling libloading v0.8.6
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling bitflags v2.9.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling zerocopy v0.8.24
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling serde_json v1.0.140
[INFO] [stderr]    Compiling either v1.15.0
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling syn v2.0.100
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling indexmap v2.9.0
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling 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]    Compiling z3 v0.12.1
[INFO] [stderr]    Compiling vass-reachability v0.1.0 (/opt/rustwide/workdir)
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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<u32, u32> {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) 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<N: AutomatonNode, E: AutomatonEdge>(vass: &InitializedVASS<N, E>) {
[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 1m 12s
[INFO] running `Command { std: "docker" "inspect" "acb02e3a12222c62699971b99c2406b7a106af2c525a572fe261cbd7b8510142", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "acb02e3a12222c62699971b99c2406b7a106af2c525a572fe261cbd7b8510142", kill_on_drop: false }`
[INFO] [stdout] acb02e3a12222c62699971b99c2406b7a106af2c525a572fe261cbd7b8510142
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c2080be7871528b9e820d0b0f0812e179afbde4dd5fae746619491eef16cac86
[INFO] running `Command { std: "docker" "start" "-a" "c2080be7871528b9e820d0b0f0812e179afbde4dd5fae746619491eef16cac86", kill_on_drop: false }`
[INFO] [stderr]    Compiling vass-reachability v0.1.0 (/opt/rustwide/workdir)
[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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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<u32, u32> {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) 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<N: AutomatonNode, E: AutomatonEdge>(vass: &InitializedVASS<N, E>) {
[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 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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)]` (part of `#[warn(unused)]`) 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<u32, u32> {
[INFO] [stdout]    |    ^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) 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<N: AutomatonNode, E: AutomatonEdge>(vass: &InitializedVASS<N, E>) {
[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 `test` profile [unoptimized + debuginfo] target(s) in 7.89s
[INFO] running `Command { std: "docker" "inspect" "c2080be7871528b9e820d0b0f0812e179afbde4dd5fae746619491eef16cac86", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c2080be7871528b9e820d0b0f0812e179afbde4dd5fae746619491eef16cac86", kill_on_drop: false }`
[INFO] [stdout] c2080be7871528b9e820d0b0f0812e179afbde4dd5fae746619491eef16cac86
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2025-09-21" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] f8630e07705f2d80d5d9e9c4744eee30cb195531f567cd47b0b87ece2b0eb2d7
[INFO] running `Command { std: "docker" "start" "-a" "f8630e07705f2d80d5d9e9c4744eee30cb195531f567cd47b0b87ece2b0eb2d7", kill_on_drop: false }`
[INFO] [stderr] warning: unused imports: `logger::Logger` and `vass_z_reach::VASSZReachSolverOptions`
[INFO] [stderr]   --> src/main.rs:15:5
[INFO] [stderr]    |
[INFO] [stderr] 15 |     logger::Logger,
[INFO] [stderr]    |     ^^^^^^^^^^^^^^
[INFO] [stderr] 16 |     solver::{vass_reach::VASSReachSolverOptions, vass_z_reach::VASSZReachSolverOptions},
[INFO] [stderr]    |                                                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/main.rs:166:9
[INFO] [stderr]     |
[INFO] [stderr] 166 |     let mut cfg = init.to_cfg();
[INFO] [stderr]     |         ----^^^
[INFO] [stderr]     |         |
[INFO] [stderr]     |         help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `example` is never used
[INFO] [stderr]   --> src/main.rs:59:4
[INFO] [stderr]    |
[INFO] [stderr] 59 | fn example() -> InitializedVASS<u32, u32> {
[INFO] [stderr]    |    ^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `print_vass` is never used
[INFO] [stderr]   --> src/main.rs:75:4
[INFO] [stderr]    |
[INFO] [stderr] 75 | fn print_vass<N: AutomatonNode, E: AutomatonEdge>(vass: &InitializedVASS<N, E>) {
[INFO] [stderr]    |    ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `example2` is never used
[INFO] [stderr]   --> src/main.rs:87:4
[INFO] [stderr]    |
[INFO] [stderr] 87 | fn example2() {
[INFO] [stderr]    |    ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `example3` is never used
[INFO] [stderr]    --> src/main.rs:119:4
[INFO] [stderr]     |
[INFO] [stderr] 119 | fn example3() {
[INFO] [stderr]     |    ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `example4` is never used
[INFO] [stderr]    --> src/main.rs:151:4
[INFO] [stderr]     |
[INFO] [stderr] 151 | fn example4() {
[INFO] [stderr]     |    ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `initialized::InitializedVASS`
[INFO] [stderr]  --> tests/vass_reach_random.rs:9:22
[INFO] [stderr]   |
[INFO] [stderr] 9 |         vass::{VASS, initialized::InitializedVASS},
[INFO] [stderr]   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `p`
[INFO] [stderr]    --> tests/vass_reach_random.rs:177:17
[INFO] [stderr]     |
[INFO] [stderr] 177 |             for p in 0..dimension {
[INFO] [stderr]     |                 ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `options`
[INFO] [stderr]    --> tests/vass_reach_random.rs:238:9
[INFO] [stderr]     |
[INFO] [stderr] 238 |     let options = RandomOptions::default()
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_options`
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `options`
[INFO] [stderr]    --> tests/vass_reach_random.rs:251:9
[INFO] [stderr]     |
[INFO] [stderr] 251 |     let options = RandomOptions::default()
[INFO] [stderr]     |         ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_options`
[INFO] [stderr] 
[INFO] [stderr] warning: function `random_vass_test` is never used
[INFO] [stderr]    --> tests/vass_reach_random.rs:134:4
[INFO] [stderr]     |
[INFO] [stderr] 134 | fn random_vass_test(
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `vass-reachability` (bin "main") generated 7 warnings (run `cargo fix --bin "main"` to apply 2 suggestions)
[INFO] [stderr] warning: `vass-reachability` (test "vass_reach_random") generated 5 warnings (run `cargo fix --test "vass_reach_random"` to apply 1 suggestion)
[INFO] [stderr] warning: `vass-reachability` (bin "main" test) generated 7 warnings (7 duplicates)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.13s
[INFO] [stderr]      Running unittests src/lib/lib.rs (/opt/rustwide/target/debug/deps/vass_reachability-9807d4daf328b61d)
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/main-5578cf9d5d33d071)
[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] [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] [stderr]      Running tests/dfa.rs (/opt/rustwide/target/debug/deps/dfa-8912246dea2021b7)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test find_loop_2 ... ok
[INFO] [stdout] test find_loop_1 ... ok
[INFO] [stdout] test find_loops_1 ... ok
[INFO] [stdout] test test_dfa ... ok
[INFO] [stdout] test reverse_1 ... ok
[INFO] [stdout] test reverse_2 ... ok
[INFO] [stdout] test test_dfa_intersection_2 ... ok
[INFO] [stdout] test test_dfa_intersection ... ok
[INFO] [stdout] test test_dfa_intersection_3 ... ok
[INFO] [stdout] test test_dfa_inversion ... ok
[INFO] [stdout] test minimize_2 ... ok
[INFO] [stdout] test minimize_1 ... ok
[INFO] [stdout] test minimize_3 ... ok
[INFO] [stdout] test minimize_5 ... ok
[INFO] [stdout] test minimize_4 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.27s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dyck.rs (/opt/rustwide/target/debug/deps/dyck-0f25aaf5281d7e37)
[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] [stderr]      Running tests/ltc.rs (/opt/rustwide/target/debug/deps/ltc-df9fb5122b6532c5)
[INFO] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test ltc_n_reach_1 ... ok
[INFO] [stdout] test ltc_n_reach_3 ... ok
[INFO] [stdout] test ltc_n_reach_2 ... ok
[INFO] [stdout] test ltc_language_2 ... ok
[INFO] [stdout] test ltc_language_1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.43s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/modulo.rs (/opt/rustwide/target/debug/deps/modulo-63a79a973f5332e0)
[INFO] [stdout] 
[INFO] [stderr]      Running tests/nfa.rs (/opt/rustwide/target/debug/deps/nfa-ddca8f1e895b7551)
[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] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stderr]      Running tests/path.rs (/opt/rustwide/target/debug/deps/path-935b3762b2e5bd53)
[INFO] [stdout] test test_nfa_to_dfa_3 ... ok
[INFO] [stdout] test test_nfa_to_dfa_2 ... ok
[INFO] [stdout] test test_nfa_to_dfa ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test to_ltc ... ok
[INFO] [stdout] test to_ltc_3 ... ok
[INFO] [stdout] test to_ltc_2 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vass.rs (/opt/rustwide/target/debug/deps/vass-6294100031c6cd38)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stderr]      Running tests/vass_n_reach.rs (/opt/rustwide/target/debug/deps/vass_n_reach-e4bb8b8bee36ef92)
[INFO] [stdout] test test_vass_to_cfg ... ok
[INFO] [stdout] test test_vass ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_vass_n_reach_7 ... ok
[INFO] [stdout] test test_vass_n_reach_2 ... ok
[INFO] [stdout] test test_vass_n_reach_3 ... ok
[INFO] [stdout] test test_vass_n_reach_5 ... ok
[INFO] [stdout] test test_vass_n_reach_1 ... ok
[INFO] [stdout] test test_vass_n_reach_4 ... ok
[INFO] [stdout] test test_vass_n_reach_6 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.59s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vass_reach_random.rs (/opt/rustwide/target/debug/deps/vass_reach_random-4f80c81f45412f45)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_vass_reach_random ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- test_vass_reach_random stdout ----
[INFO] [stdout] 
[INFO] [stdout] Solving 1000 random Petri nets
[INFO] [stdout] places: 3
[INFO] [stdout] transitions: 3
[INFO] [stdout] max tokens per transition: 3
[INFO] [stdout] 
[INFO] [stdout] 0: False(())
[INFO] [stdout] 1: False(())
[INFO] [stdout] 2: False(())
[INFO] [stdout] 3: False(())
[INFO] [stdout] 4: False(())
[INFO] [stdout] 5: False(())
[INFO] [stdout] 6: False(())
[INFO] [stdout] 7: False(())
[INFO] [stdout] 8: False(())
[INFO] [stdout] 9: False(())
[INFO] [stdout] 10: False(())
[INFO] [stdout] 11: False(())
[INFO] [stdout] 12: False(())
[INFO] [stdout] 13: False(())
[INFO] [stdout] 14: False(())
[INFO] [stdout] 15: False(())
[INFO] [stdout] 16: False(())
[INFO] [stdout] 17: False(())
[INFO] [stdout] 18: False(())
[INFO] [stdout] 19: False(())
[INFO] [stdout] 20: False(())
[INFO] [stdout] 21: False(())
[INFO] [stdout] 22: False(())
[INFO] [stdout] 23: False(())
[INFO] [stdout] 24: False(())
[INFO] [stdout] 25: False(())
[INFO] [stdout] 26: False(())
[INFO] [stdout] 27: False(())
[INFO] [stdout] 28: False(())
[INFO] [stdout] 29: False(())
[INFO] [stdout] 30: False(())
[INFO] [stdout] 31: False(())
[INFO] [stdout] 32: False(())
[INFO] [stdout] 33: False(())
[INFO] [stdout] 34: False(())
[INFO] [stdout] 35: True(())
[INFO] [stdout] 36: False(())
[INFO] [stdout] 37: False(())
[INFO] [stdout] 38: False(())
[INFO] [stdout] 39: False(())
[INFO] [stdout] 40: False(())
[INFO] [stdout] 41: True(())
[INFO] [stdout] 42: True(())
[INFO] [stdout] 43: False(())
[INFO] [stdout] 44: False(())
[INFO] [stdout] 45: False(())
[INFO] [stdout] 46: False(())
[INFO] [stdout] 47: False(())
[INFO] [stdout] 48: False(())
[INFO] [stdout] 49: False(())
[INFO] [stdout] 50: True(())
[INFO] [stdout] 51: False(())
[INFO] [stdout] 52: False(())
[INFO] [stdout] 53: False(())
[INFO] [stdout] 54: False(())
[INFO] [stdout] 55: False(())
[INFO] [stdout] 56: False(())
[INFO] [stdout] 57: False(())
[INFO] [stdout] 58: False(())
[INFO] [stdout] 59: False(())
[INFO] [stdout] 60: False(())
[INFO] [stdout] 61: False(())
[INFO] [stdout] 62: False(())
[INFO] [stdout] 63: False(())
[INFO] [stdout] 64: False(())
[INFO] [stdout] 65: False(())
[INFO] [stdout] 66: False(())
[INFO] [stdout] 67: False(())
[INFO] [stdout] 68: False(())
[INFO] [stdout] 69: False(())
[INFO] [stdout] 70: False(())
[INFO] [stdout] 71: False(())
[INFO] [stdout] 72: False(())
[INFO] [stdout] 73: False(())
[INFO] [stdout] 74: False(())
[INFO] [stdout] 75: False(())
[INFO] [stdout] 76: False(())
[INFO] [stdout] 77: False(())
[INFO] [stdout] 78: False(())
[INFO] [stdout] 79: True(())
[INFO] [stdout] 80: False(())
[INFO] [stdout] 81: False(())
[INFO] [stdout] 82: False(())
[INFO] [stdout] 83: False(())
[INFO] [stdout] 84: False(())
[INFO] [stdout] 85: False(())
[INFO] [stdout] 86: False(())
[INFO] [stdout] 87: False(())
[INFO] [stdout] 88: False(())
[INFO] [stdout] 89: True(())
[INFO] [stdout] 90: False(())
[INFO] [stdout] 91: False(())
[INFO] [stdout] 92: True(())
[INFO] [stdout] 93: False(())
[INFO] [stdout] 94: False(())
[INFO] [stdout] 95: False(())
[INFO] [stdout] 96: False(())
[INFO] [stdout] 97: False(())
[INFO] [stdout] 98: False(())
[INFO] [stdout] 99: False(())
[INFO] [stdout] 100: False(())
[INFO] [stdout] 101: False(())
[INFO] [stdout] 102: False(())
[INFO] [stdout] 103: False(())
[INFO] [stdout] 104: False(())
[INFO] [stdout] 105: False(())
[INFO] [stdout] 106: False(())
[INFO] [stdout] 107: False(())
[INFO] [stdout] 108: False(())
[INFO] [stdout] 109: True(())
[INFO] [stdout] 110: False(())
[INFO] [stdout] 111: False(())
[INFO] [stdout] 112: False(())
[INFO] [stdout] 113: False(())
[INFO] [stdout] 114: False(())
[INFO] [stdout] 115: False(())
[INFO] [stdout] 116: False(())
[INFO] [stdout] 117: False(())
[INFO] [stdout] 118: False(())
[INFO] [stdout] 119: False(())
[INFO] [stdout] 120: False(())
[INFO] [stdout] 
[INFO] [stdout] thread 'test_vass_reach_random' (112) panicked at /opt/rustwide/workdir/src/lib/automaton/path/mod.rs:194:18:
[INFO] [stdout] attempt to subtract with overflow
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x5f6f6d242942 - std::backtrace_rs::backtrace::libunwind::trace::hcab59e1e990fdc24
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x5f6f6d242942 - std::backtrace_rs::backtrace::trace_unsynchronized::he24cc57f3d2f47b7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x5f6f6d242942 - std::sys::backtrace::_print_fmt::hf8d65ede198eeb54
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x5f6f6d242942 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h67edf0e4d33c343c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x5f6f6d25360f - core::fmt::rt::Argument::fmt::hef94184842aeafdd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x5f6f6d25360f - core::fmt::write::hcf0c66b48a8fa606
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x5f6f6d20f971 - std::io::default_write_fmt::h69967ac0ba93195f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x5f6f6d20f971 - std::io::Write::write_fmt::h8db9396209deaa1c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x5f6f6d21baf2 - std::sys::backtrace::BacktraceLock::print::h07e5435aa717b414
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x5f6f6d22083f - std::panicking::default_hook::{{closure}}::h91001850288db5f7
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:301:27
[INFO] [stdout]   10:     0x5f6f6d2206d1 - std::panicking::default_hook::h2346dbb704ef5512
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:325:9
[INFO] [stdout]   11:     0x5f6f6d1507ce - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h18383b2e29377420
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   12:     0x5f6f6d1507ce - test::test_main_with_exit_callback::{{closure}}::h272d7ef99aef06dc
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x5f6f6d220faf - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h6dba6e441651a0d1
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1999:9
[INFO] [stdout]   14:     0x5f6f6d220faf - std::panicking::panic_with_hook::hd2b063a6090d23a4
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:842:13
[INFO] [stdout]   15:     0x5f6f6d220d26 - std::panicking::panic_handler::{{closure}}::he666d95f139a333e
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:700:13
[INFO] [stdout]   16:     0x5f6f6d21bc29 - std::sys::backtrace::__rust_end_short_backtrace::h631ad224854ebee5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x5f6f6d2036fd - __rustc[1d67440d6e82e4f]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:698:5
[INFO] [stdout]   18:     0x5f6f6d25b3e0 - core::panicking::panic_fmt::h420ddb7fd73daf53
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x5f6f6d25af97 - core::panicking::panic_const::panic_const_sub_overflow::hbe2f8b42373cfcaa
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panicking.rs:175:17
[INFO] [stdout]   20:     0x5f6f6d0f02d7 - vass_reachability::automaton::path::Path::becomes_negative_reverse::hf9671792fc9bf3ce
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib/automaton/path/mod.rs:194:18
[INFO] [stdout]   21:     0x5f6f6d0e9aec - vass_reachability::solver::vass_reach::VASSReachSolver<N,E>::solve::h68657e31c588d2b8
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib/solver/vass_reach.rs:340:22
[INFO] [stdout]   22:     0x5f6f6d0e5ecf - vass_reach_random::random_petri_net_test::h3e34b78e22cb5341
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass_reach_random.rs:111:14
[INFO] [stdout]   23:     0x5f6f6d0e67b0 - vass_reach_random::test_vass_reach_random::h2fc3d030e18eca86
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass_reach_random.rs:236:5
[INFO] [stdout]   24:     0x5f6f6d0e6c07 - vass_reach_random::test_vass_reach_random::{{closure}}::h9ca104f82486857a
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass_reach_random.rs:224:28
[INFO] [stdout]   25:     0x5f6f6d108896 - core::ops::function::FnOnce::call_once::h0445f34cf87beb36
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   26:     0x5f6f6d15058b - core::ops::function::FnOnce::call_once::h70887edf07a630ba
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x5f6f6d15058b - test::__rust_begin_short_backtrace::h27763c4cbbdb8601
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:663:18
[INFO] [stdout]   28:     0x5f6f6d1661f5 - test::run_test_in_process::{{closure}}::h4dc8bc6d5e3924d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:74
[INFO] [stdout]   29:     0x5f6f6d1661f5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h75905e8ffe81974f
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   30:     0x5f6f6d1661f5 - std::panicking::catch_unwind::do_call::h0bc60366ba66eba5
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   31:     0x5f6f6d1661f5 - std::panicking::catch_unwind::hae1ec7bf94407afa
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   32:     0x5f6f6d1661f5 - std::panic::catch_unwind::h0f4ff4773d84d3cd
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x5f6f6d1661f5 - test::run_test_in_process::h03fbc77ae48b3f10
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:686:27
[INFO] [stdout]   34:     0x5f6f6d1661f5 - test::run_test::{{closure}}::h83476a9c453dc4d3
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:607:43
[INFO] [stdout]   35:     0x5f6f6d13c9e4 - test::run_test::{{closure}}::h515482ad1e7fe7de
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/test/src/lib.rs:637:41
[INFO] [stdout]   36:     0x5f6f6d13c9e4 - std::sys::backtrace::__rust_begin_short_backtrace::hed09f6ac5fe9d647
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   37:     0x5f6f6d1402aa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h988e2cd969319888
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   38:     0x5f6f6d1402aa - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hd70e28dc46ec20be
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   39:     0x5f6f6d1402aa - std::panicking::catch_unwind::do_call::hdc29e11311eb7655
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:590:40
[INFO] [stdout]   40:     0x5f6f6d1402aa - std::panicking::catch_unwind::h9e402d6a96fef41c
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panicking.rs:553:19
[INFO] [stdout]   41:     0x5f6f6d1402aa - std::panic::catch_unwind::h9213c0c54aec70e0
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x5f6f6d1402aa - std::thread::Builder::spawn_unchecked_::{{closure}}::h6262965869ed2b87
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   43:     0x5f6f6d1402aa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h05c05ed02619e462
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   44:     0x5f6f6d216d8f - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h2044e71c41d3958a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   45:     0x5f6f6d216d8f - std::sys::thread::unix::Thread::new::thread_start::hf277835320aa8e5a
[INFO] [stdout]                                at /rustc/bb624dcb4c8ab987e10c0808d92d76f3b84dd117/library/std/src/sys/thread/unix.rs:126:17
[INFO] [stdout]   46:     0x75d178ecbaa4 - <unknown>
[INFO] [stdout]   47:     0x75d178f58a34 - clone
[INFO] [stdout]   48:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     test_vass_reach_random
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 12.56s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test vass_reach_random`
[INFO] running `Command { std: "docker" "inspect" "f8630e07705f2d80d5d9e9c4744eee30cb195531f567cd47b0b87ece2b0eb2d7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f8630e07705f2d80d5d9e9c4744eee30cb195531f567cd47b0b87ece2b0eb2d7", kill_on_drop: false }`
[INFO] [stdout] f8630e07705f2d80d5d9e9c4744eee30cb195531f567cd47b0b87ece2b0eb2d7
