[INFO] fetching crate omega-automata 0.1.1...
[INFO] testing omega-automata-0.1.1 against master#562dee4820c458d823175268e41601d4c060588a for pr-154210-2
[INFO] extracting crate omega-automata 0.1.1 into /workspace/builds/worker-2-tc1/source
[INFO] removed /workspace/builds/worker-2-tc1/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-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate omega-automata 0.1.1 on toolchain 562dee4820c458d823175268e41601d4c060588a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "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" "+562dee4820c458d823175268e41601d4c060588a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded color v0.3.2
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 016dd301dac04cb4a2cf1a5a1ef0205e03aba3bc94046a78f7b0f3c1c574e2c1
[INFO] running `Command { std: "docker" "start" "-a" "016dd301dac04cb4a2cf1a5a1ef0205e03aba3bc94046a78f7b0f3c1c574e2c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "016dd301dac04cb4a2cf1a5a1ef0205e03aba3bc94046a78f7b0f3c1c574e2c1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "016dd301dac04cb4a2cf1a5a1ef0205e03aba3bc94046a78f7b0f3c1c574e2c1", kill_on_drop: false }`
[INFO] [stdout] 016dd301dac04cb4a2cf1a5a1ef0205e03aba3bc94046a78f7b0f3c1c574e2c1
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4ef95947bd7255a108716739bf437700a5e141f585be2d052cceb4f7d85d4d7a
[INFO] running `Command { std: "docker" "start" "-a" "4ef95947bd7255a108716739bf437700a5e141f585be2d052cceb4f7d85d4d7a", 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 6.38s
[INFO] running `Command { std: "docker" "inspect" "4ef95947bd7255a108716739bf437700a5e141f585be2d052cceb4f7d85d4d7a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4ef95947bd7255a108716739bf437700a5e141f585be2d052cceb4f7d85d4d7a", kill_on_drop: false }`
[INFO] [stdout] 4ef95947bd7255a108716739bf437700a5e141f585be2d052cceb4f7d85d4d7a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 5e551d758b112585e2babc31a38e248a9dccc86f47f7fe207140e27e10b715dc
[INFO] running `Command { std: "docker" "start" "-a" "5e551d758b112585e2babc31a38e248a9dccc86f47f7fe207140e27e10b715dc", 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 2.27s
[INFO] running `Command { std: "docker" "inspect" "5e551d758b112585e2babc31a38e248a9dccc86f47f7fe207140e27e10b715dc", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5e551d758b112585e2babc31a38e248a9dccc86f47f7fe207140e27e10b715dc", kill_on_drop: false }`
[INFO] [stdout] 5e551d758b112585e2babc31a38e248a9dccc86f47f7fe207140e27e10b715dc
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-2-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:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+562dee4820c458d823175268e41601d4c060588a" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] b3d543155574b165ded67194ac7d47a0c10854fbdbae754dc1002b7d27e58ec5
[INFO] running `Command { std: "docker" "start" "-a" "b3d543155574b165ded67194ac7d47a0c10854fbdbae754dc1002b7d27e58ec5", 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.07s
[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_sat1 ... ok
[INFO] [stdout] test automata::tests::test_gbw1 ... ok
[INFO] [stdout] test automata::tests::test_gbw3 ... ok
[INFO] [stdout] test automata::tests::test_simple1 ... ok
[INFO] [stdout] test automata::tests::test_gbw2 ... ok
[INFO] [stdout] test ltl::tests::print_ltl ... ok
[INFO] [stdout] test automata::tests::test_unsat2 ... ok
[INFO] [stdout] test ltl::tests::normalize_ltl ... ok
[INFO] [stdout] test automata::tests::test_simple3 ... ok
[INFO] [stdout] test automata::tests::test_sat2 ... ok
[INFO] [stdout] test tests::example_test ... ok
[INFO] [stdout] test automata::tests::test_unsat1 ... ok
[INFO] [stdout] test tests::test_sat2 ... ok
[INFO] [stdout] test automata::tests::test_simple2 ... ok
[INFO] [stdout] test automata::tests::test_nbw2 ... 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.44s
[INFO] running `Command { std: "docker" "inspect" "b3d543155574b165ded67194ac7d47a0c10854fbdbae754dc1002b7d27e58ec5", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b3d543155574b165ded67194ac7d47a0c10854fbdbae754dc1002b7d27e58ec5", kill_on_drop: false }`
[INFO] [stdout] b3d543155574b165ded67194ac7d47a0c10854fbdbae754dc1002b7d27e58ec5