[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] testing xynxynxyn/lmc against beta-2023-04-20 for beta-1.70-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fxynxynxyn%2Flmc" "/workspace/builds/worker-4-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-4-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/xynxynxyn/lmc on toolchain beta-2023-04-20
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+beta-2023-04-20" "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-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" "+beta-2023-04-20" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded quick-xml v0.23.0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:97d61d7686bf65f8ecb15491ab51835e82dc9176a96a831f143a431b191fc501" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 969162983d9371317f73f7d12ea4f304c84bbc47c1f6fa961391ab03a532ff5a
[INFO] running `Command { std: "docker" "start" "-a" "969162983d9371317f73f7d12ea4f304c84bbc47c1f6fa961391ab03a532ff5a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "969162983d9371317f73f7d12ea4f304c84bbc47c1f6fa961391ab03a532ff5a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "969162983d9371317f73f7d12ea4f304c84bbc47c1f6fa961391ab03a532ff5a", kill_on_drop: false }`
[INFO] [stdout] 969162983d9371317f73f7d12ea4f304c84bbc47c1f6fa961391ab03a532ff5a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:97d61d7686bf65f8ecb15491ab51835e82dc9176a96a831f143a431b191fc501" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 9bc5d364b3d4b991b6fed1c26e954ffced3b28cdc47fa8dbf8ef4e218be27824
[INFO] running `Command { std: "docker" "start" "-a" "9bc5d364b3d4b991b6fed1c26e954ffced3b28cdc47fa8dbf8ef4e218be27824", 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 memchr v2.5.0
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]    Compiling libc v0.2.125
[INFO] [stderr]    Compiling serde v1.0.137
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling log v0.4.17
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling proc-macro-error-attr v1.0.4
[INFO] [stderr]    Compiling indexmap v1.8.1
[INFO] [stderr]    Compiling proc-macro-error v1.0.4
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]    Compiling serde_derive v1.0.137
[INFO] [stderr]    Compiling hashbrown v0.11.2
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling itertools v0.10.3
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling wyz v0.5.0
[INFO] [stderr]    Compiling nom v7.1.1
[INFO] [stderr]    Compiling aho-corasick v0.7.18
[INFO] [stderr]    Compiling bimap v0.6.2
[INFO] [stderr]    Compiling regex-syntax v0.6.26
[INFO] [stderr]    Compiling termcolor v1.1.3
[INFO] [stderr]    Compiling heck v0.4.0
[INFO] [stderr]    Compiling xml-rs v0.8.4
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling os_str_bytes v6.0.0
[INFO] [stderr]    Compiling fixedbitset v0.4.1
[INFO] [stderr]    Compiling anyhow v1.0.57
[INFO] [stderr]    Compiling lazy_static v1.4.0
[INFO] [stderr]    Compiling petgraph v0.6.2
[INFO] [stderr]    Compiling colored v2.0.0
[INFO] [stderr]    Compiling quick-xml v0.23.0
[INFO] [stderr]    Compiling regex v1.5.6
[INFO] [stderr]    Compiling bitvec v1.0.0
[INFO] [stderr]    Compiling clap_lex v0.2.4
[INFO] [stderr]    Compiling humantime v2.1.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling strsim v0.10.0
[INFO] [stderr]    Compiling textwrap v0.15.0
[INFO] [stderr]    Compiling once_cell v1.12.0
[INFO] [stderr]    Compiling env_logger v0.9.0
[INFO] [stderr]    Compiling parity v0.1.0 (/opt/rustwide/workdir/parity)
[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]    Compiling thiserror v1.0.31
[INFO] [stderr]    Compiling serde-xml-rs v0.5.1
[INFO] [stderr]    Compiling 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] [stderr]    Compiling clap v3.2.7
[INFO] [stdout] warning: 2 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling ltl v0.1.0 (/opt/rustwide/workdir/ltl)
[INFO] [stderr]    Compiling petri v0.1.0 (/opt/rustwide/workdir/petri)
[INFO] [stderr]    Compiling lmc v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 34.10s
[INFO] running `Command { std: "docker" "inspect" "9bc5d364b3d4b991b6fed1c26e954ffced3b28cdc47fa8dbf8ef4e218be27824", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9bc5d364b3d4b991b6fed1c26e954ffced3b28cdc47fa8dbf8ef4e218be27824", kill_on_drop: false }`
[INFO] [stdout] 9bc5d364b3d4b991b6fed1c26e954ffced3b28cdc47fa8dbf8ef4e218be27824
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:97d61d7686bf65f8ecb15491ab51835e82dc9176a96a831f143a431b191fc501" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 6059c89814f7542755933a43cbadb4435817662ef5a9e88d71a5bbdea222a0a6
[INFO] running `Command { std: "docker" "start" "-a" "6059c89814f7542755933a43cbadb4435817662ef5a9e88d71a5bbdea222a0a6", kill_on_drop: false }`
[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]    Compiling 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 test [unoptimized + debuginfo] target(s) in 1.45s
[INFO] running `Command { std: "docker" "inspect" "6059c89814f7542755933a43cbadb4435817662ef5a9e88d71a5bbdea222a0a6", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6059c89814f7542755933a43cbadb4435817662ef5a9e88d71a5bbdea222a0a6", kill_on_drop: false }`
[INFO] [stdout] 6059c89814f7542755933a43cbadb4435817662ef5a9e88d71a5bbdea222a0a6
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "RUSTDOCFLAGS=--cap-lints=warn" "-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:97d61d7686bf65f8ecb15491ab51835e82dc9176a96a831f143a431b191fc501" "/opt/rustwide/cargo-home/bin/cargo" "+beta-2023-04-20" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] a35c69fa173b1390b25348f0f1a1a20085792caa216370ffafb9ee9eba54d7fb
[INFO] running `Command { std: "docker" "start" "-a" "a35c69fa173b1390b25348f0f1a1a20085792caa216370ffafb9ee9eba54d7fb", kill_on_drop: false }`
[INFO] [stderr] warning: for loop over an `Option`. This is more readably written as an `if let` statement
[INFO] [stderr]    --> buchi/src/nba.rs:428:35
[INFO] [stderr]     |
[INFO] [stderr] 428 |                 for transition in nba.states.get(state) {
[INFO] [stderr]     |                                   ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(for_loops_over_fallibles)]` on by default
[INFO] [stderr] help: to check pattern in a loop use `while let`
[INFO] [stderr]     |
[INFO] [stderr] 428 |                 while let Some(transition) = nba.states.get(state) {
[INFO] [stderr]     |                 ~~~~~~~~~~~~~~~          ~~~
[INFO] [stderr] help: consider using `if let` to clear intent
[INFO] [stderr]     |
[INFO] [stderr] 428 |                 if let Some(transition) = nba.states.get(state) {
[INFO] [stderr]     |                 ~~~~~~~~~~~~          ~~~
[INFO] [stderr] 
[INFO] [stderr] warning: for loop over an `Option`. This is more readably written as an `if let` statement
[INFO] [stderr]    --> buchi/src/nba.rs:458:31
[INFO] [stderr]     |
[INFO] [stderr] 458 |             for transition in self.states.get(state) {
[INFO] [stderr]     |                               ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr] help: to check pattern in a loop use `while let`
[INFO] [stderr]     |
[INFO] [stderr] 458 |             while let Some(transition) = self.states.get(state) {
[INFO] [stderr]     |             ~~~~~~~~~~~~~~~          ~~~
[INFO] [stderr] help: consider using `if let` to clear intent
[INFO] [stderr]     |
[INFO] [stderr] 458 |             if let Some(transition) = self.states.get(state) {
[INFO] [stderr]     |             ~~~~~~~~~~~~          ~~~
[INFO] [stderr] 
[INFO] [stderr] warning: `buchi` (lib) generated 2 warnings
[INFO] [stderr] warning: unused import: `ltl::Formula`
[INFO] [stderr]    --> src/transform.rs:249:9
[INFO] [stderr]     |
[INFO] [stderr] 249 |     use ltl::Formula;
[INFO] [stderr]     |         ^^^^^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_imports)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused import: `ltl_to_gnba`
[INFO] [stderr]    --> src/transform.rs:251:17
[INFO] [stderr]     |
[INFO] [stderr] 251 |     use super::{ltl_to_gnba, _ts_and_buchi_product};
[INFO] [stderr]     |                 ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `lmc` (bin "lmc" test) generated 2 warnings (run `cargo fix --bin "lmc" --tests` to apply 2 suggestions)
[INFO] [stderr]     Finished test [unoptimized + debuginfo] target(s) in 0.03s
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/lmc-851a82141583ffb9)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test transform::test::small_product ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- transform::test::small_product stdout ----
[INFO] [stdout] TS
[INFO] [stdout] digraph g {
[INFO] [stdout] mindist = 2.0
[INFO] [stdout] "{a}" -> {"{a}"} [label = ""]
[INFO] [stdout] "{a}" -> {"{a, b}"} [label = ""]
[INFO] [stdout] "{a, b}" -> {"{a}"} [label = ""]
[INFO] [stdout] "{a, b}" -> {"{a}"} [label = ""]
[INFO] [stdout] "{a}" -> {"{a, b}"} [label = ""]
[INFO] [stdout] "{a, b}" -> {"{a}"} [label = ""]
[INFO] [stdout] init0 [label="", shape=point]
[INFO] [stdout] init0 -> "{a, b}"
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] A
[INFO] [stdout] digraph g {
[INFO] [stdout] mindist = 2.0
[INFO] [stdout] "q0" -> {"q1"} [label = "{a, b}"]
[INFO] [stdout] "q0" -> {"q0"} [label = "{}"]
[INFO] [stdout] "q0" -> {"q0"} [label = "{b}"]
[INFO] [stdout] "q0" -> {"q1"} [label = "{a}"]
[INFO] [stdout] "q2" -> {"q2"} [label = "{true}"]
[INFO] [stdout] "q1" -> {"q1"} [label = "{}"]
[INFO] [stdout] "q1" -> {"q0"} [label = "{a}"]
[INFO] [stdout] "q1" -> {"q0"} [label = "{a, b}"]
[INFO] [stdout] "q1" -> {"q2"} [label = "{a, b}"]
[INFO] [stdout] "q1" -> {"q2"} [label = "{b}"]
[INFO] [stdout] "q1" -> {"q1"} [label = "{b}"]
[INFO] [stdout] init0 [label="", shape=point]
[INFO] [stdout] init0 -> "q0"
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] Product:
[INFO] [stdout] digraph g {
[INFO] [stdout] mindist = 2.0
[INFO] [stdout] "<s3,q1>({a, b},q1)" -> {"<s1,q0>({a},q0)"} [label = ""]
[INFO] [stdout] "<s3,q1>({a, b},q1)" -> {"<s2,q0>({a},q0)"} [label = ""]
[INFO] [stdout] "<s1,q1>({a},q1)" -> {"<s3,q2>({a, b},q2)"} [label = ""]
[INFO] [stdout] "<s1,q1>({a},q1)" -> {"<s3,q0>({a, b},q0)"} [label = ""]
[INFO] [stdout] "<s2,q1>({a},q1)" -> {"<s0,q0>({a, b},q0)"} [label = ""]
[INFO] [stdout] "<s2,q1>({a},q1)" -> {"<s0,q2>({a, b},q2)"} [label = ""]
[INFO] [stdout] "<s2,q1>({a},q1)" -> {"<s1,q0>({a},q0)"} [label = ""]
[INFO] [stdout] "<s3,q0>({a, b},q0)" -> {"<s2,q1>({a},q1)"} [label = ""]
[INFO] [stdout] "<s3,q0>({a, b},q0)" -> {"<s1,q1>({a},q1)"} [label = ""]
[INFO] [stdout] "<s1,q0>({a},q0)" -> {"<s3,q1>({a, b},q1)"} [label = ""]
[INFO] [stdout] "<s2,q0>({a},q0)" -> {"<s1,q1>({a},q1)"} [label = ""]
[INFO] [stdout] "<s2,q0>({a},q0)" -> {"<s0,q1>({a, b},q1)"} [label = ""]
[INFO] [stdout] "<s0,q1>({a, b},q1)" -> {"<s1,q0>({a},q0)"} [label = ""]
[INFO] [stdout] "<s0,q0>({a, b},q0)" -> {"<s1,q1>({a},q1)"} [label = ""]
[INFO] [stdout] init0 [label="", shape=point]
[INFO] [stdout] init0 -> "<s0,q1>({a, b},q1)"
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] thread 'transform::test::small_product' panicked at 'Hey', src/transform.rs:291:9
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x55dc94c0e65a - std::backtrace_rs::backtrace::libunwind::trace::h2f05d0192276a8f6
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/../../backtrace/src/backtrace/libunwind.rs:93:5
[INFO] [stdout]    1:     0x55dc94c0e65a - std::backtrace_rs::backtrace::trace_unsynchronized::hedc23dff7a1af150
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x55dc94c0e65a - std::sys_common::backtrace::_print_fmt::h17541ef7592f3ce2
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/sys_common/backtrace.rs:65:5
[INFO] [stdout]    3:     0x55dc94c0e65a - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h20f75df5ab0c0792
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/sys_common/backtrace.rs:44:22
[INFO] [stdout]    4:     0x55dc94c322af - core::fmt::write::h78109e6f466b3af6
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/fmt/mod.rs:1254:17
[INFO] [stdout]    5:     0x55dc94c0b9a5 - std::io::Write::write_fmt::hd24bfb68a1b35a25
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/io/mod.rs:1698:15
[INFO] [stdout]    6:     0x55dc94c0e425 - std::sys_common::backtrace::_print::h8dac57a9f8fbf9a5
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/sys_common/backtrace.rs:47:5
[INFO] [stdout]    7:     0x55dc94c0e425 - std::sys_common::backtrace::print::hf9ecbf41d1aa712f
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/sys_common/backtrace.rs:34:9
[INFO] [stdout]    8:     0x55dc94c100de - std::panicking::default_hook::{{closure}}::h04c07acfc84ca028
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:269:22
[INFO] [stdout]    9:     0x55dc94c0fe11 - std::panicking::default_hook::h01f6bb23e1eceb2c
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:285:9
[INFO] [stdout]   10:     0x55dc94bb12db - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h87fe9f7b2fd49e4c
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/alloc/src/boxed.rs:1987:9
[INFO] [stdout]   11:     0x55dc94bb12db - test::test_main::{{closure}}::he94d679243a7531b
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/test/src/lib.rs:134:21
[INFO] [stdout]   12:     0x55dc94c107c4 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h3f2d6d8b14c4769f
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/alloc/src/boxed.rs:1987:9
[INFO] [stdout]   13:     0x55dc94c107c4 - std::panicking::rust_panic_with_hook::h2bb3722bbaf2f6df
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:695:13
[INFO] [stdout]   14:     0x55dc94c104f2 - std::panicking::begin_panic_handler::{{closure}}::h91bc7f36a4be011b
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:580:13
[INFO] [stdout]   15:     0x55dc94c0eac6 - std::sys_common::backtrace::__rust_end_short_backtrace::h8b3d3717114f9e59
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/sys_common/backtrace.rs:150:18
[INFO] [stdout]   16:     0x55dc94c10292 - rust_begin_unwind
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:578:5
[INFO] [stdout]   17:     0x55dc94b75ba3 - core::panicking::panic_fmt::hfd368e3fbdabea26
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/panicking.rs:67:14
[INFO] [stdout]   18:     0x55dc94b7d79d - lmc::transform::test::small_product::h58aa77df963f6154
[INFO] [stdout]                                at /opt/rustwide/workdir/src/transform.rs:291:9
[INFO] [stdout]   19:     0x55dc94b7ceb7 - lmc::transform::test::small_product::{{closure}}::h2ed24faa7c9290d4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/transform.rs:254:28
[INFO] [stdout]   20:     0x55dc94b79525 - core::ops::function::FnOnce::call_once::hc6133f56f3f664b2
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   21:     0x55dc94bb61af - core::ops::function::FnOnce::call_once::ha6a70e79f7481a7e
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   22:     0x55dc94bb61af - test::__rust_begin_short_backtrace::hce33033019b61e69
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/test/src/lib.rs:655:18
[INFO] [stdout]   23:     0x55dc94b8399c - test::run_test::{{closure}}::h858d3528838ae3e5
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/test/src/lib.rs:646:30
[INFO] [stdout]   24:     0x55dc94b8399c - core::ops::function::FnOnce::call_once{{vtable.shim}}::he8ac2b00f01ae79e
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x55dc94bb5286 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h8093d25b522725ef
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/alloc/src/boxed.rs:1973:9
[INFO] [stdout]   26:     0x55dc94bb5286 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::h5c334c204e4a3913
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   27:     0x55dc94bb5286 - std::panicking::try::do_call::ha8b740c7b9478074
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:485:40
[INFO] [stdout]   28:     0x55dc94bb5286 - std::panicking::try::h5d34f63d0e41b64e
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:449:19
[INFO] [stdout]   29:     0x55dc94bb5286 - std::panic::catch_unwind::hcfbb511e1aa7fc67
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panic.rs:140:14
[INFO] [stdout]   30:     0x55dc94bb5286 - test::run_test_in_process::h9abda90f802eaf21
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/test/src/lib.rs:678:27
[INFO] [stdout]   31:     0x55dc94bb5286 - test::run_test::run_test_inner::{{closure}}::h0f058de91f6c6edf
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/test/src/lib.rs:572:39
[INFO] [stdout]   32:     0x55dc94b7e1a5 - test::run_test::run_test_inner::{{closure}}::h5ca48a4c59c6c1fb
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/test/src/lib.rs:599:37
[INFO] [stdout]   33:     0x55dc94b7e1a5 - std::sys_common::backtrace::__rust_begin_short_backtrace::h32bd51e1495d4a33
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/sys_common/backtrace.rs:134:18
[INFO] [stdout]   34:     0x55dc94b836e1 - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::hc086fae9b128b2db
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/thread/mod.rs:526:17
[INFO] [stdout]   35:     0x55dc94b836e1 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hb66571888d270d43
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/panic/unwind_safe.rs:271:9
[INFO] [stdout]   36:     0x55dc94b836e1 - std::panicking::try::do_call::h4fa2ef4f6e51fecf
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:485:40
[INFO] [stdout]   37:     0x55dc94b836e1 - std::panicking::try::h1e9e22b8584489b5
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panicking.rs:449:19
[INFO] [stdout]   38:     0x55dc94b836e1 - std::panic::catch_unwind::h44698a3de0e0769e
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/panic.rs:140:14
[INFO] [stdout]   39:     0x55dc94b836e1 - std::thread::Builder::spawn_unchecked_::{{closure}}::h50153abde3fe239e
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/thread/mod.rs:525:30
[INFO] [stdout]   40:     0x55dc94b836e1 - core::ops::function::FnOnce::call_once{{vtable.shim}}::hbe5bbf6f38394364
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   41:     0x55dc94c14c95 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h0d83cb2920a49046
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/alloc/src/boxed.rs:1973:9
[INFO] [stdout]   42:     0x55dc94c14c95 - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::hbe0a008aa7d9ef59
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/alloc/src/boxed.rs:1973:9
[INFO] [stdout]   43:     0x55dc94c14c95 - std::sys::unix::thread::Thread::new::thread_start::h3a466996bdf6b1f9
[INFO] [stdout]                                at /rustc/1b7dd2252b99671ce5d1cb9664c5f8636329436d/library/std/src/sys/unix/thread.rs:108:17
[INFO] [stdout]   44:     0x7fc27c9c4b43 - <unknown>
[INFO] [stdout]   45:     0x7fc27ca55bb4 - __clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     transform::test::small_product
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 0 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--bin lmc`
[INFO] running `Command { std: "docker" "inspect" "a35c69fa173b1390b25348f0f1a1a20085792caa216370ffafb9ee9eba54d7fb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "a35c69fa173b1390b25348f0f1a1a20085792caa216370ffafb9ee9eba54d7fb", kill_on_drop: false }`
[INFO] [stdout] a35c69fa173b1390b25348f0f1a1a20085792caa216370ffafb9ee9eba54d7fb
