[INFO] cloning repository https://github.com/longfangsong/pltl [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/longfangsong/pltl" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fpltl", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fpltl'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] f2afabbf87d9bc1d22e3192bf12a938fc7950bc9 [INFO] testing longfangsong/pltl against master#b03b3a7ec92682be2917540b679478d41c95a30c for pr-137122-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flongfangsong%2Fpltl" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-5-tc1/source/rust-toolchain.toml [INFO] started tweaking git repo https://github.com/longfangsong/pltl [INFO] finished tweaking git repo https://github.com/longfangsong/pltl [INFO] tweaked toml for git repo https://github.com/longfangsong/pltl written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/longfangsong/pltl on toolchain b03b3a7ec92682be2917540b679478d41c95a30c [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/longfangsong/pltl 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" "+b03b3a7ec92682be2917540b679478d41c95a30c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded ntest v0.9.3 [INFO] [stderr] Downloaded ntest_timeout v0.9.3 [INFO] [stderr] Downloaded ntest_test_cases v0.9.3 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 8daa41a6b75d8039fff91c7cc8801f797aa770e757dfc4940bd1083c01b77aca [INFO] running `Command { std: "docker" "start" "-a" "8daa41a6b75d8039fff91c7cc8801f797aa770e757dfc4940bd1083c01b77aca", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "8daa41a6b75d8039fff91c7cc8801f797aa770e757dfc4940bd1083c01b77aca", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "8daa41a6b75d8039fff91c7cc8801f797aa770e757dfc4940bd1083c01b77aca", kill_on_drop: false }` [INFO] [stdout] 8daa41a6b75d8039fff91c7cc8801f797aa770e757dfc4940bd1083c01b77aca [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9aed17e79c756d3f3252d3d52d446ca6f5df35a7d9b481b45c3bcad5acf1274f [INFO] running `Command { std: "docker" "start" "-a" "9aed17e79c756d3f3252d3d52d446ca6f5df35a7d9b481b45c3bcad5acf1274f", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.94 [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling wasm-bindgen-shared v0.2.100 [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Compiling bumpalo v3.17.0 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling log v0.4.26 [INFO] [stderr] Compiling rustversion v1.0.20 [INFO] [stderr] Compiling zerocopy v0.8.23 [INFO] [stderr] Compiling getrandom v0.3.1 [INFO] [stderr] Compiling wasm-bindgen v0.2.100 [INFO] [stderr] Compiling once_cell v1.21.1 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling anstyle v1.0.10 [INFO] [stderr] Compiling anstyle-parse v0.2.6 [INFO] [stderr] Compiling colorchoice v1.0.3 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling anstyle-query v1.1.2 [INFO] [stderr] Compiling clap_lex v0.7.4 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling smallvec v1.14.0 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling anstream v0.6.18 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling bimap v0.6.3 [INFO] [stderr] Compiling clap_builder v4.5.32 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling nom v8.0.0 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.9.0 [INFO] [stderr] Compiling wasm-bindgen-backend v0.2.100 [INFO] [stderr] Compiling serde_derive v1.0.219 [INFO] [stderr] Compiling clap_derive v4.5.32 [INFO] [stderr] Compiling wasm-bindgen-macro-support v0.2.100 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.100 [INFO] [stderr] Compiling clap v4.5.32 [INFO] [stderr] Compiling js-sys v0.3.77 [INFO] [stderr] Compiling console_error_panic_hook v0.1.7 [INFO] [stderr] Compiling serde-wasm-bindgen v0.6.5 [INFO] [stderr] Compiling pltl v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/automata/mod.rs:201:17 [INFO] [stdout] | [INFO] [stdout] 201 | 'check_p: for p in same_shape_pairs.iter() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `utils::BitSet` [INFO] [stdout] --> src/pltl/labeled/mod.rs:1:19 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{pltl, utils::BitSet}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rrhs` [INFO] [stdout] --> src/pltl/forms.rs:306:71 [INFO] [stdout] | [INFO] [stdout] 306 | (lhs, PLTL::Binary(BinaryOp::Until, box rlhs, box rrhs)) if lhs == rlhs => true, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rrhs` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/pltl/labeled/info.rs:92:17 [INFO] [stdout] | [INFO] [stdout] 92 | id, [INFO] [stdout] | ^^ help: try ignoring the field: `id: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `weak` [INFO] [stdout] --> src/pltl/labeled/rewrite.rs:11:42 [INFO] [stdout] | [INFO] [stdout] 11 | LabeledPLTL::Yesterday { id, weak, content } => LabeledPLTL::Yesterday { [INFO] [stdout] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `weak` [INFO] [stdout] --> src/pltl/labeled/rewrite.rs:39:17 [INFO] [stdout] | [INFO] [stdout] 39 | weak, [INFO] [stdout] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `from_parsed` is never used [INFO] [stdout] --> src/automata/hoa/mod.rs:75:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl HoaAutomaton { [INFO] [stdout] | ----------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 75 | fn from_parsed((header, body): (Header, Body)) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ImplicitEdge` is never constructed [INFO] [stdout] --> src/automata/hoa/body.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct ImplicitEdge(StateConjunction, Option); [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_formula_rec` is never used [INFO] [stdout] --> src/pltl/ganerator.rs:4:4 [INFO] [stdout] | [INFO] [stdout] 4 | fn generate_formula_rec(remaining_ops: usize, atom_count: usize, rng: &mut impl Rng) -> PLTL { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_formula` is never used [INFO] [stdout] --> src/pltl/ganerator.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn generate_formula(tree_size: usize, atom_count: usize) -> PLTL { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `offset` is never read [INFO] [stdout] --> src/pltl/parse.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct Error { [INFO] [stdout] | ----- field in this struct [INFO] [stdout] 17 | offset: usize, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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: associated function `new_atom` is never used [INFO] [stdout] --> src/pltl/parse.rs:448:12 [INFO] [stdout] | [INFO] [stdout] 447 | impl PLTLParseTree { [INFO] [stdout] | ------------------ associated function in this implementation [INFO] [stdout] 448 | pub fn new_atom(s: impl Into) -> Self { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `rewrite_set_with_set` is never used [INFO] [stdout] --> src/pltl/rewrite.rs:249:8 [INFO] [stdout] | [INFO] [stdout] 249 | pub fn rewrite_set_with_set(set: &Set, rewrite_with: &Set) -> Set { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 34.79s [INFO] running `Command { std: "docker" "inspect" "9aed17e79c756d3f3252d3d52d446ca6f5df35a7d9b481b45c3bcad5acf1274f", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9aed17e79c756d3f3252d3d52d446ca6f5df35a7d9b481b45c3bcad5acf1274f", kill_on_drop: false }` [INFO] [stdout] 9aed17e79c756d3f3252d3d52d446ca6f5df35a7d9b481b45c3bcad5acf1274f [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 653f283a2c5167e8a6951b7f9404af4914b93fd2ed20bb89d1778daa21152302 [INFO] running `Command { std: "docker" "start" "-a" "653f283a2c5167e8a6951b7f9404af4914b93fd2ed20bb89d1778daa21152302", kill_on_drop: false }` [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling equivalent v1.0.2 [INFO] [stderr] Compiling hashbrown v0.15.2 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling num-traits v0.2.19 [INFO] [stderr] Compiling winnow v0.7.4 [INFO] [stderr] Compiling toml_datetime v0.6.8 [INFO] [stderr] Compiling serde_json v1.0.140 [INFO] [stderr] Compiling half v2.5.0 [INFO] [stderr] Compiling ciborium-io v0.2.2 [INFO] [stderr] Compiling ryu v1.0.20 [INFO] [stderr] Compiling itoa v1.0.15 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling plotters-backend v0.3.7 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling cast v0.3.0 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling is-terminal v0.4.16 [INFO] [stderr] Compiling walkdir v2.5.0 [INFO] [stderr] Compiling oorandom v11.1.5 [INFO] [stderr] Compiling anes v0.1.6 [INFO] [stderr] Compiling plotters-svg v0.3.7 [INFO] [stderr] Compiling ciborium-ll v0.2.2 [INFO] [stderr] Compiling indexmap v2.8.0 [INFO] [stderr] Compiling plotters v0.3.7 [INFO] [stderr] Compiling regex-automata v0.4.9 [INFO] [stderr] Compiling criterion-plot v0.5.0 [INFO] [stderr] Compiling toml_edit v0.22.24 [INFO] [stderr] Compiling regex v1.11.1 [INFO] [stderr] Compiling ntest_test_cases v0.9.3 [INFO] [stderr] Compiling proc-macro-crate v3.3.0 [INFO] [stderr] Compiling ntest_timeout v0.9.3 [INFO] [stderr] Compiling ciborium v0.2.2 [INFO] [stderr] Compiling serde-wasm-bindgen v0.6.5 [INFO] [stderr] Compiling ntest v0.9.3 [INFO] [stderr] Compiling pltl v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/automata/mod.rs:201:17 [INFO] [stdout] | [INFO] [stdout] 201 | 'check_p: for p in same_shape_pairs.iter() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling tinytemplate v1.2.1 [INFO] [stdout] warning: unused import: `utils::BitSet` [INFO] [stdout] --> src/pltl/labeled/mod.rs:1:19 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{pltl, utils::BitSet}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling criterion v0.5.1 [INFO] [stdout] warning: unused variable: `rrhs` [INFO] [stdout] --> src/pltl/forms.rs:306:71 [INFO] [stdout] | [INFO] [stdout] 306 | (lhs, PLTL::Binary(BinaryOp::Until, box rlhs, box rrhs)) if lhs == rlhs => true, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rrhs` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/pltl/labeled/info.rs:92:17 [INFO] [stdout] | [INFO] [stdout] 92 | id, [INFO] [stdout] | ^^ help: try ignoring the field: `id: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `weak` [INFO] [stdout] --> src/pltl/labeled/rewrite.rs:11:42 [INFO] [stdout] | [INFO] [stdout] 11 | LabeledPLTL::Yesterday { id, weak, content } => LabeledPLTL::Yesterday { [INFO] [stdout] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `weak` [INFO] [stdout] --> src/pltl/labeled/rewrite.rs:39:17 [INFO] [stdout] | [INFO] [stdout] 39 | weak, [INFO] [stdout] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `from_parsed` is never used [INFO] [stdout] --> src/automata/hoa/mod.rs:75:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl HoaAutomaton { [INFO] [stdout] | ----------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 75 | fn from_parsed((header, body): (Header, Body)) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ImplicitEdge` is never constructed [INFO] [stdout] --> src/automata/hoa/body.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct ImplicitEdge(StateConjunction, Option); [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_formula_rec` is never used [INFO] [stdout] --> src/pltl/ganerator.rs:4:4 [INFO] [stdout] | [INFO] [stdout] 4 | fn generate_formula_rec(remaining_ops: usize, atom_count: usize, rng: &mut impl Rng) -> PLTL { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_formula` is never used [INFO] [stdout] --> src/pltl/ganerator.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn generate_formula(tree_size: usize, atom_count: usize) -> PLTL { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `offset` is never read [INFO] [stdout] --> src/pltl/parse.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct Error { [INFO] [stdout] | ----- field in this struct [INFO] [stdout] 17 | offset: usize, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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: associated function `new_atom` is never used [INFO] [stdout] --> src/pltl/parse.rs:448:12 [INFO] [stdout] | [INFO] [stdout] 447 | impl PLTLParseTree { [INFO] [stdout] | ------------------ associated function in this implementation [INFO] [stdout] 448 | pub fn new_atom(s: impl Into) -> Self { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `rewrite_set_with_set` is never used [INFO] [stdout] --> src/pltl/rewrite.rs:249:8 [INFO] [stdout] | [INFO] [stdout] 249 | pub fn rewrite_set_with_set(set: &Set, rewrite_with: &Set) -> Set { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused label [INFO] [stdout] --> src/automata/mod.rs:201:17 [INFO] [stdout] | [INFO] [stdout] 201 | 'check_p: for p in same_shape_pairs.iter() { [INFO] [stdout] | ^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_labels)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `utils::BitSet` [INFO] [stdout] --> src/pltl/labeled/mod.rs:1:19 [INFO] [stdout] | [INFO] [stdout] 1 | use crate::{pltl, utils::BitSet}; [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `rrhs` [INFO] [stdout] --> src/pltl/forms.rs:306:71 [INFO] [stdout] | [INFO] [stdout] 306 | (lhs, PLTL::Binary(BinaryOp::Until, box rlhs, box rrhs)) if lhs == rlhs => true, [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rrhs` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ltl_ctx` [INFO] [stdout] --> src/pltl/forms.rs:561:19 [INFO] [stdout] | [INFO] [stdout] 561 | let (ltl, ltl_ctx) = PLTL::from_string("(r U t) -> (p S q)").unwrap(); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ltl_ctx` [INFO] [stdout] --> src/pltl/forms.rs:568:19 [INFO] [stdout] | [INFO] [stdout] 568 | let (ltl, ltl_ctx) = PLTL::from_string("(r U t) -> (p S q)").unwrap(); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ltl_ctx` [INFO] [stdout] --> src/pltl/labeled/after_function.rs:475:19 [INFO] [stdout] | [INFO] [stdout] 475 | let (ltl, ltl_ctx) = PLTL::from_string("F(Y p)").unwrap(); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `labeled_ctx` [INFO] [stdout] --> src/pltl/labeled/after_function.rs:478:27 [INFO] [stdout] | [INFO] [stdout] 478 | let (labeled_ltl, labeled_ctx) = LabeledPLTL::new(<l); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_labeled_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ltl_ctx` [INFO] [stdout] --> src/pltl/labeled/after_function.rs:487:19 [INFO] [stdout] | [INFO] [stdout] 487 | let (ltl, ltl_ctx) = PLTL::from_string("F ( r & (r S p))").unwrap(); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `labeled_ctx` [INFO] [stdout] --> src/pltl/labeled/after_function.rs:489:27 [INFO] [stdout] | [INFO] [stdout] 489 | let (labeled_ltl, labeled_ctx) = LabeledPLTL::new(<l); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_labeled_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `labeled_ctx` [INFO] [stdout] --> src/pltl/labeled/after_function.rs:503:27 [INFO] [stdout] | [INFO] [stdout] 503 | let (labeled_ltl, labeled_ctx) = LabeledPLTL::new(<l); [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_labeled_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ltl_ctx` [INFO] [stdout] --> src/pltl/labeled/forms.rs:530:19 [INFO] [stdout] | [INFO] [stdout] 530 | let (ltl, ltl_ctx) = PLTL::from_string("⊤ W (p ∧ ⊥)").unwrap(); [INFO] [stdout] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ctx` [INFO] [stdout] --> src/pltl/labeled/forms.rs:532:19 [INFO] [stdout] | [INFO] [stdout] 532 | let (ltl, ctx) = LabeledPLTL::new(<l); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_ctx` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `id` [INFO] [stdout] --> src/pltl/labeled/info.rs:92:17 [INFO] [stdout] | [INFO] [stdout] 92 | id, [INFO] [stdout] | ^^ help: try ignoring the field: `id: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `weak` [INFO] [stdout] --> src/pltl/labeled/rewrite.rs:11:42 [INFO] [stdout] | [INFO] [stdout] 11 | LabeledPLTL::Yesterday { id, weak, content } => LabeledPLTL::Yesterday { [INFO] [stdout] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `weak` [INFO] [stdout] --> src/pltl/labeled/rewrite.rs:39:17 [INFO] [stdout] | [INFO] [stdout] 39 | weak, [INFO] [stdout] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: associated function `from_parsed` is never used [INFO] [stdout] --> src/automata/hoa/mod.rs:75:8 [INFO] [stdout] | [INFO] [stdout] 46 | impl HoaAutomaton { [INFO] [stdout] | ----------------- associated function in this implementation [INFO] [stdout] ... [INFO] [stdout] 75 | fn from_parsed((header, body): (Header, Body)) -> Self { [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: struct `ImplicitEdge` is never constructed [INFO] [stdout] --> src/automata/hoa/body.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | struct ImplicitEdge(StateConjunction, Option); [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_formula_rec` is never used [INFO] [stdout] --> src/pltl/ganerator.rs:4:4 [INFO] [stdout] | [INFO] [stdout] 4 | fn generate_formula_rec(remaining_ops: usize, atom_count: usize, rng: &mut impl Rng) -> PLTL { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function `generate_formula` is never used [INFO] [stdout] --> src/pltl/ganerator.rs:34:8 [INFO] [stdout] | [INFO] [stdout] 34 | pub fn generate_formula(tree_size: usize, atom_count: usize) -> PLTL { [INFO] [stdout] | ^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `offset` is never read [INFO] [stdout] --> src/pltl/parse.rs:17:5 [INFO] [stdout] | [INFO] [stdout] 16 | pub struct Error { [INFO] [stdout] | ----- field in this struct [INFO] [stdout] 17 | offset: usize, [INFO] [stdout] | ^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `Error` 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: function `rewrite_set_with_set` is never used [INFO] [stdout] --> src/pltl/rewrite.rs:249:8 [INFO] [stdout] | [INFO] [stdout] 249 | pub fn rewrite_set_with_set(set: &Set, rewrite_with: &Set) -> Set { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 21.33s [INFO] running `Command { std: "docker" "inspect" "653f283a2c5167e8a6951b7f9404af4914b93fd2ed20bb89d1778daa21152302", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "653f283a2c5167e8a6951b7f9404af4914b93fd2ed20bb89d1778daa21152302", kill_on_drop: false }` [INFO] [stdout] 653f283a2c5167e8a6951b7f9404af4914b93fd2ed20bb89d1778daa21152302 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+b03b3a7ec92682be2917540b679478d41c95a30c" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 4d91af350cf85ee2fd2e1eccaa2c310ed29ccc7383fcdde20c870e5130c23fc8 [INFO] running `Command { std: "docker" "start" "-a" "4d91af350cf85ee2fd2e1eccaa2c310ed29ccc7383fcdde20c870e5130c23fc8", kill_on_drop: false }` [INFO] [stderr] warning: unused label [INFO] [stderr] --> src/automata/mod.rs:201:17 [INFO] [stderr] | [INFO] [stderr] 201 | 'check_p: for p in same_shape_pairs.iter() { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_labels)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `utils::BitSet` [INFO] [stderr] --> src/pltl/labeled/mod.rs:1:19 [INFO] [stderr] | [INFO] [stderr] 1 | use crate::{pltl, utils::BitSet}; [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `rrhs` [INFO] [stderr] --> src/pltl/forms.rs:306:71 [INFO] [stderr] | [INFO] [stderr] 306 | (lhs, PLTL::Binary(BinaryOp::Until, box rlhs, box rrhs)) if lhs == rlhs => true, [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_rrhs` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `id` [INFO] [stderr] --> src/pltl/labeled/info.rs:92:17 [INFO] [stderr] | [INFO] [stderr] 92 | id, [INFO] [stderr] | ^^ help: try ignoring the field: `id: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `weak` [INFO] [stderr] --> src/pltl/labeled/rewrite.rs:11:42 [INFO] [stderr] | [INFO] [stderr] 11 | LabeledPLTL::Yesterday { id, weak, content } => LabeledPLTL::Yesterday { [INFO] [stderr] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `weak` [INFO] [stderr] --> src/pltl/labeled/rewrite.rs:39:17 [INFO] [stderr] | [INFO] [stderr] 39 | weak, [INFO] [stderr] | ^^^^ help: try ignoring the field: `weak: _` [INFO] [stderr] [INFO] [stderr] warning: associated function `from_parsed` is never used [INFO] [stderr] --> src/automata/hoa/mod.rs:75:8 [INFO] [stderr] | [INFO] [stderr] 46 | impl HoaAutomaton { [INFO] [stderr] | ----------------- associated function in this implementation [INFO] [stderr] ... [INFO] [stderr] 75 | fn from_parsed((header, body): (Header, Body)) -> Self { [INFO] [stderr] | ^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: struct `ImplicitEdge` is never constructed [INFO] [stderr] --> src/automata/hoa/body.rs:34:8 [INFO] [stderr] | [INFO] [stderr] 34 | struct ImplicitEdge(StateConjunction, Option); [INFO] [stderr] | ^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `generate_formula_rec` is never used [INFO] [stderr] --> src/pltl/ganerator.rs:4:4 [INFO] [stderr] | [INFO] [stderr] 4 | fn generate_formula_rec(remaining_ops: usize, atom_count: usize, rng: &mut impl Rng) -> PLTL { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `generate_formula` is never used [INFO] [stderr] --> src/pltl/ganerator.rs:34:8 [INFO] [stderr] | [INFO] [stderr] 34 | pub fn generate_formula(tree_size: usize, atom_count: usize) -> PLTL { [INFO] [stderr] | ^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: field `offset` is never read [INFO] [stderr] --> src/pltl/parse.rs:17:5 [INFO] [stderr] | [INFO] [stderr] 16 | pub struct Error { [INFO] [stderr] | ----- field in this struct [INFO] [stderr] 17 | offset: usize, [INFO] [stderr] | ^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `Error` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis [INFO] [stderr] [INFO] [stderr] warning: associated function `new_atom` is never used [INFO] [stderr] --> src/pltl/parse.rs:448:12 [INFO] [stderr] | [INFO] [stderr] 447 | impl PLTLParseTree { [INFO] [stderr] | ------------------ associated function in this implementation [INFO] [stderr] 448 | pub fn new_atom(s: impl Into) -> Self { [INFO] [stderr] | ^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function `rewrite_set_with_set` is never used [INFO] [stderr] --> src/pltl/rewrite.rs:249:8 [INFO] [stderr] | [INFO] [stderr] 249 | pub fn rewrite_set_with_set(set: &Set, rewrite_with: &Set) -> Set { [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ltl_ctx` [INFO] [stderr] --> src/pltl/forms.rs:561:19 [INFO] [stderr] | [INFO] [stderr] 561 | let (ltl, ltl_ctx) = PLTL::from_string("(r U t) -> (p S q)").unwrap(); [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ltl_ctx` [INFO] [stderr] --> src/pltl/forms.rs:568:19 [INFO] [stderr] | [INFO] [stderr] 568 | let (ltl, ltl_ctx) = PLTL::from_string("(r U t) -> (p S q)").unwrap(); [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ltl_ctx` [INFO] [stderr] --> src/pltl/labeled/after_function.rs:475:19 [INFO] [stderr] | [INFO] [stderr] 475 | let (ltl, ltl_ctx) = PLTL::from_string("F(Y p)").unwrap(); [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `labeled_ctx` [INFO] [stderr] --> src/pltl/labeled/after_function.rs:478:27 [INFO] [stderr] | [INFO] [stderr] 478 | let (labeled_ltl, labeled_ctx) = LabeledPLTL::new(<l); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_labeled_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ltl_ctx` [INFO] [stderr] --> src/pltl/labeled/after_function.rs:487:19 [INFO] [stderr] | [INFO] [stderr] 487 | let (ltl, ltl_ctx) = PLTL::from_string("F ( r & (r S p))").unwrap(); [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `labeled_ctx` [INFO] [stderr] --> src/pltl/labeled/after_function.rs:489:27 [INFO] [stderr] | [INFO] [stderr] 489 | let (labeled_ltl, labeled_ctx) = LabeledPLTL::new(<l); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_labeled_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `labeled_ctx` [INFO] [stderr] --> src/pltl/labeled/after_function.rs:503:27 [INFO] [stderr] | [INFO] [stderr] 503 | let (labeled_ltl, labeled_ctx) = LabeledPLTL::new(<l); [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_labeled_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ltl_ctx` [INFO] [stderr] --> src/pltl/labeled/forms.rs:530:19 [INFO] [stderr] | [INFO] [stderr] 530 | let (ltl, ltl_ctx) = PLTL::from_string("⊤ W (p ∧ ⊥)").unwrap(); [INFO] [stderr] | ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ltl_ctx` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ctx` [INFO] [stderr] --> src/pltl/labeled/forms.rs:532:19 [INFO] [stderr] | [INFO] [stderr] 532 | let (ltl, ctx) = LabeledPLTL::new(<l); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_ctx` [INFO] [stderr] [INFO] [stderr] warning: `pltl` (lib) generated 13 warnings [INFO] [stderr] warning: `pltl` (lib test) generated 21 warnings (12 duplicates) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/pltl-390e954b2300ac69) [INFO] [stdout] [INFO] [stdout] running 21 tests [INFO] [stdout] test pltl::forms::tests::test_to_negation_normal_form ... ok [INFO] [stdout] test pltl::forms::tests::test_to_no_fgoh ... ok [INFO] [stdout] test pltl::after_function::tests::test_after_function ... ok [INFO] [stdout] test pltl::after_function::tests::test_after_function_2 ... ok [INFO] [stdout] test pltl::labeled::after_function::tests::test_after_function ... ok [INFO] [stdout] test pltl::labeled::after_function::tests::test_cache ... ok [INFO] [stdout] test pltl::tests::test_latex ... ok [INFO] [stdout] test pltl::labeled::after_function::tests::test_after_function_2 ... ok [INFO] [stdout] test automata::guarantee::tests::test_dump_hoa ... ok [INFO] [stdout] test pltl::parse::tests::test_parse_with_cache ... ok [INFO] [stdout] test utils::tests::test_powerset ... ok [INFO] [stdout] test utils::tests::test_sub_power_set ... ok [INFO] [stdout] test pltl::labeled::forms::tests::test_simplify ... ok [INFO] [stdout] test pltl::parse::tests::test_parse ... ok [INFO] [stdout] test pltl::rewrite::tests::test_rewrite_with_set ... ok [INFO] [stdout] test automata::stable::tests::test_dump_hoa ... FAILED [INFO] [stdout] test automata::weakening_conditions::tests::test_dump ... FAILED [INFO] [stdout] test automata::tests::test_to_files ... FAILED [INFO] [stdout] test pltl::labeled::tests::test_new ... FAILED [INFO] [stdout] test automata::tests::test_new_context ... ok [INFO] [stdout] test automata::safety::tests::test_dump_hoa ... ok [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] [INFO] [stdout] ---- automata::stable::tests::test_dump_hoa stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'automata::stable::tests::test_dump_hoa' panicked at src/automata/stable.rs:162:14: [INFO] [stdout] called `Result::unwrap()` on an `Err` value: ThreadPoolBuildError { kind: GlobalPoolAlreadyInitialized } [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x59f112f34d82 - std::backtrace_rs::backtrace::libunwind::trace::hf6dd235ae0786829 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x59f112f34d82 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a5b54e78104e8b2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x59f112f34d82 - std::sys::backtrace::_print_fmt::hca7a5c1644e21919 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x59f112f34d82 - ::fmt::h38110959524b373c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x59f112f5a673 - core::fmt::rt::Argument::fmt::h391eb3fdbf3d4042 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x59f112f5a673 - core::fmt::write::h5b87140645224122 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/mod.rs:1465:25 [INFO] [stdout] 6: 0x59f112f31cb3 - std::io::default_write_fmt::h3039811ce7aea84b [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x59f112f31cb3 - std::io::Write::write_fmt::h2eef262cf4840ab4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x59f112f34bd2 - std::sys::backtrace::BacktraceLock::print::hcd755c38f62e4492 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x59f112f362ec - std::panicking::default_hook::{{closure}}::h351f33591b26e6e7 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:300:27 [INFO] [stdout] 10: 0x59f112f36142 - std::panicking::default_hook::he5bba7bf0a373c6e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:324:9 [INFO] [stdout] 11: 0x59f112ebcb64 - as core::ops::function::Fn>::call::he967d9fa26b9957c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 12: 0x59f112ebcb64 - test::test_main_with_exit_callback::{{closure}}::h80e1694b81a05381 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x59f112f36ccb - as core::ops::function::Fn>::call::h4e924fcf5bc64d70 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 14: 0x59f112f36ccb - std::panicking::rust_panic_with_hook::hdf456b43e6535023 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:841:13 [INFO] [stdout] 15: 0x59f112f36a9a - std::panicking::begin_panic_handler::{{closure}}::he1c1ab0b84006a97 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:706:13 [INFO] [stdout] 16: 0x59f112f35279 - std::sys::backtrace::__rust_end_short_backtrace::h2a71da996e10b8a0 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 17: 0x59f112f3672d - __rustc[92197b79f0fe8095]::rust_begin_unwind [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:697:5 [INFO] [stdout] 18: 0x59f112f58e10 - core::panicking::panic_fmt::h723bf1d52f6dad29 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x59f112f59256 - core::result::unwrap_failed::hee42034aaecc2a24 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/result.rs:1761:5 [INFO] [stdout] 20: 0x59f112de9471 - core::result::Result::unwrap::h9c5fd4b2de8d8ed2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/result.rs:1167:23 [INFO] [stdout] 21: 0x59f112de9471 - pltl::automata::stable::tests::test_dump_hoa::hd5f39931f14c81da [INFO] [stdout] at /opt/rustwide/workdir/src/automata/stable.rs:162:14 [INFO] [stdout] 22: 0x59f112de9397 - pltl::automata::stable::tests::test_dump_hoa::{{closure}}::h5c93f9565aa92864 [INFO] [stdout] at /opt/rustwide/workdir/src/automata/stable.rs:158:23 [INFO] [stdout] 23: 0x59f112e52d76 - core::ops::function::FnOnce::call_once::h1c6b417078ee4899 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x59f112ec230b - core::ops::function::FnOnce::call_once::h0669c8b9c48a7d8a [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x59f112ec230b - test::__rust_begin_short_backtrace::h7b085d6d90a7575c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:648:18 [INFO] [stdout] 26: 0x59f112ec14de - test::run_test_in_process::{{closure}}::ha304053f1e1d1fbe [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:74 [INFO] [stdout] 27: 0x59f112ec14de - as core::ops::function::FnOnce<()>>::call_once::h8e30650eb6723f86 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x59f112ec14de - std::panicking::catch_unwind::do_call::hfe563e330be3fd9d [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 29: 0x59f112ec14de - std::panicking::catch_unwind::hed40f568f7f44546 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 30: 0x59f112ec14de - std::panic::catch_unwind::h3bb9c46c11d39dfb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x59f112ec14de - test::run_test_in_process::hd65f1a6e6622ae42 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:27 [INFO] [stdout] 32: 0x59f112ec14de - test::run_test::{{closure}}::h9e896de936f245ea [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:592:43 [INFO] [stdout] 33: 0x59f112e850d4 - test::run_test::{{closure}}::hbb18881f56552c10 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:622:41 [INFO] [stdout] 34: 0x59f112e850d4 - std::sys::backtrace::__rust_begin_short_backtrace::hca2387d32733b689 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 35: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9601175bf02a7fb8 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x59f112e889ca - as core::ops::function::FnOnce<()>>::call_once::had8286ad0e1f2528 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x59f112e889ca - std::panicking::catch_unwind::do_call::he4164e9e75841fd6 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 38: 0x59f112e889ca - std::panicking::catch_unwind::h48ccc52a84ae7300 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 39: 0x59f112e889ca - std::panic::catch_unwind::h3d97eb787aa35ee4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::h1019329d11de31fb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x59f112e889ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h050615be551c6447 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::h23e83c3768c28e74 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 43: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::he67b41932d2c126e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 44: 0x59f112f39d27 - std::sys::pal::unix::thread::Thread::new::thread_start::hc05bf0eaa2386caa [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/pal/unix/thread.rs:97:17 [INFO] [stdout] 45: 0x7bb36fda4aa4 - [INFO] [stdout] 46: 0x7bb36fe31a34 - clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- automata::weakening_conditions::tests::test_dump stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'automata::weakening_conditions::tests::test_dump' panicked at src/automata/weakening_conditions.rs:138:14: [INFO] [stdout] called `Result::unwrap()` on an `Err` value: ThreadPoolBuildError { kind: GlobalPoolAlreadyInitialized } [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x59f112f34d82 - std::backtrace_rs::backtrace::libunwind::trace::hf6dd235ae0786829 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x59f112f34d82 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a5b54e78104e8b2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x59f112f34d82 - std::sys::backtrace::_print_fmt::hca7a5c1644e21919 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x59f112f34d82 - ::fmt::h38110959524b373c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x59f112f5a673 - core::fmt::rt::Argument::fmt::h391eb3fdbf3d4042 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x59f112f5a673 - core::fmt::write::h5b87140645224122 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/mod.rs:1465:25 [INFO] [stdout] 6: 0x59f112f31cb3 - std::io::default_write_fmt::h3039811ce7aea84b [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x59f112f31cb3 - std::io::Write::write_fmt::h2eef262cf4840ab4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x59f112f34bd2 - std::sys::backtrace::BacktraceLock::print::hcd755c38f62e4492 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x59f112f362ec - std::panicking::default_hook::{{closure}}::h351f33591b26e6e7 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:300:27 [INFO] [stdout] 10: 0x59f112f36142 - std::panicking::default_hook::he5bba7bf0a373c6e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:324:9 [INFO] [stdout] 11: 0x59f112ebcb64 - as core::ops::function::Fn>::call::he967d9fa26b9957c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 12: 0x59f112ebcb64 - test::test_main_with_exit_callback::{{closure}}::h80e1694b81a05381 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x59f112f36ccb - as core::ops::function::Fn>::call::h4e924fcf5bc64d70 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 14: 0x59f112f36ccb - std::panicking::rust_panic_with_hook::hdf456b43e6535023 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:841:13 [INFO] [stdout] 15: 0x59f112f36a9a - std::panicking::begin_panic_handler::{{closure}}::he1c1ab0b84006a97 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:706:13 [INFO] [stdout] 16: 0x59f112f35279 - std::sys::backtrace::__rust_end_short_backtrace::h2a71da996e10b8a0 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 17: 0x59f112f3672d - __rustc[92197b79f0fe8095]::rust_begin_unwind [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:697:5 [INFO] [stdout] 18: 0x59f112f58e10 - core::panicking::panic_fmt::h723bf1d52f6dad29 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x59f112f59256 - core::result::unwrap_failed::hee42034aaecc2a24 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/result.rs:1761:5 [INFO] [stdout] 20: 0x59f112dea441 - core::result::Result::unwrap::h9c5fd4b2de8d8ed2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/result.rs:1167:23 [INFO] [stdout] 21: 0x59f112dea441 - pltl::automata::weakening_conditions::tests::test_dump::h9325c212c52ac51a [INFO] [stdout] at /opt/rustwide/workdir/src/automata/weakening_conditions.rs:138:14 [INFO] [stdout] 22: 0x59f112dea367 - pltl::automata::weakening_conditions::tests::test_dump::{{closure}}::h17ce3ee6d93b0110 [INFO] [stdout] at /opt/rustwide/workdir/src/automata/weakening_conditions.rs:134:19 [INFO] [stdout] 23: 0x59f112e53096 - core::ops::function::FnOnce::call_once::h3c94de6dc507c854 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x59f112ec230b - core::ops::function::FnOnce::call_once::h0669c8b9c48a7d8a [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x59f112ec230b - test::__rust_begin_short_backtrace::h7b085d6d90a7575c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:648:18 [INFO] [stdout] 26: 0x59f112ec14de - test::run_test_in_process::{{closure}}::ha304053f1e1d1fbe [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:74 [INFO] [stdout] 27: 0x59f112ec14de - as core::ops::function::FnOnce<()>>::call_once::h8e30650eb6723f86 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x59f112ec14de - std::panicking::catch_unwind::do_call::hfe563e330be3fd9d [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 29: 0x59f112ec14de - std::panicking::catch_unwind::hed40f568f7f44546 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 30: 0x59f112ec14de - std::panic::catch_unwind::h3bb9c46c11d39dfb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x59f112ec14de - test::run_test_in_process::hd65f1a6e6622ae42 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:27 [INFO] [stdout] 32: 0x59f112ec14de - test::run_test::{{closure}}::h9e896de936f245ea [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:592:43 [INFO] [stdout] 33: 0x59f112e850d4 - test::run_test::{{closure}}::hbb18881f56552c10 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:622:41 [INFO] [stdout] 34: 0x59f112e850d4 - std::sys::backtrace::__rust_begin_short_backtrace::hca2387d32733b689 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 35: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9601175bf02a7fb8 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x59f112e889ca - as core::ops::function::FnOnce<()>>::call_once::had8286ad0e1f2528 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x59f112e889ca - std::panicking::catch_unwind::do_call::he4164e9e75841fd6 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 38: 0x59f112e889ca - std::panicking::catch_unwind::h48ccc52a84ae7300 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 39: 0x59f112e889ca - std::panic::catch_unwind::h3d97eb787aa35ee4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::h1019329d11de31fb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x59f112e889ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h050615be551c6447 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::h23e83c3768c28e74 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 43: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::he67b41932d2c126e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 44: 0x59f112f39d27 - std::sys::pal::unix::thread::Thread::new::thread_start::hc05bf0eaa2386caa [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/pal/unix/thread.rs:97:17 [INFO] [stdout] 45: 0x7bb36fda4aa4 - [INFO] [stdout] 46: 0x7bb36fe31a34 - clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- automata::tests::test_to_files stdout ---- [INFO] [stdout] [INFO] [stdout] thread 'automata::tests::test_to_files' panicked at src/automata/mod.rs:935:14: [INFO] [stdout] called `Result::unwrap()` on an `Err` value: ThreadPoolBuildError { kind: GlobalPoolAlreadyInitialized } [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x59f112f34d82 - std::backtrace_rs::backtrace::libunwind::trace::hf6dd235ae0786829 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x59f112f34d82 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a5b54e78104e8b2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x59f112f34d82 - std::sys::backtrace::_print_fmt::hca7a5c1644e21919 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x59f112f34d82 - ::fmt::h38110959524b373c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x59f112f5a673 - core::fmt::rt::Argument::fmt::h391eb3fdbf3d4042 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x59f112f5a673 - core::fmt::write::h5b87140645224122 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/mod.rs:1465:25 [INFO] [stdout] 6: 0x59f112f31cb3 - std::io::default_write_fmt::h3039811ce7aea84b [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x59f112f31cb3 - std::io::Write::write_fmt::h2eef262cf4840ab4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x59f112f34bd2 - std::sys::backtrace::BacktraceLock::print::hcd755c38f62e4492 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x59f112f362ec - std::panicking::default_hook::{{closure}}::h351f33591b26e6e7 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:300:27 [INFO] [stdout] 10: 0x59f112f36142 - std::panicking::default_hook::he5bba7bf0a373c6e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:324:9 [INFO] [stdout] 11: 0x59f112ebcb64 - as core::ops::function::Fn>::call::he967d9fa26b9957c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 12: 0x59f112ebcb64 - test::test_main_with_exit_callback::{{closure}}::h80e1694b81a05381 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x59f112f36ccb - as core::ops::function::Fn>::call::h4e924fcf5bc64d70 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 14: 0x59f112f36ccb - std::panicking::rust_panic_with_hook::hdf456b43e6535023 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:841:13 [INFO] [stdout] 15: 0x59f112f36a9a - std::panicking::begin_panic_handler::{{closure}}::he1c1ab0b84006a97 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:706:13 [INFO] [stdout] 16: 0x59f112f35279 - std::sys::backtrace::__rust_end_short_backtrace::h2a71da996e10b8a0 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 17: 0x59f112f3672d - __rustc[92197b79f0fe8095]::rust_begin_unwind [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:697:5 [INFO] [stdout] 18: 0x59f112f58e10 - core::panicking::panic_fmt::h723bf1d52f6dad29 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x59f112f59256 - core::result::unwrap_failed::hee42034aaecc2a24 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/result.rs:1761:5 [INFO] [stdout] 20: 0x59f112d53fb5 - core::result::Result::unwrap::h9c5fd4b2de8d8ed2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/result.rs:1167:23 [INFO] [stdout] 21: 0x59f112d53fb5 - pltl::automata::tests::test_to_files::hda64de3c01cc0ab5 [INFO] [stdout] at /opt/rustwide/workdir/src/automata/mod.rs:935:14 [INFO] [stdout] 22: 0x59f112d53ee7 - pltl::automata::tests::test_to_files::{{closure}}::h848c06bc84360c32 [INFO] [stdout] at /opt/rustwide/workdir/src/automata/mod.rs:931:23 [INFO] [stdout] 23: 0x59f112e53e06 - core::ops::function::FnOnce::call_once::hcbba0c9eacab4110 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x59f112ec230b - core::ops::function::FnOnce::call_once::h0669c8b9c48a7d8a [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x59f112ec230b - test::__rust_begin_short_backtrace::h7b085d6d90a7575c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:648:18 [INFO] [stdout] 26: 0x59f112ec14de - test::run_test_in_process::{{closure}}::ha304053f1e1d1fbe [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:74 [INFO] [stdout] 27: 0x59f112ec14de - as core::ops::function::FnOnce<()>>::call_once::h8e30650eb6723f86 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x59f112ec14de - std::panicking::catch_unwind::do_call::hfe563e330be3fd9d [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 29: 0x59f112ec14de - std::panicking::catch_unwind::hed40f568f7f44546 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 30: 0x59f112ec14de - std::panic::catch_unwind::h3bb9c46c11d39dfb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x59f112ec14de - test::run_test_in_process::hd65f1a6e6622ae42 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:27 [INFO] [stdout] 32: 0x59f112ec14de - test::run_test::{{closure}}::h9e896de936f245ea [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:592:43 [INFO] [stdout] 33: 0x59f112e850d4 - test::run_test::{{closure}}::hbb18881f56552c10 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:622:41 [INFO] [stdout] 34: 0x59f112e850d4 - std::sys::backtrace::__rust_begin_short_backtrace::hca2387d32733b689 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 35: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9601175bf02a7fb8 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x59f112e889ca - as core::ops::function::FnOnce<()>>::call_once::had8286ad0e1f2528 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x59f112e889ca - std::panicking::catch_unwind::do_call::he4164e9e75841fd6 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 38: 0x59f112e889ca - std::panicking::catch_unwind::h48ccc52a84ae7300 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 39: 0x59f112e889ca - std::panic::catch_unwind::h3d97eb787aa35ee4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::h1019329d11de31fb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x59f112e889ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h050615be551c6447 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::h23e83c3768c28e74 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 43: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::he67b41932d2c126e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 44: 0x59f112f39d27 - std::sys::pal::unix::thread::Thread::new::thread_start::hc05bf0eaa2386caa [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/pal/unix/thread.rs:97:17 [INFO] [stdout] 45: 0x7bb36fda4aa4 - [INFO] [stdout] 46: 0x7bb36fe31a34 - clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] ---- pltl::labeled::tests::test_new stdout ---- [INFO] [stdout] id atom [INFO] [stdout] 0 a [INFO] [stdout] 1 b [INFO] [stdout] 2 c [INFO] [stdout] [INFO] [stdout] id psf_expanded psf_containing_relation [INFO] [stdout] 0 "0" S "1" 0b 1 [INFO] [stdout] 1 "0" ~S "1" 0b 10 [INFO] [stdout] 2 "2" B ("0" ~S "1") 0b 110 [INFO] [stdout] 3 Y"0" 0b 1000 [INFO] [stdout] [INFO] [stdout] ((("0" S "1") ∧ ("2" B ("0" ~S "1"))) ∨ Y"0") ∨ X("0" S "1") [INFO] [stdout] [INFO] [stdout] thread 'pltl::labeled::tests::test_new' panicked at src/pltl/labeled/mod.rs:764:9: [INFO] [stdout] assertion `left == right` failed [INFO] [stdout] left: ["\"0\" S \"1\"", "\"0\" ~S \"1\"", "\"2\" B (\"0\" ~S \"1\")", "Y\"0\""] [INFO] [stdout] right: ["(\"0\" S \"1\")", "(\"0\" ~S \"1\")", "(\"2\" B (\"0\" ~S \"1\"))", "(Y \"0\")"] [INFO] [stdout] stack backtrace: [INFO] [stdout] 0: 0x59f112f34d82 - std::backtrace_rs::backtrace::libunwind::trace::hf6dd235ae0786829 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9 [INFO] [stdout] 1: 0x59f112f34d82 - std::backtrace_rs::backtrace::trace_unsynchronized::h3a5b54e78104e8b2 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14 [INFO] [stdout] 2: 0x59f112f34d82 - std::sys::backtrace::_print_fmt::hca7a5c1644e21919 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:66:9 [INFO] [stdout] 3: 0x59f112f34d82 - ::fmt::h38110959524b373c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:39:26 [INFO] [stdout] 4: 0x59f112f5a673 - core::fmt::rt::Argument::fmt::h391eb3fdbf3d4042 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/rt.rs:173:76 [INFO] [stdout] 5: 0x59f112f5a673 - core::fmt::write::h5b87140645224122 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/fmt/mod.rs:1465:25 [INFO] [stdout] 6: 0x59f112f31cb3 - std::io::default_write_fmt::h3039811ce7aea84b [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:639:11 [INFO] [stdout] 7: 0x59f112f31cb3 - std::io::Write::write_fmt::h2eef262cf4840ab4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/io/mod.rs:1954:13 [INFO] [stdout] 8: 0x59f112f34bd2 - std::sys::backtrace::BacktraceLock::print::hcd755c38f62e4492 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:42:9 [INFO] [stdout] 9: 0x59f112f362ec - std::panicking::default_hook::{{closure}}::h351f33591b26e6e7 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:300:27 [INFO] [stdout] 10: 0x59f112f36142 - std::panicking::default_hook::he5bba7bf0a373c6e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:324:9 [INFO] [stdout] 11: 0x59f112ebcb64 - as core::ops::function::Fn>::call::he967d9fa26b9957c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 12: 0x59f112ebcb64 - test::test_main_with_exit_callback::{{closure}}::h80e1694b81a05381 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:145:21 [INFO] [stdout] 13: 0x59f112f36ccb - as core::ops::function::Fn>::call::h4e924fcf5bc64d70 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1980:9 [INFO] [stdout] 14: 0x59f112f36ccb - std::panicking::rust_panic_with_hook::hdf456b43e6535023 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:841:13 [INFO] [stdout] 15: 0x59f112f36a9a - std::panicking::begin_panic_handler::{{closure}}::he1c1ab0b84006a97 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:706:13 [INFO] [stdout] 16: 0x59f112f35279 - std::sys::backtrace::__rust_end_short_backtrace::h2a71da996e10b8a0 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:168:18 [INFO] [stdout] 17: 0x59f112f3672d - __rustc[92197b79f0fe8095]::rust_begin_unwind [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:697:5 [INFO] [stdout] 18: 0x59f112f58e10 - core::panicking::panic_fmt::h723bf1d52f6dad29 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panicking.rs:75:14 [INFO] [stdout] 19: 0x59f112f59143 - core::panicking::assert_failed_inner::hf0724fdfb0e16b9c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panicking.rs:432:17 [INFO] [stdout] 20: 0x59f112d161e3 - core::panicking::assert_failed::hcbceb4bdbbec72ef [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panicking.rs:387:5 [INFO] [stdout] 21: 0x59f112debf5f - pltl::pltl::labeled::tests::test_new::hb10e96774800b95e [INFO] [stdout] at /opt/rustwide/workdir/src/pltl/labeled/mod.rs:764:9 [INFO] [stdout] 22: 0x59f112deb9e7 - pltl::pltl::labeled::tests::test_new::{{closure}}::h93f0d6af1091d474 [INFO] [stdout] at /opt/rustwide/workdir/src/pltl/labeled/mod.rs:757:18 [INFO] [stdout] 23: 0x59f112e53b16 - core::ops::function::FnOnce::call_once::ha406e6acdf7138e3 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 24: 0x59f112ec230b - core::ops::function::FnOnce::call_once::h0669c8b9c48a7d8a [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 25: 0x59f112ec230b - test::__rust_begin_short_backtrace::h7b085d6d90a7575c [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:648:18 [INFO] [stdout] 26: 0x59f112ec14de - test::run_test_in_process::{{closure}}::ha304053f1e1d1fbe [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:74 [INFO] [stdout] 27: 0x59f112ec14de - as core::ops::function::FnOnce<()>>::call_once::h8e30650eb6723f86 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 28: 0x59f112ec14de - std::panicking::catch_unwind::do_call::hfe563e330be3fd9d [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 29: 0x59f112ec14de - std::panicking::catch_unwind::hed40f568f7f44546 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 30: 0x59f112ec14de - std::panic::catch_unwind::h3bb9c46c11d39dfb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 31: 0x59f112ec14de - test::run_test_in_process::hd65f1a6e6622ae42 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:671:27 [INFO] [stdout] 32: 0x59f112ec14de - test::run_test::{{closure}}::h9e896de936f245ea [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:592:43 [INFO] [stdout] 33: 0x59f112e850d4 - test::run_test::{{closure}}::hbb18881f56552c10 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/test/src/lib.rs:622:41 [INFO] [stdout] 34: 0x59f112e850d4 - std::sys::backtrace::__rust_begin_short_backtrace::hca2387d32733b689 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/backtrace.rs:152:18 [INFO] [stdout] 35: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h9601175bf02a7fb8 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:559:17 [INFO] [stdout] 36: 0x59f112e889ca - as core::ops::function::FnOnce<()>>::call_once::had8286ad0e1f2528 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/panic/unwind_safe.rs:272:9 [INFO] [stdout] 37: 0x59f112e889ca - std::panicking::catch_unwind::do_call::he4164e9e75841fd6 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:589:40 [INFO] [stdout] 38: 0x59f112e889ca - std::panicking::catch_unwind::h48ccc52a84ae7300 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panicking.rs:552:19 [INFO] [stdout] 39: 0x59f112e889ca - std::panic::catch_unwind::h3d97eb787aa35ee4 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/panic.rs:359:14 [INFO] [stdout] 40: 0x59f112e889ca - std::thread::Builder::spawn_unchecked_::{{closure}}::h1019329d11de31fb [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/thread/mod.rs:557:30 [INFO] [stdout] 41: 0x59f112e889ca - core::ops::function::FnOnce::call_once{{vtable.shim}}::h050615be551c6447 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/core/src/ops/function.rs:250:5 [INFO] [stdout] 42: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::h23e83c3768c28e74 [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 43: 0x59f112f39d27 - as core::ops::function::FnOnce>::call_once::he67b41932d2c126e [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/alloc/src/boxed.rs:1966:9 [INFO] [stdout] 44: 0x59f112f39d27 - std::sys::pal::unix::thread::Thread::new::thread_start::hc05bf0eaa2386caa [INFO] [stdout] at /rustc/b03b3a7ec92682be2917540b679478d41c95a30c/library/std/src/sys/pal/unix/thread.rs:97:17 [INFO] [stdout] 45: 0x7bb36fda4aa4 - [INFO] [stdout] 46: 0x7bb36fe31a34 - clone [INFO] [stdout] 47: 0x0 - [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] failures: [INFO] [stdout] automata::stable::tests::test_dump_hoa [INFO] [stdout] automata::tests::test_to_files [INFO] [stdout] automata::weakening_conditions::tests::test_dump [INFO] [stdout] pltl::labeled::tests::test_new [INFO] [stdout] [INFO] [stdout] test result: FAILED. 17 passed; 4 failed; 0 ignored; 0 measured; 0 filtered out; finished in 27.34s [INFO] [stdout] [INFO] [stderr] error: test failed, to rerun pass `--lib` [INFO] running `Command { std: "docker" "inspect" "4d91af350cf85ee2fd2e1eccaa2c310ed29ccc7383fcdde20c870e5130c23fc8", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "4d91af350cf85ee2fd2e1eccaa2c310ed29ccc7383fcdde20c870e5130c23fc8", kill_on_drop: false }` [INFO] [stdout] 4d91af350cf85ee2fd2e1eccaa2c310ed29ccc7383fcdde20c870e5130c23fc8