[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 try#0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 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-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] removed /workspace/builds/worker-5-tc2/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-tc2/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/longfangsong/pltl on toolchain 0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "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" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] e7c4ff0939efd27d7c91dbd88c1ad4c5b7e041669ac9135df5dd4c8bd0d0a5f9 [INFO] running `Command { std: "docker" "start" "-a" "e7c4ff0939efd27d7c91dbd88c1ad4c5b7e041669ac9135df5dd4c8bd0d0a5f9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "e7c4ff0939efd27d7c91dbd88c1ad4c5b7e041669ac9135df5dd4c8bd0d0a5f9", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "e7c4ff0939efd27d7c91dbd88c1ad4c5b7e041669ac9135df5dd4c8bd0d0a5f9", kill_on_drop: false }` [INFO] [stdout] e7c4ff0939efd27d7c91dbd88c1ad4c5b7e041669ac9135df5dd4c8bd0d0a5f9 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 1e6f65f1391927b625400e802dc25c34e9b7c9b1433335f0819e67fa4ff83fec [INFO] running `Command { std: "docker" "start" "-a" "1e6f65f1391927b625400e802dc25c34e9b7c9b1433335f0819e67fa4ff83fec", kill_on_drop: false }` [INFO] [stderr] Compiling unicode-ident v1.0.18 [INFO] [stderr] Compiling proc-macro2 v1.0.94 [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 log v0.4.26 [INFO] [stderr] Compiling crossbeam-utils v0.8.21 [INFO] [stderr] Compiling rustversion v1.0.20 [INFO] [stderr] Compiling zerocopy v0.8.23 [INFO] [stderr] Compiling once_cell v1.21.1 [INFO] [stderr] Compiling wasm-bindgen v0.2.100 [INFO] [stderr] Compiling getrandom v0.3.1 [INFO] [stderr] Compiling utf8parse v0.2.2 [INFO] [stderr] Compiling autocfg v1.4.0 [INFO] [stderr] Compiling parking_lot_core v0.9.10 [INFO] [stderr] Compiling serde v1.0.219 [INFO] [stderr] Compiling anstyle-parse v0.2.6 [INFO] [stderr] Compiling colorchoice v1.0.3 [INFO] [stderr] Compiling anstyle v1.0.10 [INFO] [stderr] Compiling rayon-core v1.12.1 [INFO] [stderr] Compiling is_terminal_polyfill v1.70.1 [INFO] [stderr] Compiling anstyle-query v1.1.2 [INFO] [stderr] Compiling either v1.15.0 [INFO] [stderr] Compiling strsim v0.11.1 [INFO] [stderr] Compiling heck v0.5.0 [INFO] [stderr] Compiling scopeguard v1.2.0 [INFO] [stderr] Compiling smallvec v1.14.0 [INFO] [stderr] Compiling clap_lex v0.7.4 [INFO] [stderr] Compiling memchr v2.7.4 [INFO] [stderr] Compiling anstream v0.6.18 [INFO] [stderr] Compiling byteorder v1.5.0 [INFO] [stderr] Compiling hashbrown v0.14.5 [INFO] [stderr] Compiling lock_api v0.4.12 [INFO] [stderr] Compiling itertools v0.14.0 [INFO] [stderr] Compiling bimap v0.6.3 [INFO] [stderr] Compiling fxhash v0.2.1 [INFO] [stderr] Compiling crossbeam-epoch v0.9.18 [INFO] [stderr] Compiling clap_builder v4.5.32 [INFO] [stderr] Compiling nom v8.0.0 [INFO] [stderr] Compiling crossbeam-deque v0.8.6 [INFO] [stderr] Compiling quote v1.0.40 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling rand_core v0.9.3 [INFO] [stderr] Compiling dashmap v6.1.0 [INFO] [stderr] Compiling rayon v1.10.0 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [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 clap v4.5.32 [INFO] [stderr] Compiling wasm-bindgen-macro v0.2.100 [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 16.51s [INFO] running `Command { std: "docker" "inspect" "1e6f65f1391927b625400e802dc25c34e9b7c9b1433335f0819e67fa4ff83fec", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "1e6f65f1391927b625400e802dc25c34e9b7c9b1433335f0819e67fa4ff83fec", kill_on_drop: false }` [INFO] [stdout] 1e6f65f1391927b625400e802dc25c34e9b7c9b1433335f0819e67fa4ff83fec [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-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:90999bfc7ae267e83380e433d8e61a7c072ca6729e92edbae886d3423b3a6f4c" "/opt/rustwide/cargo-home/bin/cargo" "+0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] a050113b49d018d6bc58ce07ce6f05ea6c49c281eaa2ef2091fc9a826a369b06 [INFO] running `Command { std: "docker" "start" "-a" "a050113b49d018d6bc58ce07ce6f05ea6c49c281eaa2ef2091fc9a826a369b06", 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 serde_json v1.0.140 [INFO] [stderr] Compiling toml_datetime v0.6.8 [INFO] [stderr] Compiling half v2.5.0 [INFO] [stderr] Compiling plotters-backend v0.3.7 [INFO] [stderr] Compiling ciborium-io v0.2.2 [INFO] [stderr] Compiling ryu v1.0.20 [INFO] [stderr] Compiling regex-syntax v0.8.5 [INFO] [stderr] Compiling itoa v1.0.15 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling same-file v1.0.6 [INFO] [stderr] Compiling cast v0.3.0 [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 serde-wasm-bindgen v0.6.5 [INFO] [stderr] Compiling ciborium v0.2.2 [INFO] [stderr] Compiling ntest_test_cases 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 proc-macro-crate v3.3.0 [INFO] [stderr] Compiling ntest_timeout v0.9.3 [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] [stderr] Compiling ntest v0.9.3 [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] rustc-LLVM ERROR: IO failure on output stream: No space left on device [INFO] [stderr] error: could not compile `criterion` (lib) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] No space left on device (os error 28) [INFO] [stderr] [INFO] [stderr] Caused by: [INFO] [stderr] failed to parse process output: `/opt/rustwide/rustup-home/toolchains/0936b3db0ae648ba2d5b60eb08cf4faf2ddab0c6/bin/rustc --crate-name criterion --edition=2018 /opt/rustwide/cargo-home/registry/src/index.crates.io-1949cf8c6b5b557f/criterion-0.5.1/src/lib.rs --error-format=json --json=diagnostic-rendered-ansi,artifacts,future-incompat --crate-type lib --emit=dep-info,metadata,link -C embed-bitcode=no -C debuginfo=2 --cfg 'feature="cargo_bench_support"' --cfg 'feature="default"' --cfg 'feature="plotters"' --cfg 'feature="rayon"' --check-cfg 'cfg(docsrs,test)' --check-cfg 'cfg(feature, values("async", "async-std", "async_futures", "async_smol", "async_std", "async_tokio", "cargo_bench_support", "csv", "csv_output", "default", "futures", "html_reports", "plotters", "rayon", "real_blackbox", "smol", "stable", "tokio"))' -C metadata=5324126a4cacc39b -C extra-filename=-9503a9f655a2d766 --out-dir /opt/rustwide/target/debug/deps -L dependency=/opt/rustwide/target/debug/deps --extern anes=/opt/rustwide/target/debug/deps/libanes-0ad708ffaa3dac37.rmeta --extern cast=/opt/rustwide/target/debug/deps/libcast-ba532c28431dad26.rmeta --extern ciborium=/opt/rustwide/target/debug/deps/libciborium-ffdf7c297f144400.rmeta --extern clap=/opt/rustwide/target/debug/deps/libclap-107d3b0940341dcd.rmeta --extern criterion_plot=/opt/rustwide/target/debug/deps/libcriterion_plot-57c532c994da1cb8.rmeta --extern is_terminal=/opt/rustwide/target/debug/deps/libis_terminal-e17f270b0b405757.rmeta --extern itertools=/opt/rustwide/target/debug/deps/libitertools-16aade60a8da3bd0.rmeta --extern num_traits=/opt/rustwide/target/debug/deps/libnum_traits-39be14e70c722fe4.rmeta --extern once_cell=/opt/rustwide/target/debug/deps/libonce_cell-098292c3b8c25e48.rmeta --extern oorandom=/opt/rustwide/target/debug/deps/liboorandom-87015461484d389d.rmeta --extern plotters=/opt/rustwide/target/debug/deps/libplotters-6881e64b9bc5ad1e.rmeta --extern rayon=/opt/rustwide/target/debug/deps/librayon-69cd648959a7d029.rmeta --extern regex=/opt/rustwide/target/debug/deps/libregex-31672485c3c36ec4.rmeta --extern serde=/opt/rustwide/target/debug/deps/libserde-a08b1e4584f28757.rmeta --extern serde_derive=/opt/rustwide/target/debug/deps/libserde_derive-e615f5eaa73c6923.so --extern serde_json=/opt/rustwide/target/debug/deps/libserde_json-a44168807ecc2074.rmeta --extern tinytemplate=/opt/rustwide/target/debug/deps/libtinytemplate-e7b86d1a84b640ac.rmeta --extern walkdir=/opt/rustwide/target/debug/deps/libwalkdir-1a00c768f8c7f3de.rmeta --cap-lints allow --cap-lints=forbid` (exit status: 101) [INFO] [stderr] warning: build failed, waiting for other jobs to finish... [INFO] [stdout] error: failed to build archive at `/opt/rustwide/target/debug/deps/libpltl.rlib`: No space left on device (os error 28) [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] error: could not compile `pltl` (lib) due to 1 previous error; 13 warnings emitted [INFO] running `Command { std: "docker" "inspect" "a050113b49d018d6bc58ce07ce6f05ea6c49c281eaa2ef2091fc9a826a369b06", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "a050113b49d018d6bc58ce07ce6f05ea6c49c281eaa2ef2091fc9a826a369b06", kill_on_drop: false }` [INFO] [stdout] a050113b49d018d6bc58ce07ce6f05ea6c49c281eaa2ef2091fc9a826a369b06