[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 1.90.0 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-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-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-1-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/mProjectsCode/vass-reachability on toolchain 1.90.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.90.0" "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" "+1.90.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[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-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:e90291280db7d1fac5b66fc6dad9f9662629e7365a55743daf9bdf73ebc4ea79" "/opt/rustwide/cargo-home/bin/cargo" "+1.90.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 7658bb43c5b63eef3095cc4b74c6822f3edd8f36c60d770e8b412abe439eba77
[INFO] running `Command { std: "docker" "start" "-a" "7658bb43c5b63eef3095cc4b74c6822f3edd8f36c60d770e8b412abe439eba77", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "7658bb43c5b63eef3095cc4b74c6822f3edd8f36c60d770e8b412abe439eba77", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7658bb43c5b63eef3095cc4b74c6822f3edd8f36c60d770e8b412abe439eba77", kill_on_drop: false }`
[INFO] [stdout] 7658bb43c5b63eef3095cc4b74c6822f3edd8f36c60d770e8b412abe439eba77
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=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" "+1.90.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 23b639c091a2924504be3a6da1399fd112d8a8f9ad3b5af290e189f27559f571
[INFO] running `Command { std: "docker" "start" "-a" "23b639c091a2924504be3a6da1399fd112d8a8f9ad3b5af290e189f27559f571", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.172
[INFO] [stderr]    Compiling proc-macro2 v1.0.95
[INFO] [stderr]    Compiling glob v0.3.2
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling libloading v0.8.6
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling zerocopy v0.8.24
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling bitflags v2.9.0
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling serde v1.0.219
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling hashbrown v0.15.2
[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 quote v1.0.40
[INFO] [stderr]    Compiling itertools v0.13.0
[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 petgraph v0.6.5
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[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)]` 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<u32, u32> {
[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<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" "23b639c091a2924504be3a6da1399fd112d8a8f9ad3b5af290e189f27559f571", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "23b639c091a2924504be3a6da1399fd112d8a8f9ad3b5af290e189f27559f571", kill_on_drop: false }`
[INFO] [stdout] 23b639c091a2924504be3a6da1399fd112d8a8f9ad3b5af290e189f27559f571
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=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" "+1.90.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f5b0650e4b021747f1d43c61714598e3538af7babd9807903fbb4578a0e9d215
[INFO] running `Command { std: "docker" "start" "-a" "f5b0650e4b021747f1d43c61714598e3538af7babd9807903fbb4578a0e9d215", kill_on_drop: false }`
[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<u32, u32> {
[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<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]    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)]` on by default
[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)]` 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<u32, u32> {
[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<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 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] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 7.89s
[INFO] running `Command { std: "docker" "inspect" "f5b0650e4b021747f1d43c61714598e3538af7babd9807903fbb4578a0e9d215", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f5b0650e4b021747f1d43c61714598e3538af7babd9807903fbb4578a0e9d215", kill_on_drop: false }`
[INFO] [stdout] f5b0650e4b021747f1d43c61714598e3538af7babd9807903fbb4578a0e9d215
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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=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" "+1.90.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] ba6af11be236706a01ef0cecc81e2c7ea8fccde364bfc0b574ac05e8dbf65d17
[INFO] running `Command { std: "docker" "start" "-a" "ba6af11be236706a01ef0cecc81e2c7ea8fccde364bfc0b574ac05e8dbf65d17", 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)]` 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)]` 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)]` 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: `vass-reachability` (bin "main") generated 7 warnings (run `cargo fix --bin "main"` to apply 2 suggestions)
[INFO] [stderr] warning: `vass-reachability` (bin "main" test) generated 7 warnings (7 duplicates)
[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)]` 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)]` 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)]` on by default
[INFO] [stderr] 
[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]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.14s
[INFO] [stderr]      Running unittests src/lib/lib.rs (/opt/rustwide/target/debug/deps/vass_reachability-79b83cfae833d6ac)
[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 unittests src/main.rs (/opt/rustwide/target/debug/deps/main-018e612059cf024a)
[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-17a3d864aa918aec)
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test find_loop_1 ... ok
[INFO] [stdout] test find_loop_2 ... ok
[INFO] [stdout] test find_loops_1 ... ok
[INFO] [stdout] test minimize_3 ... ok
[INFO] [stdout] test reverse_1 ... ok
[INFO] [stdout] test reverse_2 ... ok
[INFO] [stdout] test test_dfa ... ok
[INFO] [stdout] test test_dfa_intersection ... ok
[INFO] [stdout] test test_dfa_intersection_2 ... 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] [stderr]      Running tests/dyck.rs (/opt/rustwide/target/debug/deps/dyck-ac8e59e169b6c59f)
[INFO] [stderr]      Running tests/ltc.rs (/opt/rustwide/target/debug/deps/ltc-debf3aaf7ae5c1e8)
[INFO] [stdout] test minimize_4 ... ok
[INFO] [stdout] test minimize_5 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.24s
[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] [stdout] 
[INFO] [stdout] running 5 tests
[INFO] [stdout] test ltc_n_reach_2 ... ok
[INFO] [stdout] test ltc_language_2 ... ok
[INFO] [stdout] test ltc_n_reach_1 ... ok
[INFO] [stdout] test ltc_n_reach_3 ... 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.34s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/modulo.rs (/opt/rustwide/target/debug/deps/modulo-435e096cbcf80aa4)
[INFO] [stderr]      Running tests/nfa.rs (/opt/rustwide/target/debug/deps/nfa-03234509be8f0515)
[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 3 tests
[INFO] [stdout] test test_nfa_to_dfa ... ok
[INFO] [stdout] test test_nfa_to_dfa_2 ... ok
[INFO] [stdout] test test_nfa_to_dfa_3 ... 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] [stderr]      Running tests/path.rs (/opt/rustwide/target/debug/deps/path-45111d27ba97da41)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test to_ltc_2 ... ok
[INFO] [stdout] test to_ltc_3 ... ok
[INFO] [stdout] test to_ltc ... 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-f750e693063afad5)
[INFO] [stdout] 
[INFO] [stdout] running 2 tests
[INFO] [stdout] test test_vass ... ok
[INFO] [stdout] test test_vass_to_cfg ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vass_n_reach.rs (/opt/rustwide/target/debug/deps/vass_n_reach-70f6465ad568a666)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test test_vass_n_reach_2 ... ok
[INFO] [stdout] test test_vass_n_reach_4 ... ok
[INFO] [stdout] test test_vass_n_reach_7 ... ok
[INFO] [stdout] test test_vass_n_reach_5 ... ok
[INFO] [stdout] test test_vass_n_reach_3 ... ok
[INFO] [stdout] test test_vass_n_reach_1 ... 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.78s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vass_reach_random.rs (/opt/rustwide/target/debug/deps/vass_reach_random-c5078724027ceee0)
[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' 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:     0x58263b375ae2 - std::backtrace_rs::backtrace::libunwind::trace::h2d45396358f41939
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x58263b375ae2 - std::backtrace_rs::backtrace::trace_unsynchronized::hffcefc0b67f1d6e2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x58263b375ae2 - std::sys::backtrace::_print_fmt::hd72f71d23b436b92
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x58263b375ae2 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hdcfcb6d4c8489523
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x58263b39b833 - core::fmt::rt::Argument::fmt::h2c56b3114963061a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/rt.rs:173:76
[INFO] [stdout]    5:     0x58263b39b833 - core::fmt::write::h8a494366950f23bb
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/fmt/mod.rs:1468:25
[INFO] [stdout]    6:     0x58263b3729a3 - std::io::default_write_fmt::h7b8824096454f323
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x58263b3729a3 - std::io::Write::write_fmt::h4e71294925c334d0
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/io/mod.rs:1954:13
[INFO] [stdout]    8:     0x58263b375932 - std::sys::backtrace::BacktraceLock::print::hb2a626a81e06b2dc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    9:     0x58263b377069 - std::panicking::default_hook::{{closure}}::h4f78485264f12d10
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:300:27
[INFO] [stdout]   10:     0x58263b376e9e - std::panicking::default_hook::h2c66fc99e962531d
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:324:9
[INFO] [stdout]   11:     0x58263b2b1414 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hb6bd65493727d71a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   12:     0x58263b2b1414 - test::test_main_with_exit_callback::{{closure}}::h60217ec76a0ece4a
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x58263b377b3e - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h318e4efb8c1a5689
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1985:9
[INFO] [stdout]   14:     0x58263b377b3e - std::panicking::rust_panic_with_hook::h33ac55f64bbd807d
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:841:13
[INFO] [stdout]   15:     0x58263b3777d6 - std::panicking::begin_panic_handler::{{closure}}::h30e7cb89678a57fe
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:699:13
[INFO] [stdout]   16:     0x58263b375fe9 - std::sys::backtrace::__rust_end_short_backtrace::hed60f27456c16ced
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:174:18
[INFO] [stdout]   17:     0x58263b37749d - __rustc[de2ca18b4c54d5b8]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:697:5
[INFO] [stdout]   18:     0x58263b39a250 - core::panicking::panic_fmt::h62f63d096dd276af
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:75:14
[INFO] [stdout]   19:     0x58263b3a0617 - core::panicking::panic_const::panic_const_sub_overflow::h4b52efde242bf2e9
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panicking.rs:175:17
[INFO] [stdout]   20:     0x58263b23ee17 - vass_reachability::automaton::path::Path::becomes_negative_reverse::haa6edd57e03a4c3d
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib/automaton/path/mod.rs:194:18
[INFO] [stdout]   21:     0x58263b23877b - vass_reachability::solver::vass_reach::VASSReachSolver<N,E>::solve::ha96115a0c6a3429a
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib/solver/vass_reach.rs:340:22
[INFO] [stdout]   22:     0x58263b240daf - vass_reach_random::random_petri_net_test::h5f0d29720066c782
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass_reach_random.rs:111:14
[INFO] [stdout]   23:     0x58263b2416c0 - vass_reach_random::test_vass_reach_random::h115bbfa2334eb003
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass_reach_random.rs:236:5
[INFO] [stdout]   24:     0x58263b2414e7 - vass_reach_random::test_vass_reach_random::{{closure}}::hce42f684ab8dc4b4
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass_reach_random.rs:224:28
[INFO] [stdout]   25:     0x58263b250736 - core::ops::function::FnOnce::call_once::h2c51b09c4d92202d
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   26:     0x58263b2b6c7b - core::ops::function::FnOnce::call_once::h1f9474f1347fff52
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   27:     0x58263b2b6c7b - test::__rust_begin_short_backtrace::ha52ab26e77157f03
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:648:18
[INFO] [stdout]   28:     0x58263b2b5db5 - test::run_test_in_process::{{closure}}::h229c1a11a50b261f
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:671:74
[INFO] [stdout]   29:     0x58263b2b5db5 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h78821afbf97b39a9
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   30:     0x58263b2b5db5 - std::panicking::catch_unwind::do_call::h53abf3ed5bd32ba3
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40
[INFO] [stdout]   31:     0x58263b2b5db5 - std::panicking::catch_unwind::h6deb5fe1e91873c9
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19
[INFO] [stdout]   32:     0x58263b2b5db5 - std::panic::catch_unwind::hea0829b6b565654b
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14
[INFO] [stdout]   33:     0x58263b2b5db5 - test::run_test_in_process::hdc44dfecea3db21b
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:671:27
[INFO] [stdout]   34:     0x58263b2b5db5 - test::run_test::{{closure}}::h0364ba59bf23f652
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:592:43
[INFO] [stdout]   35:     0x58263b2799b4 - test::run_test::{{closure}}::h32730b304eec05da
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/test/src/lib.rs:622:41
[INFO] [stdout]   36:     0x58263b2799b4 - std::sys::backtrace::__rust_begin_short_backtrace::h177cb952fc54ad2c
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/backtrace.rs:158:18
[INFO] [stdout]   37:     0x58263b27d38a - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h119d903520007597
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   38:     0x58263b27d38a - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hab88401d606702a6
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   39:     0x58263b27d38a - std::panicking::catch_unwind::do_call::h163fe12cca9901c2
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:589:40
[INFO] [stdout]   40:     0x58263b27d38a - std::panicking::catch_unwind::he81557d0e17cc1bc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panicking.rs:552:19
[INFO] [stdout]   41:     0x58263b27d38a - std::panic::catch_unwind::hc2b8e79c20593955
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/panic.rs:359:14
[INFO] [stdout]   42:     0x58263b27d38a - std::thread::Builder::spawn_unchecked_::{{closure}}::hfa6b4978e07815cc
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   43:     0x58263b27d38a - core::ops::function::FnOnce::call_once{{vtable.shim}}::hddcd7484a13fd793
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/core/src/ops/function.rs:253:5
[INFO] [stdout]   44:     0x58263b37abbf - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h5924238c754de3b8
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/alloc/src/boxed.rs:1971:9
[INFO] [stdout]   45:     0x58263b37abbf - std::sys::pal::unix::thread::Thread::new::thread_start::hb6e99e73da4d28f8
[INFO] [stdout]                                at /rustc/1159e78c4747b02ef996e55082b704c09b970588/library/std/src/sys/pal/unix/thread.rs:107:17
[INFO] [stdout]   46:     0x786d6d544aa4 - <unknown>
[INFO] [stdout]   47:     0x786d6d5d1a34 - 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 10.33s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test vass_reach_random`
[INFO] running `Command { std: "docker" "inspect" "ba6af11be236706a01ef0cecc81e2c7ea8fccde364bfc0b574ac05e8dbf65d17", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ba6af11be236706a01ef0cecc81e2c7ea8fccde364bfc0b574ac05e8dbf65d17", kill_on_drop: false }`
[INFO] [stdout] ba6af11be236706a01ef0cecc81e2c7ea8fccde364bfc0b574ac05e8dbf65d17
