[INFO] cloning repository https://github.com/roma-glushko/party
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/roma-glushko/party" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Froma-glushko%2Fparty", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Froma-glushko%2Fparty'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9f94bf4f729dcfd6df17c0239a3b07d83120130e
[INFO] testing roma-glushko/party against try#33835004928d3bf65db4d4712e1330766263b0bd for pr-155739
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Froma-glushko%2Fparty" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] removed /workspace/builds/worker-4-tc2/source/.cargo/config.toml
[INFO] started tweaking git repo https://github.com/roma-glushko/party
[INFO] finished tweaking git repo https://github.com/roma-glushko/party
[INFO] tweaked toml for git repo https://github.com/roma-glushko/party written to /workspace/builds/worker-4-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/roma-glushko/party on toolchain 33835004928d3bf65db4d4712e1330766263b0bd
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/roma-glushko/party 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" "+33835004928d3bf65db4d4712e1330766263b0bd" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8e27791d85dccfe738d052df22a5f62867771d6bc242bbf4bae30f3b78d8ea73
[INFO] running `Command { std: "docker" "start" "-a" "8e27791d85dccfe738d052df22a5f62867771d6bc242bbf4bae30f3b78d8ea73", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8e27791d85dccfe738d052df22a5f62867771d6bc242bbf4bae30f3b78d8ea73", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8e27791d85dccfe738d052df22a5f62867771d6bc242bbf4bae30f3b78d8ea73", kill_on_drop: false }`
[INFO] [stdout] 8e27791d85dccfe738d052df22a5f62867771d6bc242bbf4bae30f3b78d8ea73
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 166c1d8c27dc0cf0e213b3eb6b66a781906141c1922e94d8ff1131ab4a3f1a3a
[INFO] running `Command { std: "docker" "start" "-a" "166c1d8c27dc0cf0e213b3eb6b66a781906141c1922e94d8ff1131ab4a3f1a3a", kill_on_drop: false }`
[INFO] [stderr]    Compiling memchr v2.8.0
[INFO] [stderr]    Compiling unicode-ident v1.0.24
[INFO] [stderr]    Compiling quote v1.0.45
[INFO] [stderr]    Compiling libc v0.2.183
[INFO] [stderr]    Compiling anstyle v1.0.14
[INFO] [stderr]    Compiling colorchoice v1.0.5
[INFO] [stderr]    Compiling object v0.37.3
[INFO] [stderr]    Compiling regex-syntax v0.8.10
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling rustix v1.1.4
[INFO] [stderr]    Compiling gimli v0.32.3
[INFO] [stderr]    Compiling adler2 v2.0.1
[INFO] [stderr]    Compiling miniz_oxide v0.8.9
[INFO] [stderr]    Compiling anstyle-parse v1.0.0
[INFO] [stderr]    Compiling aho-corasick v1.1.4
[INFO] [stderr]    Compiling syn v2.0.117
[INFO] [stderr]    Compiling rustc-demangle v0.1.27
[INFO] [stderr]    Compiling owo-colors v4.3.0
[INFO] [stderr]    Compiling fnv v1.0.7
[INFO] [stderr]    Compiling rand_core v0.10.0
[INFO] [stderr]    Compiling getrandom v0.4.2
[INFO] [stderr]    Compiling linux-raw-sys v0.12.1
[INFO] [stderr]    Compiling anstream v1.0.0
[INFO] [stderr]    Compiling is_ci v1.2.0
[INFO] [stderr]    Compiling regex-automata v0.4.14
[INFO] [stderr]    Compiling addr2line v0.25.1
[INFO] [stderr]    Compiling cpufeatures v0.3.0
[INFO] [stderr]    Compiling unicode-linebreak v0.1.5
[INFO] [stderr]    Compiling clap_lex v1.1.0
[INFO] [stderr]    Compiling unicode-width v0.2.2
[INFO] [stderr]    Compiling clap_builder v4.6.0
[INFO] [stderr]    Compiling chacha20 v0.10.0
[INFO] [stderr]    Compiling textwrap v0.16.2
[INFO] [stderr]    Compiling terminal_size v0.4.3
[INFO] [stderr]    Compiling supports-color v3.0.2
[INFO] [stderr]    Compiling anstream v0.6.21
[INFO] [stderr]    Compiling supports-unicode v3.0.0
[INFO] [stderr]    Compiling jiff v0.2.23
[INFO] [stderr]    Compiling supports-hyperlinks v3.2.0
[INFO] [stderr]    Compiling indexmap v2.13.0
[INFO] [stderr]    Compiling regex v1.12.3
[INFO] [stderr]    Compiling backtrace v0.3.76
[INFO] [stderr]    Compiling env_filter v1.0.0
[INFO] [stderr]    Compiling rand v0.10.0
[INFO] [stderr]    Compiling miette-derive v7.6.0
[INFO] [stderr]    Compiling thiserror-impl v2.0.18
[INFO] [stderr]    Compiling logos-codegen v0.16.1
[INFO] [stderr]    Compiling backtrace-ext v0.2.1
[INFO] [stderr]    Compiling clap_derive v4.6.0
[INFO] [stderr]    Compiling miette v7.6.0
[INFO] [stderr]    Compiling thiserror v2.0.18
[INFO] [stderr]    Compiling smol_str v0.3.6
[INFO] [stderr]    Compiling logos-derive v0.16.1
[INFO] [stderr]    Compiling logos v0.16.1
[INFO] [stderr]    Compiling env_logger v0.11.9
[INFO] [stderr]    Compiling clap v4.6.0
[INFO] [stderr]    Compiling party v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused variable: `bool_backtracked`
[INFO] [stdout]    --> src/checker/scheduler.rs:155:13
[INFO] [stdout]     |
[INFO] [stdout] 155 |         let bool_backtracked = Self::backtrack_generic(&mut self.bool_nondet_stack);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bool_backtracked`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `int_backtracked`
[INFO] [stdout]    --> src/checker/scheduler.rs:158:13
[INFO] [stdout]     |
[INFO] [stdout] 158 |         let int_backtracked = Self::backtrack_generic(&mut self.int_nondet_stack);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_int_backtracked`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/compiler/formatter.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let mut prev_end: usize = 0;
[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: unused variable: `prev_end`
[INFO] [stdout]    --> src/compiler/formatter.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let mut prev_end: usize = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prev_end`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `active_locals` is never read
[INFO] [stdout]   --> src/checker/runtime.rs:89:5
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub struct Runtime {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 89 |     active_locals: HashSet<String>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `sync_env_to_fields_excluding` is never used
[INFO] [stdout]     --> src/checker/runtime.rs:1037:8
[INFO] [stdout]      |
[INFO] [stdout]  142 | impl Runtime {
[INFO] [stdout]      | ------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1037 |     fn sync_env_to_fields_excluding(&mut self, id: usize, env: &HashMap<String, PValue>, exclude: &HashSet<String>) {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `end` is never read
[INFO] [stdout]   --> src/compiler/formatter.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | struct Comment {
[INFO] [stdout]    |        ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 34 |     end: usize,     // byte offset
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Comment` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `source` is never read
[INFO] [stdout]    --> src/compiler/formatter.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout]  96 | struct Formatter {
[INFO] [stdout]     |        --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 101 |     source: String,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 1m 12s
[INFO] running `Command { std: "docker" "inspect" "166c1d8c27dc0cf0e213b3eb6b66a781906141c1922e94d8ff1131ab4a3f1a3a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "166c1d8c27dc0cf0e213b3eb6b66a781906141c1922e94d8ff1131ab4a3f1a3a", kill_on_drop: false }`
[INFO] [stdout] 166c1d8c27dc0cf0e213b3eb6b66a781906141c1922e94d8ff1131ab4a3f1a3a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3f96abbb08613b8bcb260e013622324290305bd7c292ed556bc20cc46343388c
[INFO] running `Command { std: "docker" "start" "-a" "3f96abbb08613b8bcb260e013622324290305bd7c292ed556bc20cc46343388c", kill_on_drop: false }`
[INFO] [stderr]    Compiling serde_core v1.0.228
[INFO] [stderr]    Compiling serde_json v1.0.149
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling itoa v1.0.17
[INFO] [stdout] warning: unused variable: `bool_backtracked`
[INFO] [stdout]    --> src/checker/scheduler.rs:155:13
[INFO] [stdout]     |
[INFO] [stdout] 155 |         let bool_backtracked = Self::backtrack_generic(&mut self.bool_nondet_stack);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bool_backtracked`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `int_backtracked`
[INFO] [stdout]    --> src/checker/scheduler.rs:158:13
[INFO] [stdout]     |
[INFO] [stdout] 158 |         let int_backtracked = Self::backtrack_generic(&mut self.int_nondet_stack);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_int_backtracked`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/compiler/formatter.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let mut prev_end: usize = 0;
[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: unused variable: `prev_end`
[INFO] [stdout]    --> src/compiler/formatter.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let mut prev_end: usize = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prev_end`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `active_locals` is never read
[INFO] [stdout]   --> src/checker/runtime.rs:89:5
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub struct Runtime {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 89 |     active_locals: HashSet<String>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `sync_env_to_fields_excluding` is never used
[INFO] [stdout]     --> src/checker/runtime.rs:1037:8
[INFO] [stdout]      |
[INFO] [stdout]  142 | impl Runtime {
[INFO] [stdout]      | ------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1037 |     fn sync_env_to_fields_excluding(&mut self, id: usize, env: &HashMap<String, PValue>, exclude: &HashSet<String>) {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `end` is never read
[INFO] [stdout]   --> src/compiler/formatter.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | struct Comment {
[INFO] [stdout]    |        ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 34 |     end: usize,     // byte offset
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Comment` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `source` is never read
[INFO] [stdout]    --> src/compiler/formatter.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout]  96 | struct Formatter {
[INFO] [stdout]     |        --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 101 |     source: String,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling party v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `std::path::Path`
[INFO] [stdout]  --> tests/replay.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::path::Path;
[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 import: `std::path::Path`
[INFO] [stdout]  --> tests/trace.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use std::path::Path;
[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: `bool_backtracked`
[INFO] [stdout]    --> src/checker/scheduler.rs:155:13
[INFO] [stdout]     |
[INFO] [stdout] 155 |         let bool_backtracked = Self::backtrack_generic(&mut self.bool_nondet_stack);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bool_backtracked`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `int_backtracked`
[INFO] [stdout]    --> src/checker/scheduler.rs:158:13
[INFO] [stdout]     |
[INFO] [stdout] 158 |         let int_backtracked = Self::backtrack_generic(&mut self.int_nondet_stack);
[INFO] [stdout]     |             ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_int_backtracked`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> src/compiler/formatter.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let mut prev_end: usize = 0;
[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: unused variable: `prev_end`
[INFO] [stdout]    --> src/compiler/formatter.rs:200:13
[INFO] [stdout]     |
[INFO] [stdout] 200 |         let mut prev_end: usize = 0;
[INFO] [stdout]     |             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prev_end`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `active_locals` is never read
[INFO] [stdout]   --> src/checker/runtime.rs:89:5
[INFO] [stdout]    |
[INFO] [stdout] 59 | pub struct Runtime {
[INFO] [stdout]    |            ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 89 |     active_locals: HashSet<String>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `sync_env_to_fields_excluding` is never used
[INFO] [stdout]     --> src/checker/runtime.rs:1037:8
[INFO] [stdout]      |
[INFO] [stdout]  142 | impl Runtime {
[INFO] [stdout]      | ------------ method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 1037 |     fn sync_env_to_fields_excluding(&mut self, id: usize, env: &HashMap<String, PValue>, exclude: &HashSet<String>) {
[INFO] [stdout]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `end` is never read
[INFO] [stdout]   --> src/compiler/formatter.rs:34:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | struct Comment {
[INFO] [stdout]    |        ------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 34 |     end: usize,     // byte offset
[INFO] [stdout]    |     ^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `Comment` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `source` is never read
[INFO] [stdout]    --> src/compiler/formatter.rs:101:5
[INFO] [stdout]     |
[INFO] [stdout]  96 | struct Formatter {
[INFO] [stdout]     |        --------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 101 |     source: String,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 14.08s
[INFO] running `Command { std: "docker" "inspect" "3f96abbb08613b8bcb260e013622324290305bd7c292ed556bc20cc46343388c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3f96abbb08613b8bcb260e013622324290305bd7c292ed556bc20cc46343388c", kill_on_drop: false }`
[INFO] [stdout] 3f96abbb08613b8bcb260e013622324290305bd7c292ed556bc20cc46343388c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-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=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+33835004928d3bf65db4d4712e1330766263b0bd" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b37c7664bd97436c34355eef1ebef3198cd3dc5762b1b0c47f14654b89e87d40
[INFO] running `Command { std: "docker" "start" "-a" "b37c7664bd97436c34355eef1ebef3198cd3dc5762b1b0c47f14654b89e87d40", kill_on_drop: false }`
[INFO] [stderr] warning: unused variable: `bool_backtracked`
[INFO] [stderr]    --> src/checker/scheduler.rs:155:13
[INFO] [stderr]     |
[INFO] [stderr] 155 |         let bool_backtracked = Self::backtrack_generic(&mut self.bool_nondet_stack);
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_bool_backtracked`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `int_backtracked`
[INFO] [stderr]    --> src/checker/scheduler.rs:158:13
[INFO] [stderr]     |
[INFO] [stderr] 158 |         let int_backtracked = Self::backtrack_generic(&mut self.int_nondet_stack);
[INFO] [stderr]     |             ^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_int_backtracked`
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> src/compiler/formatter.rs:200:13
[INFO] [stderr]     |
[INFO] [stderr] 200 |         let mut prev_end: usize = 0;
[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: unused variable: `prev_end`
[INFO] [stderr]    --> src/compiler/formatter.rs:200:13
[INFO] [stderr]     |
[INFO] [stderr] 200 |         let mut prev_end: usize = 0;
[INFO] [stderr]     |             ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_prev_end`
[INFO] [stderr] 
[INFO] [stderr] warning: field `active_locals` is never read
[INFO] [stderr]   --> src/checker/runtime.rs:89:5
[INFO] [stderr]    |
[INFO] [stderr] 59 | pub struct Runtime {
[INFO] [stderr]    |            ------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 89 |     active_locals: HashSet<String>,
[INFO] [stderr]    |     ^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `sync_env_to_fields_excluding` is never used
[INFO] [stderr]     --> src/checker/runtime.rs:1037:8
[INFO] [stderr]      |
[INFO] [stderr]  142 | impl Runtime {
[INFO] [stderr]      | ------------ method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 1037 |     fn sync_env_to_fields_excluding(&mut self, id: usize, env: &HashMap<String, PValue>, exclude: &HashSet<String>) {
[INFO] [stderr]      |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `end` is never read
[INFO] [stderr]   --> src/compiler/formatter.rs:34:5
[INFO] [stderr]    |
[INFO] [stderr] 31 | struct Comment {
[INFO] [stderr]    |        ------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 34 |     end: usize,     // byte offset
[INFO] [stderr]    |     ^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `Comment` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr] 
[INFO] [stderr] warning: field `source` is never read
[INFO] [stderr]    --> src/compiler/formatter.rs:101:5
[INFO] [stderr]     |
[INFO] [stderr]  96 | struct Formatter {
[INFO] [stderr]     |        --------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 101 |     source: String,
[INFO] [stderr]     |     ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `party` (lib) generated 8 warnings (run `cargo fix --lib -p party` to apply 4 suggestions)
[INFO] [stderr] warning: unused import: `std::path::Path`
[INFO] [stderr]  --> tests/replay.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::path::Path;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `std::path::Path`
[INFO] [stderr]  --> tests/trace.rs:1:5
[INFO] [stderr]   |
[INFO] [stderr] 1 | use std::path::Path;
[INFO] [stderr]   |     ^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `party` (test "replay") generated 1 warning (run `cargo fix --test "replay" -p party` to apply 1 suggestion)
[INFO] [stderr] warning: `party` (lib test) generated 8 warnings (8 duplicates)
[INFO] [stderr] warning: `party` (test "trace") generated 1 warning (run `cargo fix --test "trace" -p party` to apply 1 suggestion)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.26s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/party-296335c1a8fc3ad7)
[INFO] [stdout] 
[INFO] [stdout] running 7 tests
[INFO] [stdout] test compiler::lexer::tests::lex_string_literal ... ok
[INFO] [stdout] test compiler::lexer::tests::lex_nondet ... ok
[INFO] [stdout] test compiler::lexer::tests::lex_simple_machine ... ok
[INFO] [stdout] test compiler::parser::tests::parse_simple_machine ... ok
[INFO] [stdout] test compiler::parser::tests::parse_spec_monitor ... ok
[INFO] [stdout] test compiler::lexer::tests::lex_all_testdata ... ok
[INFO] [stdout] test compiler::parser::tests::parse_all_correct_and_dynamic_error_testdata ... ok
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/party-12c2cae4fc3cb35f)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 7 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[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/formatter.rs (/opt/rustwide/target/debug/deps/formatter-f7cd7b0384a1f290)
[INFO] [stdout] 
[INFO] [stdout] running 57 tests
[INFO] [stdout] test format_assert_with_message ... ok
[INFO] [stdout] test format_announce ... ok
[INFO] [stdout] test format_break_continue ... ok
[INFO] [stdout] test format_cast ... ok
[INFO] [stdout] test format_choose_expr ... ok
[INFO] [stdout] test format_builtin_functions ... ok
[INFO] [stdout] test format_defer_ignore ... ok
[INFO] [stdout] test format_complex_expression ... ok
[INFO] [stdout] test format_default_expr ... ok
[INFO] [stdout] test format_collection_ops ... ok
[INFO] [stdout] test format_exit_handler ... ok
[INFO] [stdout] test format_format_string ... ok
[INFO] [stdout] test format_function ... ok
[INFO] [stdout] test format_function_no_params ... ok
[INFO] [stdout] test format_function_no_return_type ... ok
[INFO] [stdout] test format_global_param ... ok
[INFO] [stdout] test format_goto_with_named ... ok
[INFO] [stdout] test format_hot_cold_states ... ok
[INFO] [stdout] test format_if_while_foreach ... ok
[INFO] [stdout] test format_in_operator ... ok
[INFO] [stdout] test format_entry_with_payload ... ok
[INFO] [stdout] test format_enum ... ok
[INFO] [stdout] test format_event_no_payload ... ok
[INFO] [stdout] test format_eventset_decl ... ok
[INFO] [stdout] test format_foreign_type ... ok
[INFO] [stdout] test format_interface_decl ... ok
[INFO] [stdout] test format_idempotent_on_testdata ... ok
[INFO] [stdout] test format_module_bindings ... ok
[INFO] [stdout] test format_machine_receives_sends ... ok
[INFO] [stdout] test format_module_test ... ok
[INFO] [stdout] test format_module_compose ... ok
[INFO] [stdout] test format_multiple_events_on_handler ... ok
[INFO] [stdout] test format_negation ... ok
[INFO] [stdout] test format_named_entry_function ... ok
[INFO] [stdout] test format_nested_lvalue ... ok
[INFO] [stdout] test format_nondet_fairnondet ... ok
[INFO] [stdout] test format_named_tuple_expr ... ok
[INFO] [stdout] test format_numbered_enum ... ok
[INFO] [stdout] test format_on_event_do_named ... ok
[INFO] [stdout] test format_raise_halt ... ok
[INFO] [stdout] test format_preserves_blank_lines_between_kinds ... ok
[INFO] [stdout] test format_return_no_value ... ok
[INFO] [stdout] test format_receive ... ok
[INFO] [stdout] test format_send_raise_goto ... ok
[INFO] [stdout] test format_preserves_semantic_meaning ... ok
[INFO] [stdout] test style_2_space_indent ... ok
[INFO] [stdout] test style_named_tuple_no_trailing_comma ... ok
[INFO] [stdout] test style_no_space_before_colon_in_params ... ok
[INFO] [stdout] test format_typedef ... ok
[INFO] [stdout] test style_blank_line_before_on_handlers ... ok
[INFO] [stdout] test format_spec_monitor ... ok
[INFO] [stdout] test format_simple_event ... ok
[INFO] [stdout] test format_simple_machine ... ok
[INFO] [stdout] test style_short_handler_inline ... ok
[INFO] [stdout] test style_no_space_before_colon_in_event_payload ... ok
[INFO] [stdout] test style_user_example ... ok
[INFO] [stdout] test format_all_parseable_testdata ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 57 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.29s
[INFO] [stderr]      Running tests/regression.rs (/opt/rustwide/target/debug/deps/regression-b5f9b8b7857f7dca)
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 412 tests
[INFO] [stdout] test combined_static_error::control_impure_enclosed_fun_calls ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_exit1 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_exit4 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_exit2 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_exit6 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_goto2 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_exit3 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_goto4 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_goto5 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_exit5 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_goto7 ... ok
[INFO] [stdout] test combined_static_error::duplicate_start ... ok
[INFO] [stdout] test combined_static_error::duplicate_actions ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_goto1 ... ok
[INFO] [stdout] test combined_static_error::duplicates2 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_goto6 ... ok
[INFO] [stdout] test combined_static_error::duplicates10 ... ok
[INFO] [stdout] test combined_static_error::control_impure_in_goto3 ... ok
[INFO] [stdout] test combined_static_error::duplicate_transitions ... ok
[INFO] [stdout] test combined_static_error::duplicates4 ... ok
[INFO] [stdout] test combined_static_error::duplicates3 ... ok
[INFO] [stdout] test combined_static_error::duplicates6 ... ok
[INFO] [stdout] test combined_static_error::duplicates8 ... ok
[INFO] [stdout] test combined_static_error::duplicates7 ... ok
[INFO] [stdout] test combined_static_error::duplicates9 ... ok
[INFO] [stdout] test combined_static_error::function_not_defined ... ok
[INFO] [stdout] test combined_static_error::pop_in_exit_fun ... ok
[INFO] [stdout] test combined_static_error::raise_in_exit_fun ... ok
[INFO] [stdout] test combined_static_error::duplicates1 ... ok
[INFO] [stdout] test combined_correct::null_payload ... ok
[INFO] [stdout] test combined_static_error::duplicates5 ... ok
[INFO] [stdout] test combined_correct::variable_type ... ok
[INFO] [stdout] test feature1_correct::bug1 ... ok
[INFO] [stdout] test feature1_correct::entry_named_function ... ok
[INFO] [stdout] test feature1_correct::monitor_observes ... ok
[INFO] [stdout] test feature1_correct::function_any ... ok
[INFO] [stdout] test feature1_correct::monitors ... ok
[INFO] [stdout] test feature1_correct::bug_repro_many_events ... ok
[INFO] [stdout] test feature1_correct::bug4 ... ok
[INFO] [stdout] test feature1_correct::param_test ... ok
[INFO] [stdout] test feature1_correct::static_functions ... ok
[INFO] [stdout] test feature1_correct::entry_named_function1 ... ok
[INFO] [stdout] test feature1_correct::recursive_function_calls ... ok
[INFO] [stdout] test feature1_dynamic_error::alon_bug ... ok
[INFO] [stdout] test feature1_dynamic_error::bug2 ... ok
[INFO] [stdout] test feature1_dynamic_error::max_instances ... ok
[INFO] [stdout] test feature1_dynamic_error::entry_named_function ... ok
[INFO] [stdout] test feature1_dynamic_error::param_test2 ... ok
[INFO] [stdout] test feature1_dynamic_error::static_functions1 ... ok
[INFO] [stdout] test feature1_dynamic_error::static_function_in_monitor ... ok
[INFO] [stdout] test feature1_dynamic_error::static_functions2 ... ok
[INFO] [stdout] test feature1_static_error::action_and_transition_same_event ... ok
[INFO] [stdout] test feature1_static_error::anon_funs ... ok
[INFO] [stdout] test feature1_correct::bug_repro1 ... ok
[INFO] [stdout] test feature1_static_error::assign_bad_lhs ... ok
[INFO] [stdout] test feature1_static_error::defer_ignore_same_event ... ok
[INFO] [stdout] test feature1_static_error::entry_named_function1 ... ok
[INFO] [stdout] test feature1_static_error::entry_named_function2 ... ok
[INFO] [stdout] test feature1_static_error::create_spec_machine ... ok
[INFO] [stdout] test feature1_static_error::deferred_null_event ... ok
[INFO] [stdout] test feature1_static_error::entry_returns_value ... ok
[INFO] [stdout] test feature1_static_error::event_deferred_do_same_state ... ok
[INFO] [stdout] test feature1_static_error::event_deferred_trans_do_same_state ... ok
[INFO] [stdout] test feature1_correct::bug3 ... ok
[INFO] [stdout] test feature1_static_error::event_deferred_handled_same_state ... ok
[INFO] [stdout] test feature1_static_error::entry_named_function3 ... ok
[INFO] [stdout] test feature1_correct::more_than_32_events ... ok
[INFO] [stdout] test feature1_static_error::function_missing_args ... ok
[INFO] [stdout] test feature1_static_error::function_returns_wrong_type ... ok
[INFO] [stdout] test feature1_static_error::function_returns_nothing_in_assignment ... ok
[INFO] [stdout] test feature1_static_error::function_missing_return ... ok
[INFO] [stdout] test feature1_static_error::function_any_anon ... ok
[INFO] [stdout] test feature1_static_error::ignored_null_event ... ok
[INFO] [stdout] test feature1_static_error::has_entry_args ... ok
[INFO] [stdout] test feature1_static_error::has_exit_args ... ok
[INFO] [stdout] test feature1_static_error::lexer_error2 ... ok
[INFO] [stdout] test feature1_static_error::no_defer_in_spec_machine ... ok
[INFO] [stdout] test feature1_static_error::machine_no_start_state ... ok
[INFO] [stdout] test feature1_static_error::no_send_in_spec_machine ... ok
[INFO] [stdout] test feature1_static_error::non_existent_exit_fun ... ok
[INFO] [stdout] test feature1_static_error::non_existent_entry_fun ... ok
[INFO] [stdout] test feature1_static_error::non_existent_do_fun ... ok
[INFO] [stdout] test feature1_static_error::non_existent_goto_fun ... ok
[INFO] [stdout] test feature1_static_error::lexer_error1 ... ok
[INFO] [stdout] test feature1_static_error::partial ... ok
[INFO] [stdout] test feature1_static_error::param_test4 ... ok
[INFO] [stdout] test feature1_static_error::raise_send_bad_value_spec_machine ... ok
[INFO] [stdout] test feature1_static_error::raise_send_null_spec_machine ... ok
[INFO] [stdout] test feature1_static_error::raised_null_event ... ok
[INFO] [stdout] test feature1_static_error::send_in_monitor ... ok
[INFO] [stdout] test feature1_static_error::sent_null_event ... ok
[INFO] [stdout] test feature1_static_error::side_effects_in_monitor ... ok
[INFO] [stdout] test feature1_static_error::static_function_in_monitor ... ok
[INFO] [stdout] test feature1_static_error::param_test3 ... ok
[INFO] [stdout] test feature1_static_error::null_event_decl ... ok
[INFO] [stdout] test feature1_static_error::start_machine_null_param ... ok
[INFO] [stdout] test feature2_correct::assert_example ... ok
[INFO] [stdout] test feature1_static_error::undefined_state_in_transition ... ok
[INFO] [stdout] test feature1_static_error::transition_on_null_in_spec_machine ... ok
[INFO] [stdout] test feature2_correct::foreach1 ... ok
[INFO] [stdout] test feature2_correct::foreach2 ... ok
[INFO] [stdout] test feature2_correct::goto2 ... ok
[INFO] [stdout] test feature2_correct::foreach3 ... ok
[INFO] [stdout] test feature2_correct::foreach4 ... ok
[INFO] [stdout] test feature2_correct::goto3 ... ok
[INFO] [stdout] test feature1_correct::transition_function ... ok
[INFO] [stdout] test feature2_correct::goto4 ... ok
[INFO] [stdout] test feature2_correct::new_machine1 ... ok
[INFO] [stdout] test feature2_correct::linear2 ... ok
[INFO] [stdout] test feature2_correct::goto1 ... ok
[INFO] [stdout] test feature2_correct::raise1 ... ok
[INFO] [stdout] test feature2_correct::nondet_fun ... ok
[INFO] [stdout] test feature2_correct::raise2 ... ok
[INFO] [stdout] test feature2_correct::raise3 ... ok
[INFO] [stdout] test feature2_correct::foreach ... ok
[INFO] [stdout] test feature2_correct::ping_pong_receive4 ... ok
[INFO] [stdout] test feature2_correct::receive13 ... ok
[INFO] [stdout] test feature2_correct::ping_pong_receive5 ... ok
[INFO] [stdout] test feature2_correct::receive111 ... ok
[INFO] [stdout] test feature2_correct::receive1 ... ok
[INFO] [stdout] test feature2_correct::receive14 ... ok
[INFO] [stdout] test feature2_correct::receive11 ... ok
[INFO] [stdout] test feature2_correct::receive16 ... ok
[INFO] [stdout] test feature2_correct::receive15 ... ok
[INFO] [stdout] test feature2_dynamic_error::break1 ... ok
[INFO] [stdout] test feature2_dynamic_error::continue1 ... ok
[INFO] [stdout] test feature2_dynamic_error::foreach ... ok
[INFO] [stdout] test feature2_dynamic_error::foreach2 ... ok
[INFO] [stdout] test feature2_dynamic_error::foreach3 ... ok
[INFO] [stdout] test feature2_correct::receive19 ... ok
[INFO] [stdout] test feature2_dynamic_error::goto2 ... ok
[INFO] [stdout] test feature2_dynamic_error::foreach4 ... ok
[INFO] [stdout] test feature2_dynamic_error::goto3 ... ok
[INFO] [stdout] test feature2_dynamic_error::goto4 ... ok
[INFO] [stdout] test feature2_dynamic_error::goto_stmt1 ... ok
[INFO] [stdout] test feature2_dynamic_error::goto_stmt2 ... ok
[INFO] [stdout] test feature2_dynamic_error::new_machine1 ... ok
[INFO] [stdout] test feature2_dynamic_error::ping_pong_receive4 ... ok
[INFO] [stdout] test feature2_dynamic_error::nondet_fun ... ok
[INFO] [stdout] test feature2_dynamic_error::ping_pong_receive5 ... ok
[INFO] [stdout] test feature2_dynamic_error::raise1 ... ok
[INFO] [stdout] test feature2_dynamic_error::raise2 ... ok
[INFO] [stdout] test feature2_dynamic_error::raise3 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive11 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive10 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive11_1 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive12 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive17 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive3 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive4 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive6 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive7 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive2 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive8 ... ok
[INFO] [stdout] test feature2_dynamic_error::receive9 ... ok
[INFO] [stdout] test feature2_static_error::continue_outside_loop ... ok
[INFO] [stdout] test feature2_static_error::entry_exit ... ok
[INFO] [stdout] test feature2_static_error::break_outside_loop ... ok
[INFO] [stdout] test feature2_correct::sem_one_machine_33 ... ok
[INFO] [stdout] test feature2_static_error::event_expr_send_raise ... ok
[INFO] [stdout] test feature2_static_error::foreach1 ... ok
[INFO] [stdout] test feature2_static_error::foreach2 ... ok
[INFO] [stdout] test feature2_static_error::goto2 ... ok
[INFO] [stdout] test feature2_static_error::foreach3 ... ok
[INFO] [stdout] test feature2_static_error::goto1 ... ok
[INFO] [stdout] test feature2_static_error::goto3 ... ok
[INFO] [stdout] test feature2_static_error::linear ... ok
[INFO] [stdout] test feature2_static_error::linear3 ... ok
[INFO] [stdout] test feature2_static_error::linear4 ... ok
[INFO] [stdout] test feature2_static_error::new_machine1 ... ok
[INFO] [stdout] test feature2_static_error::lvalues ... ok
[INFO] [stdout] test feature2_static_error::new_machine2 ... ok
[INFO] [stdout] test feature2_static_error::linear_bug_repro1 ... ok
[INFO] [stdout] test feature2_static_error::nmd_type ... ok
[INFO] [stdout] test feature2_static_error::new_machine3 ... ok
[INFO] [stdout] test feature2_static_error::raise1 ... ok
[INFO] [stdout] test feature2_static_error::raise2 ... ok
[INFO] [stdout] test feature2_static_error::sends ... ok
[INFO] [stdout] test feature2_static_error::transaction_type ... ok
[INFO] [stdout] test feature2_static_error::static_fun_return_type ... ok
[INFO] [stdout] test feature3_correct::cast1 ... ok
[INFO] [stdout] test feature3_correct::assert_message2 ... ok
[INFO] [stdout] test feature3_correct::assert_message ... ok
[INFO] [stdout] test feature3_correct::cast2 ... ok
[INFO] [stdout] test feature3_correct::cast3 ... ok
[INFO] [stdout] test feature3_correct::choose_expr1 ... ok
[INFO] [stdout] test feature3_correct::events1 ... ok
[INFO] [stdout] test feature2_correct::receive18 ... ok
[INFO] [stdout] test feature3_correct::float2 ... ok
[INFO] [stdout] test feature3_correct::float1 ... ok
[INFO] [stdout] test feature3_correct::issue511 ... ok
[INFO] [stdout] test feature3_correct::choose_expr2 ... ok
[INFO] [stdout] test feature3_correct::float3 ... ok
[INFO] [stdout] test feature2_correct::sem_one_machine_34 ... ok
[INFO] [stdout] test feature3_correct::nested_fun ... ok
[INFO] [stdout] test feature3_correct::mod_expr1 ... ok
[INFO] [stdout] test feature3_correct::memory_leak_repro ... ok
[INFO] [stdout] test feature3_correct::non_det_function_in_expr ... ok
[INFO] [stdout] test feature3_dynamic_error::choose_expr2 ... ok
[INFO] [stdout] test feature3_dynamic_error::func_in_expr ... ok
[INFO] [stdout] test feature3_dynamic_error::in_operator ... ok
[INFO] [stdout] test feature3_correct::single_named_tuple1 ... ok
[INFO] [stdout] test feature3_correct::single_named_tuple2 ... ok
[INFO] [stdout] test feature3_correct::short_circuit_eval ... ok
[INFO] [stdout] test feature3_dynamic_error::mod_expr1 ... ok
[INFO] [stdout] test feature3_dynamic_error::too_many_choices_int ... ok
[INFO] [stdout] test feature3_static_error::choose3 ... ok
[INFO] [stdout] test feature3_static_error::exprs_operators ... ok
[INFO] [stdout] test feature3_static_error::fields ... ok
[INFO] [stdout] test feature3_static_error::in_operator ... ok
[INFO] [stdout] test feature3_static_error::machine_field_access ... ok
[INFO] [stdout] test feature3_static_error::machine_field_access_in_expr ... ok
[INFO] [stdout] test feature3_static_error::machine_field_access_nested ... ok
[INFO] [stdout] test feature3_static_error::mod_expr1 ... ok
[INFO] [stdout] test feature3_static_error::too_many_choices ... ok
[INFO] [stdout] test feature4_correct::any_type_null_value ... ok
[INFO] [stdout] test feature1_correct::ping_pong ... ok
[INFO] [stdout] test feature4_correct::enum1 ... ok
[INFO] [stdout] test feature4_correct::enum2 ... ok
[INFO] [stdout] test feature4_correct::enum3 ... ok
[INFO] [stdout] test feature4_correct::enum4 ... ok
[INFO] [stdout] test feature3_correct::expr_operators_asserts ... ok
[INFO] [stdout] test feature4_correct::float1 ... ok
[INFO] [stdout] test feature4_correct::float4 ... ok
[INFO] [stdout] test feature4_correct::foreign_types ... ok
[INFO] [stdout] test feature4_correct::nested_typedef ... ok
[INFO] [stdout] test feature4_correct::enum_type ... ok
[INFO] [stdout] test feature4_correct::cast_in_exprs_asserts ... ok
[INFO] [stdout] test feature4_correct::non_atomic_data_types13 ... ok
[INFO] [stdout] test feature4_correct::non_atomic_data_types16 ... ok
[INFO] [stdout] test feature2_correct::sem_one_machine_35 ... ok
[INFO] [stdout] test feature4_correct::return_issue ... ok
[INFO] [stdout] test feature4_correct::seq1 ... ok
[INFO] [stdout] test feature4_correct::set_impl0 ... ok
[INFO] [stdout] test feature4_correct::set_impl2 ... ok
[INFO] [stdout] test feature4_correct::set_impl3 ... ok
[INFO] [stdout] test feature4_correct::string0 ... ok
[INFO] [stdout] test feature4_correct::stringcomp ... ok
[INFO] [stdout] test feature4_correct::typedef ... ok
[INFO] [stdout] test feature4_correct::typedef2 ... ok
[INFO] [stdout] test feature4_correct::typedef3 ... ok
[INFO] [stdout] test feature4_dynamic_error::any_type ... ok
[INFO] [stdout] test feature4_dynamic_error::any_type1 ... ok
[INFO] [stdout] test feature4_dynamic_error::any_type2 ... ok
[INFO] [stdout] test feature4_dynamic_error::any_type3 ... ok
[INFO] [stdout] test feature4_dynamic_error::cast_in_exprs1 ... ok
[INFO] [stdout] test feature4_dynamic_error::cast_in_exprs2 ... ok
[INFO] [stdout] test feature4_dynamic_error::cast_in_exprs3 ... ok
[INFO] [stdout] test feature4_dynamic_error::cast_in_exprs4 ... ok
[INFO] [stdout] test feature4_dynamic_error::cast_in_exprs5 ... ok
[INFO] [stdout] test feature4_dynamic_error::cast_in_exprs6 ... ok
[INFO] [stdout] test feature4_dynamic_error::enum1 ... ok
[INFO] [stdout] test feature4_dynamic_error::enum_type1 ... ok
[INFO] [stdout] test feature4_dynamic_error::foreign_types ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types1 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types10 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types11 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types14 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types15 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types2 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types3 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types4 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types5 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types6 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types7 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types8 ... ok
[INFO] [stdout] test feature4_dynamic_error::non_atomic_data_types9 ... ok
[INFO] [stdout] test feature4_dynamic_error::seq1 ... ok
[INFO] [stdout] test feature4_dynamic_error::set_impl1 ... ok
[INFO] [stdout] test feature4_dynamic_error::string1 ... ok
[INFO] [stdout] test feature4_dynamic_error::typedef1 ... ok
[INFO] [stdout] test feature4_dynamic_error::typedef2 ... ok
[INFO] [stdout] test feature4_static_error::cast_in_exprs ... ok
[INFO] [stdout] test feature4_static_error::enum1 ... ok
[INFO] [stdout] test feature4_static_error::enum_type ... ok
[INFO] [stdout] test feature4_static_error::event_sets_1 ... ok
[INFO] [stdout] test feature4_static_error::event_sets_2 ... ok
[INFO] [stdout] test feature4_static_error::event_sets_3 ... ok
[INFO] [stdout] test feature4_static_error::event_sets_4 ... ok
[INFO] [stdout] test feature4_static_error::event_sets_5 ... ok
[INFO] [stdout] test feature4_static_error::float4 ... ok
[INFO] [stdout] test feature4_static_error::function_typos ... ok
[INFO] [stdout] test feature4_static_error::machine_names_1 ... ok
[INFO] [stdout] test feature4_static_error::named_duplicate_field ... ok
[INFO] [stdout] test feature4_static_error::named_duplicate_field2 ... ok
[INFO] [stdout] test feature4_static_error::named_tuple1 ... ok
[INFO] [stdout] test feature4_static_error::named_tuple2 ... ok
[INFO] [stdout] test feature4_static_error::non_atomic_data_types ... ok
[INFO] [stdout] test feature4_static_error::null_comparison ... ok
[INFO] [stdout] test feature4_static_error::null_type_assign ... ok
[INFO] [stdout] test feature4_static_error::payload_actions ... ok
[INFO] [stdout] test feature4_static_error::payload_actions_funs ... ok
[INFO] [stdout] test feature4_static_error::payload_entry ... ok
[INFO] [stdout] test feature4_static_error::payload_entry_1 ... ok
[INFO] [stdout] test feature4_static_error::payload_transitions ... ok
[INFO] [stdout] test feature4_static_error::payloads ... ok
[INFO] [stdout] test feature4_static_error::set_access ... ok
[INFO] [stdout] test feature4_static_error::set_impl2 ... ok
[INFO] [stdout] test feature4_static_error::string2 ... ok
[INFO] [stdout] test feature4_static_error::typedef ... ok
[INFO] [stdout] test feature4_static_error::typedef2 ... ok
[INFO] [stderr] 
[INFO] [stderr] thread 'feature5_correct::elevator' (394) has overflowed its stack
[INFO] [stderr] fatal runtime error: stack overflow, aborting
[INFO] [stderr] error: test failed, to rerun pass `--test regression`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/regression-b5f9b8b7857f7dca` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "b37c7664bd97436c34355eef1ebef3198cd3dc5762b1b0c47f14654b89e87d40", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b37c7664bd97436c34355eef1ebef3198cd3dc5762b1b0c47f14654b89e87d40", kill_on_drop: false }`
[INFO] [stdout] b37c7664bd97436c34355eef1ebef3198cd3dc5762b1b0c47f14654b89e87d40
