[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] bb010892c3d0e32fec9d6ba48be345e90b8430fa
[INFO] checking xynxynxyn/lmc against try#0c46a61b05fb97ea2e031df461bcb1436e3c5bc3 for pr-98456-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc" "/workspace/builds/worker-4/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/xynxynxyn/lmc on toolchain 0c46a61b05fb97ea2e031df461bcb1436e3c5bc3
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+0c46a61b05fb97ea2e031df461bcb1436e3c5bc3" "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-4/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: "/workspace/cargo-home/bin/cargo" "+0c46a61b05fb97ea2e031df461bcb1436e3c5bc3" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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:ac0d0aa6ec8ed129e241004a6179c99fa0d2616f50ba759c5b60bd26d0fafa02" "/opt/rustwide/cargo-home/bin/cargo" "+0c46a61b05fb97ea2e031df461bcb1436e3c5bc3" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 8413f7dc945751cd57880678b28a821977e510b62d9180f111d73d51329b687d
[INFO] running `Command { std: "docker" "start" "-a" "8413f7dc945751cd57880678b28a821977e510b62d9180f111d73d51329b687d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "8413f7dc945751cd57880678b28a821977e510b62d9180f111d73d51329b687d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8413f7dc945751cd57880678b28a821977e510b62d9180f111d73d51329b687d", kill_on_drop: false }`
[INFO] [stdout] 8413f7dc945751cd57880678b28a821977e510b62d9180f111d73d51329b687d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4/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" "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:ac0d0aa6ec8ed129e241004a6179c99fa0d2616f50ba759c5b60bd26d0fafa02" "/opt/rustwide/cargo-home/bin/cargo" "+0c46a61b05fb97ea2e031df461bcb1436e3c5bc3" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e518ff38e707f4493e498046dac8c2d779dde62226fe5224990cd9e6ce8cdf13
[INFO] running `Command { std: "docker" "start" "-a" "e518ff38e707f4493e498046dac8c2d779dde62226fe5224990cd9e6ce8cdf13", 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 version_check v0.9.4
[INFO] [stderr]    Compiling memchr v2.5.0
[INFO] [stderr]    Compiling serde v1.0.137
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling libc v0.2.125
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling serde_derive v1.0.137
[INFO] [stderr]     Checking either v1.6.1
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking tap v1.0.1
[INFO] [stderr]     Checking minimal-lexical v0.2.1
[INFO] [stderr]     Checking funty v2.0.0
[INFO] [stderr]     Checking xml-rs v0.8.4
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]     Checking fixedbitset v0.4.1
[INFO] [stderr]     Checking os_str_bytes v6.0.0
[INFO] [stderr]    Compiling anyhow v1.0.57
[INFO] [stderr]     Checking bimap v0.6.2
[INFO] [stderr]     Checking bitflags v1.3.2
[INFO] [stderr]     Checking textwrap v0.15.0
[INFO] [stderr]     Checking lazy_static v1.4.0
[INFO] [stderr]     Checking termcolor v1.1.3
[INFO] [stderr]     Checking strsim v0.10.0
[INFO] [stderr]     Checking itertools v0.10.3
[INFO] [stderr]     Checking wyz v0.5.0
[INFO] [stderr]     Checking clap_lex v0.2.0
[INFO] [stderr]    Compiling indexmap v1.8.1
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]     Checking bitvec v1.0.0
[INFO] [stderr]     Checking nom v7.1.1
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]     Checking atty v0.2.14
[INFO] [stderr]     Checking petgraph v0.6.2
[INFO] [stderr]     Checking parity v0.1.0 (/opt/rustwide/workdir/parity)
[INFO] [stderr]     Checking quick-xml v0.23.0
[INFO] [stderr]    Compiling thiserror-impl v1.0.31
[INFO] [stderr]    Compiling clap_derive v3.1.7
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]     Checking thiserror v1.0.31
[INFO] [stderr]     Checking clap v3.1.17
[INFO] [stderr]     Checking serde-xml-rs v0.5.1
[INFO] [stderr]     Checking buchi v0.1.0 (/opt/rustwide/workdir/buchi)
[INFO] [stderr]     Checking ltl v0.1.0 (/opt/rustwide/workdir/ltl)
[INFO] [stderr]     Checking petri v0.1.0 (/opt/rustwide/workdir/petri)
[INFO] [stdout] warning: unused variable: `closure`
[INFO] [stdout]    --> ltl/src/formula.rs:100:13
[INFO] [stdout]     |
[INFO] [stdout] 100 |         let closure = self
[INFO] [stdout]     |             ^^^^^^^ help: if this is intentional, prefix it with an underscore: `_closure`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[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: function `ts_and_buchi_product` is never used
[INFO] [stdout]   --> src/transform.rs:10:8
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub fn ts_and_buchi_product(ts: Buchi, a: Buchi) -> Buchi {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 16.69s
[INFO] running `Command { std: "docker" "inspect" "e518ff38e707f4493e498046dac8c2d779dde62226fe5224990cd9e6ce8cdf13", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e518ff38e707f4493e498046dac8c2d779dde62226fe5224990cd9e6ce8cdf13", kill_on_drop: false }`
[INFO] [stdout] e518ff38e707f4493e498046dac8c2d779dde62226fe5224990cd9e6ce8cdf13