[INFO] fetching crate sat-solvers 0.1.1...
[INFO] testing sat-solvers-0.1.1 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate sat-solvers 0.1.1 into /workspace/builds/worker-1-tc2/source
[INFO] started tweaking crates.io crate sat-solvers 0.1.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate sat-solvers 0.1.1
[INFO] tweaked toml for crates.io crate sat-solvers 0.1.1 written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate sat-solvers 0.1.1 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate sat-solvers 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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] cb595b151a15697278bf25d86c7ea0a682215e79170b5822e66b0bddcd6eac7b
[INFO] running `Command { std: "docker" "start" "-a" "cb595b151a15697278bf25d86c7ea0a682215e79170b5822e66b0bddcd6eac7b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "cb595b151a15697278bf25d86c7ea0a682215e79170b5822e66b0bddcd6eac7b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "cb595b151a15697278bf25d86c7ea0a682215e79170b5822e66b0bddcd6eac7b", kill_on_drop: false }`
[INFO] [stdout] cb595b151a15697278bf25d86c7ea0a682215e79170b5822e66b0bddcd6eac7b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 485b3a9d8b27c2b87a33e1ee9c959e1885dcd7438139af8302de288139e05d21
[INFO] running `Command { std: "docker" "start" "-a" "485b3a9d8b27c2b87a33e1ee9c959e1885dcd7438139af8302de288139e05d21", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.180
[INFO] [stderr]    Compiling thiserror v2.0.17
[INFO] [stderr]    Compiling sat-solvers v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]    Compiling thiserror-impl v2.0.17
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling tempfile v3.24.0
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 58.38s
[INFO] running `Command { std: "docker" "inspect" "485b3a9d8b27c2b87a33e1ee9c959e1885dcd7438139af8302de288139e05d21", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "485b3a9d8b27c2b87a33e1ee9c959e1885dcd7438139af8302de288139e05d21", kill_on_drop: false }`
[INFO] [stdout] 485b3a9d8b27c2b87a33e1ee9c959e1885dcd7438139af8302de288139e05d21
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 7ce4a84d8be390d5922cc78478fc258bacaecd26ef193227aabd7a5dbfec856d
[INFO] running `Command { std: "docker" "start" "-a" "7ce4a84d8be390d5922cc78478fc258bacaecd26ef193227aabd7a5dbfec856d", kill_on_drop: false }`
[INFO] [stderr]    Compiling sat-solvers v0.1.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.77s
[INFO] running `Command { std: "docker" "inspect" "7ce4a84d8be390d5922cc78478fc258bacaecd26ef193227aabd7a5dbfec856d", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "7ce4a84d8be390d5922cc78478fc258bacaecd26ef193227aabd7a5dbfec856d", kill_on_drop: false }`
[INFO] [stdout] 7ce4a84d8be390d5922cc78478fc258bacaecd26ef193227aabd7a5dbfec856d
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 94b340d49d5faeaddba6b8390aae9d3ccc3b8f17ffb323af951599c1cdc5de21
[INFO] running `Command { std: "docker" "start" "-a" "94b340d49d5faeaddba6b8390aae9d3ccc3b8f17ffb323af951599c1cdc5de21", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sat_solvers-fe807277fe9d4a3c)
[INFO] [stdout] 
[INFO] [stdout] running 6 tests
[INFO] [stdout] test solvers::cadical::tests::test_parse_invalid_output ... ok
[INFO] [stdout] test solvers::minisat::tests::test_parse_output ... ok
[INFO] [stdout] test solvers::cadical::tests::test_parse_output ... ok
[INFO] [stdout] test solvers::minisat::tests::test_parse_unsat_output ... ok
[INFO] [stdout] test solvers::minisat::tests::test_parse_invalid_output ... ok
[INFO] [stdout] test solvers::cadical::tests::test_parse_unsat_output ... ok
[INFO] [stdout] 
[INFO] [stderr]      Running tests/integration_tests.rs (/opt/rustwide/target/debug/deps/integration_tests-cafa601dcb9ec723)
[INFO] [stdout] test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 4 tests
[INFO] [stdout] test solvers::binaries::test_minisat_binary ... ok
[INFO] [stdout] test solvers::binaries::test_cadical_binary ... ok
[INFO] [stdout] test solvers::executors::test_solver_integration_satisfiable ... ok
[INFO] [stdout] test solvers::executors::test_solver_integration_unsatisfiable ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.20s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests sat_solvers
[INFO] [stdout] 
[INFO] [stdout] running 15 tests
[INFO] [stdout] test src/lib.rs - (line 37) - compile ... ok
[INFO] [stdout] test src/lib.rs - SATResult (line 173) ... ok
[INFO] [stdout] test src/lib.rs - ensure_solver_exists (line 447) - compile ... ok
[INFO] [stdout] test src/solvers/minisat.rs - solvers::minisat (line 9) - compile ... ok
[INFO] [stdout] test src/solvers/minisat.rs - solvers::minisat::MiniSatExecutor (line 47) - compile ... ok
[INFO] [stdout] test src/solvers/mod.rs - solvers (line 19) - compile ... ok
[INFO] [stdout] test src/solvers/cadical.rs - solvers::cadical::CaDiCaLExecutor (line 48) - compile ... ok
[INFO] [stdout] test src/solvers/mod.rs - solvers::SolverExecutor (line 118) - compile ... ok
[INFO] [stdout] test src/lib.rs - SATSolverKind (line 129) ... ok
[INFO] [stdout] test src/lib.rs - SATResult::is_satisfiable (line 204) ... ok
[INFO] [stdout] test src/lib.rs - solver_path (line 372) - compile ... ok
[INFO] [stdout] test src/solvers/cadical.rs - solvers::cadical (line 9) - compile ... ok
[INFO] [stdout] test src/lib.rs - run_solver (line 411) - compile ... ok
[INFO] [stdout] test src/lib.rs - SATResult::is_unknown (line 235) ... ok
[INFO] [stdout] test src/lib.rs - SATResult::is_unsatisfiable (line 221) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 15 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s
[INFO] [stdout] 
[INFO] [stdout] all doctests ran in 0.53s; merged doctests compilation took 0.49s
[INFO] running `Command { std: "docker" "inspect" "94b340d49d5faeaddba6b8390aae9d3ccc3b8f17ffb323af951599c1cdc5de21", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "94b340d49d5faeaddba6b8390aae9d3ccc3b8f17ffb323af951599c1cdc5de21", kill_on_drop: false }`
[INFO] [stdout] 94b340d49d5faeaddba6b8390aae9d3ccc3b8f17ffb323af951599c1cdc5de21