[INFO] fetching crate omega-automata 0.1.1... [INFO] testing omega-automata-0.1.1 against try#dec9417b8611e34e787a3e4c37686b5131f9e5c5 for pr-154210-2 [INFO] extracting crate omega-automata 0.1.1 into /workspace/builds/worker-2-tc2/source [INFO] removed /workspace/builds/worker-2-tc2/source/rust-toolchain.toml [INFO] started tweaking crates.io crate omega-automata 0.1.1 [INFO] finished tweaking crates.io crate omega-automata 0.1.1 [INFO] tweaked toml for crates.io crate omega-automata 0.1.1 written to /workspace/builds/worker-2-tc2/source/Cargo.toml [INFO] validating manifest of crates.io crate omega-automata 0.1.1 on toolchain dec9417b8611e34e787a3e4c37686b5131f9e5c5 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate crates.io crate omega-automata 0.1.1 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" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3f914eb9590ee0793287347a0d7c8f165a943081f2c0ef9ea98738676e7f9dc1 [INFO] running `Command { std: "docker" "start" "-a" "3f914eb9590ee0793287347a0d7c8f165a943081f2c0ef9ea98738676e7f9dc1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3f914eb9590ee0793287347a0d7c8f165a943081f2c0ef9ea98738676e7f9dc1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3f914eb9590ee0793287347a0d7c8f165a943081f2c0ef9ea98738676e7f9dc1", kill_on_drop: false }` [INFO] [stdout] 3f914eb9590ee0793287347a0d7c8f165a943081f2c0ef9ea98738676e7f9dc1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 6e47e91f533e3f71869b106707030980283092cd60d29e513ee228124d41b639 [INFO] running `Command { std: "docker" "start" "-a" "6e47e91f533e3f71869b106707030980283092cd60d29e513ee228124d41b639", kill_on_drop: false }` [INFO] [stderr] Compiling zerocopy v0.8.27 [INFO] [stderr] Compiling color v0.3.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.9.0 [INFO] [stderr] Compiling rand v0.9.2 [INFO] [stderr] Compiling omega-automata v0.1.1 (/opt/rustwide/workdir) [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 7.41s [INFO] running `Command { std: "docker" "inspect" "6e47e91f533e3f71869b106707030980283092cd60d29e513ee228124d41b639", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "6e47e91f533e3f71869b106707030980283092cd60d29e513ee228124d41b639", kill_on_drop: false }` [INFO] [stdout] 6e47e91f533e3f71869b106707030980283092cd60d29e513ee228124d41b639 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 72beb5dabf3b964e28b02dd4c8b9d10d079962cb1d979952c6569803f243beda [INFO] running `Command { std: "docker" "start" "-a" "72beb5dabf3b964e28b02dd4c8b9d10d079962cb1d979952c6569803f243beda", kill_on_drop: false }` [INFO] [stderr] Compiling omega-automata v0.1.1 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused variable: `q` [INFO] [stdout] --> src/automata/mod.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | let q = formulas.atom(2); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_q` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `u1u2` [INFO] [stdout] --> src/automata/mod.rs:78:13 [INFO] [stdout] | [INFO] [stdout] 78 | let u1u2 = formulas.and(u1, u2); [INFO] [stdout] | ^^^^ help: if this is intentional, prefix it with an underscore: `_u1u2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `r` [INFO] [stdout] --> src/automata/mod.rs:79:13 [INFO] [stdout] | [INFO] [stdout] 79 | let r = formulas.release(f, u2); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 1.91s [INFO] running `Command { std: "docker" "inspect" "72beb5dabf3b964e28b02dd4c8b9d10d079962cb1d979952c6569803f243beda", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "72beb5dabf3b964e28b02dd4c8b9d10d079962cb1d979952c6569803f243beda", kill_on_drop: false }` [INFO] [stdout] 72beb5dabf3b964e28b02dd4c8b9d10d079962cb1d979952c6569803f243beda [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+dec9417b8611e34e787a3e4c37686b5131f9e5c5" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] db2fbaee8bb269377c631a45b687f01e725a5c233d77067beac4b0aa8c8b1a5d [INFO] running `Command { std: "docker" "start" "-a" "db2fbaee8bb269377c631a45b687f01e725a5c233d77067beac4b0aa8c8b1a5d", kill_on_drop: false }` [INFO] [stderr] warning: unused variable: `q` [INFO] [stderr] --> src/automata/mod.rs:75:13 [INFO] [stderr] | [INFO] [stderr] 75 | let q = formulas.atom(2); [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_q` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `u1u2` [INFO] [stderr] --> src/automata/mod.rs:78:13 [INFO] [stderr] | [INFO] [stderr] 78 | let u1u2 = formulas.and(u1, u2); [INFO] [stderr] | ^^^^ help: if this is intentional, prefix it with an underscore: `_u1u2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `r` [INFO] [stderr] --> src/automata/mod.rs:79:13 [INFO] [stderr] | [INFO] [stderr] 79 | let r = formulas.release(f, u2); [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_r` [INFO] [stderr] [INFO] [stderr] warning: `omega-automata` (lib test) generated 3 warnings (run `cargo fix --lib -p omega-automata --tests` to apply 3 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/omega_automata-738a9c84d7dd9191) [INFO] [stdout] [INFO] [stdout] running 16 tests [INFO] [stdout] test automata::tests::example_test ... ok [INFO] [stdout] test automata::tests::test_gbw1 ... ok [INFO] [stdout] test automata::tests::test_gbw3 ... ok [INFO] [stdout] test automata::tests::test_nbw2 ... ok [INFO] [stdout] test automata::tests::test_gbw2 ... ok [INFO] [stdout] test automata::tests::test_simple1 ... ok [INFO] [stdout] test automata::tests::test_simple2 ... ok [INFO] [stdout] test automata::tests::test_unsat1 ... ok [INFO] [stdout] test automata::tests::test_simple3 ... ok [INFO] [stdout] test automata::tests::test_unsat2 ... ok [INFO] [stdout] test ltl::tests::normalize_ltl ... ok [INFO] [stdout] test ltl::tests::print_ltl ... ok [INFO] [stdout] test tests::example_test ... ok [INFO] [stdout] test automata::tests::test_sat2 ... ok [INFO] [stdout] test tests::test_sat2 ... ok [INFO] [stdout] test automata::tests::test_sat1 ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s [INFO] [stdout] [INFO] [stderr] Doc-tests omega_automata [INFO] [stdout] [INFO] [stdout] running 1 test [INFO] [stdout] test src/lib.rs - (line 32) ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s [INFO] [stdout] [INFO] [stdout] all doctests ran in 0.47s; merged doctests compilation took 0.45s [INFO] running `Command { std: "docker" "inspect" "db2fbaee8bb269377c631a45b687f01e725a5c233d77067beac4b0aa8c8b1a5d", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "db2fbaee8bb269377c631a45b687f01e725a5c233d77067beac4b0aa8c8b1a5d", kill_on_drop: false }` [INFO] [stdout] db2fbaee8bb269377c631a45b687f01e725a5c233d77067beac4b0aa8c8b1a5d