[INFO] cloning repository https://github.com/xynxynxyn/lmc [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/xynxynxyn/lmc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 5441a1e3870a65c37d4d1a82081772be09c70925 [INFO] checking xynxynxyn/lmc against master#385fa9d845dd326c6bbfd58c22244215e431948a for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/xynxynxyn/lmc on toolchain 385fa9d845dd326c6bbfd58c22244215e431948a [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/xynxynxyn/lmc [INFO] finished tweaking git repo https://github.com/xynxynxyn/lmc [INFO] tweaked toml for git repo https://github.com/xynxynxyn/lmc written to /workspace/builds/worker-5-tc1/source/Cargo.toml [INFO] crate git repo https://github.com/xynxynxyn/lmc 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" "+385fa9d845dd326c6bbfd58c22244215e431948a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] [stderr] Downloading crates ... [INFO] [stderr] Downloaded bimap v0.6.2 [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] bcae5b151f9f6fd8db04bce0163c8eb12ff35579032280daa41c4d414782327a [INFO] running `Command { std: "docker" "start" "-a" "bcae5b151f9f6fd8db04bce0163c8eb12ff35579032280daa41c4d414782327a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "bcae5b151f9f6fd8db04bce0163c8eb12ff35579032280daa41c4d414782327a", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "bcae5b151f9f6fd8db04bce0163c8eb12ff35579032280daa41c4d414782327a", kill_on_drop: false }` [INFO] [stdout] bcae5b151f9f6fd8db04bce0163c8eb12ff35579032280daa41c4d414782327a [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+385fa9d845dd326c6bbfd58c22244215e431948a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 44f8bcc158262a94c6ee782a3774cf0897a76a8b00a1bcb584585b63128b36f4 [INFO] running `Command { std: "docker" "start" "-a" "44f8bcc158262a94c6ee782a3774cf0897a76a8b00a1bcb584585b63128b36f4", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.37 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling syn v1.0.92 [INFO] [stderr] Compiling libc v0.2.125 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling serde v1.0.137 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling serde_derive v1.0.137 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Compiling indexmap v1.8.1 [INFO] [stderr] Checking os_str_bytes v6.0.0 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Checking nom v7.1.1 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Checking bimap v0.6.2 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking wyz v0.5.0 [INFO] [stderr] Compiling anyhow v1.0.57 [INFO] [stderr] Checking fixedbitset v0.4.1 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking once_cell v1.12.0 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking textwrap v0.15.0 [INFO] [stderr] Checking bitvec v1.0.0 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Checking colored v2.0.0 [INFO] [stderr] Checking env_logger v0.9.0 [INFO] [stderr] Checking petgraph v0.6.2 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking quick-xml v0.23.0 [INFO] [stderr] Checking parity v0.1.0 (/opt/rustwide/workdir/parity) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> parity/src/parse.rs:80:13 [INFO] [stdout] | [INFO] [stdout] 80 | let mut meta_data = g [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling thiserror-impl v1.0.31 [INFO] [stderr] Compiling clap_derive v3.2.7 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Checking thiserror v1.0.31 [INFO] [stderr] Checking serde-xml-rs v0.5.1 [INFO] [stderr] Checking buchi v0.1.0 (/opt/rustwide/workdir/buchi) [INFO] [stdout] warning: for loop over an `Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> buchi/src/nba.rs:428:35 [INFO] [stdout] | [INFO] [stdout] 428 | for transition in nba.states.get(state) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(for_loops_over_fallibles)]` on by default [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 428 | while let Some(transition) = nba.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 428 | if let Some(transition) = nba.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over an `Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> buchi/src/nba.rs:458:31 [INFO] [stdout] | [INFO] [stdout] 458 | for transition in self.states.get(state) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 458 | while let Some(transition) = self.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 458 | if let Some(transition) = self.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking clap v3.2.7 [INFO] [stderr] Checking petri v0.1.0 (/opt/rustwide/workdir/petri) [INFO] [stderr] Checking ltl v0.1.0 (/opt/rustwide/workdir/ltl) [INFO] [stderr] Checking lmc v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `ltl::Formula` [INFO] [stdout] --> src/transform.rs:249:9 [INFO] [stdout] | [INFO] [stdout] 249 | use ltl::Formula; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ltl_to_gnba` [INFO] [stdout] --> src/transform.rs:251:17 [INFO] [stdout] | [INFO] [stdout] 251 | use super::{ltl_to_gnba, _ts_and_buchi_product}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 22.31s [INFO] running `Command { std: "docker" "inspect" "44f8bcc158262a94c6ee782a3774cf0897a76a8b00a1bcb584585b63128b36f4", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "44f8bcc158262a94c6ee782a3774cf0897a76a8b00a1bcb584585b63128b36f4", kill_on_drop: false }` [INFO] [stdout] 44f8bcc158262a94c6ee782a3774cf0897a76a8b00a1bcb584585b63128b36f4 [INFO] checking xynxynxyn/lmc against try#645bb72776a6a56a1a8f52631a44bd082b2ba509 for absurd-question-mark-desugar [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/xynxynxyn/lmc on toolchain 645bb72776a6a56a1a8f52631a44bd082b2ba509 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/xynxynxyn/lmc [INFO] finished tweaking git repo https://github.com/xynxynxyn/lmc [INFO] tweaked toml for git repo https://github.com/xynxynxyn/lmc written to /workspace/builds/worker-5-tc2/source/Cargo.toml [INFO] crate git repo https://github.com/xynxynxyn/lmc 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" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 9e67a5202585705bdf86ac81a68255785bdf843765b08428ac9367e281d10f09 [INFO] running `Command { std: "docker" "start" "-a" "9e67a5202585705bdf86ac81a68255785bdf843765b08428ac9367e281d10f09", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "9e67a5202585705bdf86ac81a68255785bdf843765b08428ac9367e281d10f09", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9e67a5202585705bdf86ac81a68255785bdf843765b08428ac9367e281d10f09", kill_on_drop: false }` [INFO] [stdout] 9e67a5202585705bdf86ac81a68255785bdf843765b08428ac9367e281d10f09 [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:2788e3201cd34a07e3172128adcd8b3090168a8e3bcc40d7c032b9dda1df7d1c" "/opt/rustwide/cargo-home/bin/cargo" "+645bb72776a6a56a1a8f52631a44bd082b2ba509" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] f9dc3ef4bf1c81cb0c189cd58506aa0ba2522defa7fff8e2d6506a45361f8c46 [INFO] running `Command { std: "docker" "start" "-a" "f9dc3ef4bf1c81cb0c189cd58506aa0ba2522defa7fff8e2d6506a45361f8c46", kill_on_drop: false }` [INFO] [stderr] Compiling proc-macro2 v1.0.37 [INFO] [stderr] Compiling unicode-xid v0.2.3 [INFO] [stderr] Compiling syn v1.0.92 [INFO] [stderr] Compiling libc v0.2.125 [INFO] [stderr] Compiling serde v1.0.137 [INFO] [stderr] Compiling log v0.4.17 [INFO] [stderr] Compiling radium v0.7.0 [INFO] [stderr] Compiling serde_derive v1.0.137 [INFO] [stderr] Checking hashbrown v0.11.2 [INFO] [stderr] Checking tap v1.0.1 [INFO] [stderr] Compiling indexmap v1.8.1 [INFO] [stderr] Checking bimap v0.6.2 [INFO] [stderr] Checking funty v2.0.0 [INFO] [stderr] Checking nom v7.1.1 [INFO] [stderr] Checking os_str_bytes v6.0.0 [INFO] [stderr] Checking fixedbitset v0.4.1 [INFO] [stderr] Checking wyz v0.5.0 [INFO] [stderr] Compiling anyhow v1.0.57 [INFO] [stderr] Checking termcolor v1.1.3 [INFO] [stderr] Compiling heck v0.4.0 [INFO] [stderr] Checking clap_lex v0.2.4 [INFO] [stderr] Checking once_cell v1.12.0 [INFO] [stderr] Checking textwrap v0.15.0 [INFO] [stderr] Checking strsim v0.10.0 [INFO] [stderr] Checking bitvec v1.0.0 [INFO] [stderr] Compiling quote v1.0.18 [INFO] [stderr] Checking petgraph v0.6.2 [INFO] [stderr] Compiling proc-macro-error-attr v1.0.4 [INFO] [stderr] Checking atty v0.2.14 [INFO] [stderr] Checking colored v2.0.0 [INFO] [stderr] Checking env_logger v0.9.0 [INFO] [stderr] Checking parity v0.1.0 (/opt/rustwide/workdir/parity) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> parity/src/parse.rs:80:13 [INFO] [stdout] | [INFO] [stdout] 80 | let mut meta_data = g [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 1 warning emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking quick-xml v0.23.0 [INFO] [stderr] Compiling proc-macro-error v1.0.4 [INFO] [stderr] Compiling thiserror-impl v1.0.31 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling clap_derive v3.2.7 [INFO] [stderr] Checking thiserror v1.0.31 [INFO] [stderr] Checking serde-xml-rs v0.5.1 [INFO] [stderr] Checking buchi v0.1.0 (/opt/rustwide/workdir/buchi) [INFO] [stdout] warning: for loop over an `Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> buchi/src/nba.rs:428:35 [INFO] [stdout] | [INFO] [stdout] 428 | for transition in nba.states.get(state) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(for_loops_over_fallibles)]` on by default [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 428 | while let Some(transition) = nba.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 428 | if let Some(transition) = nba.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: for loop over an `Option`. This is more readably written as an `if let` statement [INFO] [stdout] --> buchi/src/nba.rs:458:31 [INFO] [stdout] | [INFO] [stdout] 458 | for transition in self.states.get(state) { [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] help: to check pattern in a loop use `while let` [INFO] [stdout] | [INFO] [stdout] 458 | while let Some(transition) = self.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~~~~ ~~~ [INFO] [stdout] help: consider using `if let` to clear intent [INFO] [stdout] | [INFO] [stdout] 458 | if let Some(transition) = self.states.get(state) { [INFO] [stdout] | ~~~~~~~~~~~~ ~~~ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Checking clap v3.2.7 [INFO] [stderr] Checking ltl v0.1.0 (/opt/rustwide/workdir/ltl) [INFO] [stderr] Checking petri v0.1.0 (/opt/rustwide/workdir/petri) [INFO] [stderr] Checking lmc v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `ltl::Formula` [INFO] [stdout] --> src/transform.rs:249:9 [INFO] [stdout] | [INFO] [stdout] 249 | use ltl::Formula; [INFO] [stdout] | ^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `ltl_to_gnba` [INFO] [stdout] --> src/transform.rs:251:17 [INFO] [stdout] | [INFO] [stdout] 251 | use super::{ltl_to_gnba, _ts_and_buchi_product}; [INFO] [stdout] | ^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 19.30s [INFO] running `Command { std: "docker" "inspect" "f9dc3ef4bf1c81cb0c189cd58506aa0ba2522defa7fff8e2d6506a45361f8c46", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f9dc3ef4bf1c81cb0c189cd58506aa0ba2522defa7fff8e2d6506a45361f8c46", kill_on_drop: false }` [INFO] [stdout] f9dc3ef4bf1c81cb0c189cd58506aa0ba2522defa7fff8e2d6506a45361f8c46