[INFO] cloning repository https://github.com/vladfdp/sat-we [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/vladfdp/sat-we" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvladfdp%2Fsat-we", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvladfdp%2Fsat-we'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 1fc0ed5e0826bd0a6a83a3a4245b66442f6d59f1 [INFO] testing vladfdp/sat-we against master#cdb45c87e2cd43495379f7e867e3cc15dcee9f93 for pr-145838-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fvladfdp%2Fsat-we" "/workspace/builds/worker-1-tc1/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc1/source'... [INFO] [stderr] done. [INFO] started tweaking git repo https://github.com/vladfdp/sat-we [INFO] removed 0 missing examples [INFO] finished tweaking git repo https://github.com/vladfdp/sat-we [INFO] tweaked toml for git repo https://github.com/vladfdp/sat-we written to /workspace/builds/worker-1-tc1/source/Cargo.toml [INFO] validating manifest of git repo https://github.com/vladfdp/sat-we on toolchain cdb45c87e2cd43495379f7e867e3cc15dcee9f93 [INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] crate git repo https://github.com/vladfdp/sat-we 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" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] d6083012412d17c17bb4a94cffd1f24b6e0f0cd4c84fdecbebf0b3b3209c55a0 [INFO] running `Command { std: "docker" "start" "-a" "d6083012412d17c17bb4a94cffd1f24b6e0f0cd4c84fdecbebf0b3b3209c55a0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "d6083012412d17c17bb4a94cffd1f24b6e0f0cd4c84fdecbebf0b3b3209c55a0", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "d6083012412d17c17bb4a94cffd1f24b6e0f0cd4c84fdecbebf0b3b3209c55a0", kill_on_drop: false }` [INFO] [stdout] d6083012412d17c17bb4a94cffd1f24b6e0f0cd4c84fdecbebf0b3b3209c55a0 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 17992f9f2c9bb158867615bba0864a927e76c5c6c95b7ca49926e0fc9f5a3776 [INFO] running `Command { std: "docker" "start" "-a" "17992f9f2c9bb158867615bba0864a927e76c5c6c95b7ca49926e0fc9f5a3776", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.171 [INFO] [stderr] Compiling zerocopy v0.8.23 [INFO] [stderr] Compiling once_cell v1.21.1 [INFO] [stderr] Compiling itertools v0.10.5 [INFO] [stderr] Compiling constant_time_eq v0.3.1 [INFO] [stderr] Compiling blake3 v1.6.1 [INFO] [stderr] Compiling syn v1.0.109 [INFO] [stderr] Compiling num-integer v0.1.46 [INFO] [stderr] Compiling syn v2.0.100 [INFO] [stderr] Compiling ahash v0.8.11 [INFO] [stderr] Compiling num-bigint v0.4.6 [INFO] [stderr] Compiling hashbrown v0.13.2 [INFO] [stderr] Compiling getrandom v0.2.15 [INFO] [stderr] Compiling rand_core v0.6.4 [INFO] [stderr] Compiling crypto-common v0.1.6 [INFO] [stderr] Compiling digest v0.10.7 [INFO] [stderr] Compiling cipher v0.4.4 [INFO] [stderr] Compiling universal-hash v0.5.1 [INFO] [stderr] Compiling aead v0.5.2 [INFO] [stderr] Compiling polyval v0.6.2 [INFO] [stderr] Compiling aes v0.8.4 [INFO] [stderr] Compiling ctr v0.9.2 [INFO] [stderr] Compiling ghash v0.5.1 [INFO] [stderr] Compiling aes-gcm v0.10.3 [INFO] [stderr] Compiling ppv-lite86 v0.2.21 [INFO] [stderr] Compiling rand_chacha v0.3.1 [INFO] [stderr] Compiling rand v0.8.5 [INFO] [stderr] Compiling zeroize_derive v1.4.2 [INFO] [stderr] Compiling ark-std v0.4.0 [INFO] [stderr] Compiling zeroize v1.8.1 [INFO] [stderr] Compiling ark-serialize-derive v0.4.2 [INFO] [stderr] Compiling derivative v2.2.0 [INFO] [stderr] Compiling ark-ff-macros v0.4.2 [INFO] [stderr] Compiling ark-ff-asm v0.4.2 [INFO] [stderr] Compiling ark-serialize v0.4.2 [INFO] [stderr] Compiling ark-ff v0.4.2 [INFO] [stderr] Compiling ark-poly v0.4.2 [INFO] [stderr] Compiling ark-ec v0.4.2 [INFO] [stderr] Compiling ark-bls12-381 v0.4.0 [INFO] [stderr] Compiling sat-we v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> src/we_kzg/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `num_variables` is never read [INFO] [stdout] --> src/sat_encryption/mod.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub struct WEHint{ [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 33 | clauses: Vec>, [INFO] [stdout] 34 | num_variables: usize [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `WEHint` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `dev` profile [unoptimized + debuginfo] target(s) in 24.57s [INFO] running `Command { std: "docker" "inspect" "17992f9f2c9bb158867615bba0864a927e76c5c6c95b7ca49926e0fc9f5a3776", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "17992f9f2c9bb158867615bba0864a927e76c5c6c95b7ca49926e0fc9f5a3776", kill_on_drop: false }` [INFO] [stdout] 17992f9f2c9bb158867615bba0864a927e76c5c6c95b7ca49926e0fc9f5a3776 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9f2936e4ab5e5ef7eb9c78eefe14c20a4e492e4225305c8f89b85f4ffcadfe25 [INFO] running `Command { std: "docker" "start" "-a" "9f2936e4ab5e5ef7eb9c78eefe14c20a4e492e4225305c8f89b85f4ffcadfe25", kill_on_drop: false }` [INFO] [stdout] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stdout] --> src/we_kzg/mod.rs:1:5 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_bls12_381::Bls12_381; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `num_variables` is never read [INFO] [stdout] --> src/sat_encryption/mod.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub struct WEHint{ [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 33 | clauses: Vec>, [INFO] [stdout] 34 | num_variables: usize [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `WEHint` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling sat-we v0.1.0 (/opt/rustwide/workdir) [INFO] [stdout] warning: unused import: `Fr` [INFO] [stdout] --> examples/basic_usage.rs:1:32 [INFO] [stdout] | [INFO] [stdout] 1 | use ark_bls12_381::{Bls12_381, Fr}; [INFO] [stdout] | ^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused imports: `DenseUVPolynomial` and `univariate::DensePolynomial` [INFO] [stdout] --> examples/basic_usage.rs:2:16 [INFO] [stdout] | [INFO] [stdout] 2 | use ark_poly::{univariate::DensePolynomial, DenseUVPolynomial, Polynomial}; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `result` [INFO] [stdout] --> src/we_kzg/mod.rs:442:13 [INFO] [stdout] | [INFO] [stdout] 442 | let result = std::panic::catch_unwind(|| { [INFO] [stdout] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: field `num_variables` is never read [INFO] [stdout] --> src/sat_encryption/mod.rs:34:5 [INFO] [stdout] | [INFO] [stdout] 32 | pub struct WEHint{ [INFO] [stdout] | ------ field in this struct [INFO] [stdout] 33 | clauses: Vec>, [INFO] [stdout] 34 | num_variables: usize [INFO] [stdout] | ^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `WEHint` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stdout] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 2.23s [INFO] running `Command { std: "docker" "inspect" "9f2936e4ab5e5ef7eb9c78eefe14c20a4e492e4225305c8f89b85f4ffcadfe25", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9f2936e4ab5e5ef7eb9c78eefe14c20a4e492e4225305c8f89b85f4ffcadfe25", kill_on_drop: false }` [INFO] [stdout] 9f2936e4ab5e5ef7eb9c78eefe14c20a4e492e4225305c8f89b85f4ffcadfe25 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-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:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+cdb45c87e2cd43495379f7e867e3cc15dcee9f93" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] f10f062e23688658860f98e9001d71af90a308d34f85ef846a4507398ce2d586 [INFO] running `Command { std: "docker" "start" "-a" "f10f062e23688658860f98e9001d71af90a308d34f85ef846a4507398ce2d586", kill_on_drop: false }` [INFO] [stderr] warning: unused import: `ark_bls12_381::Bls12_381` [INFO] [stderr] --> src/we_kzg/mod.rs:1:5 [INFO] [stderr] | [INFO] [stderr] 1 | use ark_bls12_381::Bls12_381; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: field `num_variables` is never read [INFO] [stderr] --> src/sat_encryption/mod.rs:34:5 [INFO] [stderr] | [INFO] [stderr] 32 | pub struct WEHint{ [INFO] [stderr] | ------ field in this struct [INFO] [stderr] 33 | clauses: Vec>, [INFO] [stderr] 34 | num_variables: usize [INFO] [stderr] | ^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `WEHint` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis [INFO] [stderr] = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `result` [INFO] [stderr] --> src/we_kzg/mod.rs:442:13 [INFO] [stderr] | [INFO] [stderr] 442 | let result = std::panic::catch_unwind(|| { [INFO] [stderr] | ^^^^^^ help: if this is intentional, prefix it with an underscore: `_result` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: `sat-we` (lib) generated 2 warnings (run `cargo fix --lib -p sat-we` to apply 1 suggestion) [INFO] [stderr] warning: `sat-we` (lib test) generated 2 warnings (1 duplicate) [INFO] [stderr] warning: unused import: `Fr` [INFO] [stderr] --> examples/basic_usage.rs:1:32 [INFO] [stderr] | [INFO] [stderr] 1 | use ark_bls12_381::{Bls12_381, Fr}; [INFO] [stderr] | ^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default [INFO] [stderr] [INFO] [stderr] warning: unused imports: `DenseUVPolynomial` and `univariate::DensePolynomial` [INFO] [stderr] --> examples/basic_usage.rs:2:16 [INFO] [stderr] | [INFO] [stderr] 2 | use ark_poly::{univariate::DensePolynomial, DenseUVPolynomial, Polynomial}; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `sat-we` (example "basic_usage") generated 2 warnings (run `cargo fix --example "basic_usage"` to apply 2 suggestions) [INFO] [stderr] Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sat_we-68d425d6da2fc4b4) [INFO] [stdout] running 13 tests [INFO] [stdout] test cnf_sat::tests::test_clause_evaluation ... ok [INFO] [stdout] test sat_encryption::tests::test_encrypt_decrypt_aes ... ok [INFO] [stdout] test cnf_sat::tests::test_satisfiability ... ok [INFO] [stdout] test cnf_sat::tests::test_cnf_formula_evaluation ... ok [INFO] [stdout] test cnf_sat::tests::test_literal_evaluation ... ok [INFO] [stdout] test sat_encryption::tests::test_polynomial_creation ... ok [INFO] [stdout] test sat_encryption::tests::test_simple_sat_encryption ... ok [INFO] [stdout] test we_kzg::tests::test_kzg_single_proof ... ok [INFO] [stdout] test we_kzg::tests::test_witness_encryption ... ok [INFO] [stdout] test sat_encryption::tests::test_sat_encryption_with_unsatisfiable_assignment ... ok [INFO] [stdout] test sat_encryption::tests::test_sat_encryption_with_multiple_clauses ... ok [INFO] [stdout] test we_kzg::tests::test_key_derivation_consistency ... ok [INFO] [stdout] test sat_encryption::tests::test_sat_encryption_comprehensive ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 13 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.87s [INFO] [stdout] [INFO] [stderr] Doc-tests sat_we [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] running `Command { std: "docker" "inspect" "f10f062e23688658860f98e9001d71af90a308d34f85ef846a4507398ce2d586", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "f10f062e23688658860f98e9001d71af90a308d34f85ef846a4507398ce2d586", kill_on_drop: false }` [INFO] [stdout] f10f062e23688658860f98e9001d71af90a308d34f85ef846a4507398ce2d586