[INFO] cloning repository https://github.com/SauravMaheshkar/sat-rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/SauravMaheshkar/sat-rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSauravMaheshkar%2Fsat-rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSauravMaheshkar%2Fsat-rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3d59cfa79e9123749152efd2cb60c5cd17c3f22d
[INFO] testing SauravMaheshkar/sat-rs against 1.79.0 for beta-1.80-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FSauravMaheshkar%2Fsat-rs" "/workspace/builds/worker-6-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc1/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/SauravMaheshkar/sat-rs on toolchain 1.79.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.79.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/SauravMaheshkar/sat-rs
[INFO] finished tweaking git repo https://github.com/SauravMaheshkar/sat-rs
[INFO] tweaked toml for git repo https://github.com/SauravMaheshkar/sat-rs written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/SauravMaheshkar/sat-rs 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" "+1.79.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded clap v4.5.8
[INFO] [stderr]   Downloaded anstream v0.6.7
[INFO] [stderr]   Downloaded heck v0.5.0
[INFO] [stderr]   Downloaded proc-macro2 v1.0.74
[INFO] [stderr]   Downloaded clap_derive v4.5.8
[INFO] [stderr]   Downloaded clap_builder v4.5.8
[INFO] [stderr]   Downloaded syn v2.0.46
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] f920b803175ff34aa84861b538d7faf423f445247e41ae3de8604a0c796cf7c4
[INFO] running `Command { std: "docker" "start" "-a" "f920b803175ff34aa84861b538d7faf423f445247e41ae3de8604a0c796cf7c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "f920b803175ff34aa84861b538d7faf423f445247e41ae3de8604a0c796cf7c4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f920b803175ff34aa84861b538d7faf423f445247e41ae3de8604a0c796cf7c4", kill_on_drop: false }`
[INFO] [stdout] f920b803175ff34aa84861b538d7faf423f445247e41ae3de8604a0c796cf7c4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 660c7781bccb1d31c7b0c070bbfa9d5f3f21196343ddca3999fa2e18444bd920
[INFO] running `Command { std: "docker" "start" "-a" "660c7781bccb1d31c7b0c070bbfa9d5f3f21196343ddca3999fa2e18444bd920", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.74
[INFO] [stderr]    Compiling libc v0.2.152
[INFO] [stderr]    Compiling strsim v0.11.0
[INFO] [stderr]    Compiling heck v0.5.0
[INFO] [stderr]    Compiling clap_lex v0.7.0
[INFO] [stderr]    Compiling anstream v0.6.7
[INFO] [stderr]    Compiling clap_builder v4.5.8
[INFO] [stderr]    Compiling quote v1.0.35
[INFO] [stderr]    Compiling getrandom v0.2.11
[INFO] [stderr]    Compiling syn v2.0.46
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling clap_derive v4.5.8
[INFO] [stderr]    Compiling clap v4.5.8
[INFO] [stderr]    Compiling clap-verbosity-flag v2.2.0
[INFO] [stderr]    Compiling sat-rs v0.0.3 (/opt/rustwide/workdir)
[INFO] [stdout] warning: fields `literals`, `num_clauses`, and `num_vars` are never read
[INFO] [stdout]    --> src/notation.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 190 | pub struct Formula {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 191 |     pub clauses: Vec<Clause>,
[INFO] [stdout] 192 |     pub literals: Vec<Literal>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 193 |     pub vars: Vec<i32>,
[INFO] [stdout] 194 |     pub num_clauses: i32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 195 |     pub num_vars: i32,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Formula` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 12.14s
[INFO] running `Command { std: "docker" "inspect" "660c7781bccb1d31c7b0c070bbfa9d5f3f21196343ddca3999fa2e18444bd920", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "660c7781bccb1d31c7b0c070bbfa9d5f3f21196343ddca3999fa2e18444bd920", kill_on_drop: false }`
[INFO] [stdout] 660c7781bccb1d31c7b0c070bbfa9d5f3f21196343ddca3999fa2e18444bd920
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 4a816da2e7c2b07ce59a49e3f9fedc170241a60199a40192fdcb7e0642c51452
[INFO] running `Command { std: "docker" "start" "-a" "4a816da2e7c2b07ce59a49e3f9fedc170241a60199a40192fdcb7e0642c51452", kill_on_drop: false }`
[INFO] [stderr]    Compiling sat-rs v0.0.3 (/opt/rustwide/workdir)
[INFO] [stdout] warning: fields `literals`, `num_clauses`, and `num_vars` are never read
[INFO] [stdout]    --> src/notation.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 190 | pub struct Formula {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 191 |     pub clauses: Vec<Clause>,
[INFO] [stdout] 192 |     pub literals: Vec<Literal>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 193 |     pub vars: Vec<i32>,
[INFO] [stdout] 194 |     pub num_clauses: i32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 195 |     pub num_vars: i32,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Formula` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[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: fields `literals`, `num_clauses`, and `num_vars` are never read
[INFO] [stdout]    --> src/notation.rs:192:9
[INFO] [stdout]     |
[INFO] [stdout] 190 | pub struct Formula {
[INFO] [stdout]     |            ------- fields in this struct
[INFO] [stdout] 191 |     pub clauses: Vec<Clause>,
[INFO] [stdout] 192 |     pub literals: Vec<Literal>,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 193 |     pub vars: Vec<i32>,
[INFO] [stdout] 194 |     pub num_clauses: i32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 195 |     pub num_vars: i32,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `Formula` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]     = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 1 warning emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.53s
[INFO] running `Command { std: "docker" "inspect" "4a816da2e7c2b07ce59a49e3f9fedc170241a60199a40192fdcb7e0642c51452", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4a816da2e7c2b07ce59a49e3f9fedc170241a60199a40192fdcb7e0642c51452", kill_on_drop: false }`
[INFO] [stdout] 4a816da2e7c2b07ce59a49e3f9fedc170241a60199a40192fdcb7e0642c51452
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-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=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:dff56e7819e73ed36160586b3445e93eb0be776c16704aeeded9c3fb668b2384" "/opt/rustwide/cargo-home/bin/cargo" "+1.79.0" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 884cbeb982bcdfa7d4ef37de93b3fc6b96b521d056fdade932ffdbb5fd1704e3
[INFO] running `Command { std: "docker" "start" "-a" "884cbeb982bcdfa7d4ef37de93b3fc6b96b521d056fdade932ffdbb5fd1704e3", kill_on_drop: false }`
[INFO] [stderr] warning: fields `literals`, `num_clauses`, and `num_vars` are never read
[INFO] [stderr]    --> src/notation.rs:192:9
[INFO] [stderr]     |
[INFO] [stderr] 190 | pub struct Formula {
[INFO] [stderr]     |            ------- fields in this struct
[INFO] [stderr] 191 |     pub clauses: Vec<Clause>,
[INFO] [stderr] 192 |     pub literals: Vec<Literal>,
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr] 193 |     pub vars: Vec<i32>,
[INFO] [stderr] 194 |     pub num_clauses: i32,
[INFO] [stderr]     |         ^^^^^^^^^^^
[INFO] [stderr] 195 |     pub num_vars: i32,
[INFO] [stderr]     |         ^^^^^^^^
[INFO] [stderr]     |
[INFO] [stderr]     = note: `Formula` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]     = note: `#[warn(dead_code)]` on by default
[INFO] [stderr] 
[INFO] [stderr] warning: `sat-rs` (bin "sat-rs" test) generated 1 warning
[INFO] [stderr] warning: `sat-rs` (bin "sat-rs") generated 1 warning (1 duplicate)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sat_rs-9e764abcf4d0c798)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/sat_rs-ec37435750cf7327)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/chaos_test.rs (/opt/rustwide/target/debug/deps/chaos_test-685a3705e175ae44)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_chaos ... 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] [stderr]      Running tests/cnfparser_test.rs (/opt/rustwide/target/debug/deps/cnfparser_test-5ce6895d33f3202c)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_parse_cnf ... 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] [stderr]      Running tests/evaluate_test.rs (/opt/rustwide/target/debug/deps/evaluate_test-c61653f134f2767a)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_evaluate ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/gsat_test.rs (/opt/rustwide/target/debug/deps/gsat_test-f9bb7ac600ee5587)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_gsat ... 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] [stderr]      Running tests/wsat_test.rs (/opt/rustwide/target/debug/deps/wsat_test-4d0a7c0bb27c0e19)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test test_wsat ... 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] [stderr]    Doc-tests sat_rs
[INFO] [stdout] 
[INFO] [stdout] running 13 tests
[INFO] [stdout] test src/solvers/wsat.rs - solvers::wsat::wsat_algorithm (line 51) ... ok
[INFO] [stdout] test src/notation.rs - notation::Literal (line 14) ... ok
[INFO] [stdout] test src/notation.rs - notation::Formula::new (line 202) ... ok
[INFO] [stdout] test src/notation.rs - notation::Literal::new (line 33) ... ok
[INFO] [stdout] test src/notation.rs - notation::Clause (line 96) ... ok
[INFO] [stdout] test src/notation.rs - notation::Literal::evaluate (line 71) ... ok
[INFO] [stdout] test src/notation.rs - notation::Clause::new (line 118) ... ok
[INFO] [stdout] test src/notation.rs - notation::Literal::from_value (line 52) ... ok
[INFO] [stdout] test src/notation.rs - notation::Formula::evaluate (line 234) ... ok
[INFO] [stdout] test src/solvers/utils.rs - solvers::utils::flip (line 20) ... ok
[INFO] [stdout] test src/notation.rs - notation::Clause::evaluate (line 139) ... ok
[INFO] [stdout] test src/solvers/gsat.rs - solvers::gsat::gsat_algorithm (line 50) ... ok
[INFO] [stdout] test src/solvers/chaos.rs - solvers::chaos::chaos_algorithm (line 34) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.99s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "884cbeb982bcdfa7d4ef37de93b3fc6b96b521d056fdade932ffdbb5fd1704e3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "884cbeb982bcdfa7d4ef37de93b3fc6b96b521d056fdade932ffdbb5fd1704e3", kill_on_drop: false }`
[INFO] [stdout] 884cbeb982bcdfa7d4ef37de93b3fc6b96b521d056fdade932ffdbb5fd1704e3