[INFO] cloning repository https://github.com/duguorong009/sumcheck_multilinear_rs
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/duguorong009/sumcheck_multilinear_rs" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] e9abd089798e1876e9ede91e64c0f283ebb6f9e8
[INFO] testing duguorong009/sumcheck_multilinear_rs against master#2fd6efc32704647e64d3d646d21c4c68eae100e4 for pr-149852-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_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] started tweaking git repo https://github.com/duguorong009/sumcheck_multilinear_rs
[INFO] finished tweaking git repo https://github.com/duguorong009/sumcheck_multilinear_rs
[INFO] tweaked toml for git repo https://github.com/duguorong009/sumcheck_multilinear_rs written to /workspace/builds/worker-6-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/duguorong009/sumcheck_multilinear_rs on toolchain 2fd6efc32704647e64d3d646d21c4c68eae100e4
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/duguorong009/sumcheck_multilinear_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" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded serde_derive v1.0.210
[INFO] [stderr]   Downloaded halo2derive v0.1.0
[INFO] [stderr]   Downloaded subtle v2.6.1
[INFO] [stderr]   Downloaded quote v1.0.37
[INFO] [stderr]   Downloaded constant_time_eq v0.3.1
[INFO] [stderr]   Downloaded pairing v0.23.0
[INFO] [stderr]   Downloaded arrayref v0.3.8
[INFO] [stderr]   Downloaded ff v0.13.0
[INFO] [stderr]   Downloaded arrayvec v0.7.6
[INFO] [stderr]   Downloaded blake2b_simd v1.0.2
[INFO] [stderr]   Downloaded blake2 v0.10.6
[INFO] [stderr]   Downloaded serde v1.0.210
[INFO] [stderr]   Downloaded halo2curves v0.8.0
[INFO] [stderr]   Downloaded num-bigint v0.4.6
[INFO] [stderr]   Downloaded is_prime v2.0.9
[INFO] [stderr]   Downloaded serde_json v1.0.128
[INFO] [stderr]   Downloaded memchr v2.7.4
[INFO] [stderr]   Downloaded syn v2.0.77
[INFO] [stderr]   Downloaded group v0.13.0
[INFO] [stderr]   Downloaded either v1.13.0
[INFO] [stderr]   Downloaded cpufeatures v0.2.14
[INFO] [stderr]   Downloaded unroll v0.1.5
[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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 401d6abf464d387a1f1bd7705d4aa478d5b0d48f5002f35df0028e0186cb1dc9
[INFO] running `Command { std: "docker" "start" "-a" "401d6abf464d387a1f1bd7705d4aa478d5b0d48f5002f35df0028e0186cb1dc9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "401d6abf464d387a1f1bd7705d4aa478d5b0d48f5002f35df0028e0186cb1dc9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "401d6abf464d387a1f1bd7705d4aa478d5b0d48f5002f35df0028e0186cb1dc9", kill_on_drop: false }`
[INFO] [stdout] 401d6abf464d387a1f1bd7705d4aa478d5b0d48f5002f35df0028e0186cb1dc9
[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=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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8b9161cc87b43a66b6ce986bd7581ad020cbc48e283cc3355e4588409bf5f64b
[INFO] running `Command { std: "docker" "start" "-a" "8b9161cc87b43a66b6ce986bd7581ad020cbc48e283cc3355e4588409bf5f64b", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling typenum v1.17.0
[INFO] [stderr]    Compiling autocfg v1.3.0
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling radium v0.7.0
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling serde v1.0.210
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling cpufeatures v0.2.14
[INFO] [stderr]    Compiling syn v2.0.77
[INFO] [stderr]    Compiling halo2curves v0.8.0
[INFO] [stderr]    Compiling serde_json v1.0.128
[INFO] [stderr]    Compiling arrayvec v0.7.6
[INFO] [stderr]    Compiling constant_time_eq v0.3.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling arrayref v0.3.8
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling blake2b_simd v1.0.2
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling ff v0.13.0
[INFO] [stderr]    Compiling sha2 v0.10.8
[INFO] [stderr]    Compiling blake2 v0.10.6
[INFO] [stderr]    Compiling group v0.13.0
[INFO] [stderr]    Compiling pairing v0.23.0
[INFO] [stderr]    Compiling serde_derive v1.0.210
[INFO] [stderr]    Compiling is_prime v2.0.9
[INFO] [stderr]    Compiling halo2derive v0.1.0
[INFO] [stderr]    Compiling unroll v0.1.5
[INFO] [stderr]    Compiling sumcheck_multilinear_rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused import: `FromUniformBytes`
[INFO] [stdout]  --> src/fs_pmf_verifier.rs:3:23
[INFO] [stdout]   |
[INFO] [stdout] 3 | use halo2curves::ff::{FromUniformBytes, PrimeField};
[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 variable: `max_allowed_soundness_err`
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:63:9
[INFO] [stdout]    |
[INFO] [stdout] 63 |         max_allowed_soundness_err: Option<f64>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_theorem_and_proof` is never used
[INFO] [stdout]   --> src/fs_pmf_prover.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn generate_theorem_and_proof<F>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64;
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PseudoRandomGen` is never constructed
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct PseudoRandomGen<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 47 | / impl<F> PseudoRandomGen<F>
[INFO] [stdout] 48 | | where
[INFO] [stdout] 49 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated function in this implementation
[INFO] [stdout] 50 |   {
[INFO] [stdout] 51 |       pub fn new(poly: PMF<F>) -> PseudoRandomGen<F> {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Theorem` is never constructed
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:71:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct Theorem<F>
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:83:12
[INFO] [stdout]    |
[INFO] [stdout] 79 | / impl<F> Theorem<F>
[INFO] [stdout] 80 | | where
[INFO] [stdout] 81 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated function in this implementation
[INFO] [stdout] 82 |   {
[INFO] [stdout] 83 |       pub fn new(poly: PMF<F>, asserted_sum: F) -> Theorem<F> {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Proof` is never constructed
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:89:12
[INFO] [stdout]    |
[INFO] [stdout] 89 | pub struct Proof<F>
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/fs_pmf_verifier.rs:100:12
[INFO] [stdout]     |
[INFO] [stdout]  96 | / impl<F> Proof<F>
[INFO] [stdout]  97 | | where
[INFO] [stdout]  98 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated function in this implementation
[INFO] [stdout]  99 |   {
[INFO] [stdout] 100 |       pub fn new(prover_message: Vec<Vec<F>>) -> Proof<F> {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `verify_proof` is never used
[INFO] [stdout]    --> src/fs_pmf_verifier.rs:105:8
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub fn verify_proof<F>(
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GKR` is never constructed
[INFO] [stdout]   --> src/gkr.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct GKR<F: PrimeField + Clone> {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/gkr.rs:23:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | / impl<F> GKR<F>
[INFO] [stdout] 20 | | where
[INFO] [stdout] 21 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated function in this implementation
[INFO] [stdout] 22 |   {
[INFO] [stdout] 23 |       pub fn new(f1: HashMap<usize, F>, f2: Vec<F>, f3: Vec<F>, l: usize) -> Self {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `binary_to_list` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn binary_to_list<F>(b: F, num_variables: usize) -> Vec<F>
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_bits` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn to_bits(num: &[u8]) -> Vec<bool> {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `precompute` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn precompute<F>(g: &[F]) -> Vec<F>
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initialize_phase_one` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn initialize_phase_one<F>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sum_of_gkr` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:97:8
[INFO] [stdout]    |
[INFO] [stdout] 97 | pub fn sum_of_gkr<F>(a_hg: &[F], f2: &[F]) -> F
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initialize_phase_two` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:116:8
[INFO] [stdout]     |
[INFO] [stdout] 116 | pub fn initialize_phase_two<F>(f1: &HashMap<usize, F>, g: &[F], u: &[F]) -> Vec<F>
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `talk_process` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:133:4
[INFO] [stdout]     |
[INFO] [stdout] 133 | fn talk_process<F, Talker>(
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `talk_to_verifier_phase_one` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:191:4
[INFO] [stdout]     |
[INFO] [stdout] 191 | fn talk_to_verifier_phase_one<F>(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `talk_to_verifier_phase_two` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:219:4
[INFO] [stdout]     |
[INFO] [stdout] 219 | fn talk_to_verifier_phase_two<F>(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GKRProver` is never constructed
[INFO] [stdout]    --> src/gkr_prover.rs:247:12
[INFO] [stdout]     |
[INFO] [stdout] 247 | pub struct GKRProver<F: PrimeField + Clone> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `init_and_get_sum`, and `prove_to_verifier` are never used
[INFO] [stdout]    --> src/gkr_prover.rs:255:12
[INFO] [stdout]     |
[INFO] [stdout] 251 | / impl<F> GKRProver<F>
[INFO] [stdout] 252 | | where
[INFO] [stdout] 253 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout] 254 |   {
[INFO] [stdout] 255 |       pub fn new(gkr: GKR<F>) -> Self {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 |       pub fn init_and_get_sum(&self, g: &[F]) -> (Vec<F>, Vec<F>, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 272 |       pub fn prove_to_verifier(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `GKRVerifierState` is never used
[INFO] [stdout]   --> src/gkr_verifier.rs:14:10
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub enum GKRVerifierState {
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GKRVerifier` is never constructed
[INFO] [stdout]   --> src/gkr_verifier.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub struct GKRVerifier<F: PrimeField + Clone> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `talk_phase1`, `talk_phase2`, `get_randomness_u`, and `get_randomness_v` are never used
[INFO] [stdout]    --> src/gkr_verifier.rs:38:12
[INFO] [stdout]     |
[INFO] [stdout]  34 | / impl<F> GKRVerifier<F>
[INFO] [stdout]  35 | | where
[INFO] [stdout]  36 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  37 |   {
[INFO] [stdout]  38 |       pub fn new(
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout]  67 |       pub fn talk_phase1(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  94 |       pub fn talk_phase2(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 147 |       pub fn get_randomness_u(&self) -> Vec<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |       pub fn get_randomness_v(&self) -> Vec<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `InteractivePMFProver` is never constructed
[INFO] [stdout]   --> src/ip_pmf_prover.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct InteractivePMFProver<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `attempt_prove`, `calculate_single_table`, and `calculate_all_bookkeeping_tables` are never used
[INFO] [stdout]    --> src/ip_pmf_prover.rs:21:12
[INFO] [stdout]     |
[INFO] [stdout]  17 | / impl<F> InteractivePMFProver<F>
[INFO] [stdout]  18 | | where
[INFO] [stdout]  19 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  20 |   {
[INFO] [stdout]  21 |       pub fn new(poly: PMF<F>) -> InteractivePMFProver<F> {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout]  30 |       pub fn attempt_prove(
[INFO] [stdout]     |              ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  78 |       pub fn calculate_single_table(&self, index: usize) -> Vec<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |       pub fn calculate_all_bookkeeping_tables(&self) -> (Vec<Vec<F>>, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used
[INFO] [stdout]  --> src/ip_pmf_verifier.rs:8:11
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64;
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `RandomGen` is never used
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:10:11
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub trait RandomGen<F>
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TrueRandomGen` is never constructed
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:20:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct TrueRandomGen {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl TrueRandomGen {
[INFO] [stdout]    | ------------------ associated function in this implementation
[INFO] [stdout] 25 |     fn new(_seed: u64) -> Self {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `InteractivePMFVerifier` is never constructed
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:40:12
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub struct InteractivePMFVerifier<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `random_r`, `soundness_error`, `required_field_length_bit`, `talk`, and `subclaim` are never used
[INFO] [stdout]    --> src/ip_pmf_verifier.rs:60:12
[INFO] [stdout]     |
[INFO] [stdout]  56 | / impl<F> InteractivePMFVerifier<F>
[INFO] [stdout]  57 | | where
[INFO] [stdout]  58 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  59 |   {
[INFO] [stdout]  60 |       pub fn new(
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 109 |       fn random_r(&mut self) -> F {
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |       fn soundness_error(&self) -> f64 {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 120 |       fn required_field_length_bit(&self, e: f64) -> usize {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 129 |       pub fn talk(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 187 |       pub fn subclaim(&self) -> (Vec<F>, F) {
[INFO] [stdout]     |              ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `interpolate` is never used
[INFO] [stdout]    --> src/ip_pmf_verifier.rs:213:4
[INFO] [stdout]     |
[INFO] [stdout] 213 | fn interpolate<F: PrimeField + Clone>(points: &[F], r: F) -> F {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extend` is never used
[INFO] [stdout]   --> src/multilinear_extension.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub fn extend<F>(data: &[F]) -> MVLinear<F>
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extend_sparse` is never used
[INFO] [stdout]   --> src/multilinear_extension.rs:53:8
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub fn extend_sparse<F>(data: &[(usize, F)], num_var: usize) -> MVLinear<F>
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `evaluate` is never used
[INFO] [stdout]    --> src/multilinear_extension.rs:111:8
[INFO] [stdout]     |
[INFO] [stdout] 111 | pub fn evaluate<F>(data: &[F], arguments: &[F]) -> F
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `evaluate_sparse` is never used
[INFO] [stdout]    --> src/multilinear_extension.rs:137:8
[INFO] [stdout]     |
[INFO] [stdout] 137 | pub fn evaluate_sparse<F>(data: &[(usize, F)], arguments: &[F]) -> F
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PMF` is never constructed
[INFO] [stdout]   --> src/pmf.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct PMF<F>
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `num_multiplicands`, and `eval` are never used
[INFO] [stdout]   --> src/pmf.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 18 | / impl<F> PMF<F>
[INFO] [stdout] 19 | | where
[INFO] [stdout] 20 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated items in this implementation
[INFO] [stdout] 21 |   {
[INFO] [stdout] 22 |       pub fn new(multiplicands: Vec<MVLinear<F>>) -> PMF<F> {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 36 |       pub fn num_multiplicands(&self) -> usize {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 40 |       pub fn eval(&self, at: &[F]) -> F {
[INFO] [stdout]    |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `MVLinear` is never constructed
[INFO] [stdout]   --> src/polynomial.rs:17:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub struct MVLinear<F>
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `eval`, `eval_bin`, `eval_part`, `collapse_left`, and `collapse_right` are never used
[INFO] [stdout]    --> src/polynomial.rs:29:12
[INFO] [stdout]     |
[INFO] [stdout]  25 | / impl<F> MVLinear<F>
[INFO] [stdout]  26 | | where
[INFO] [stdout]  27 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  28 |   {
[INFO] [stdout]  29 |       pub fn new(num_variables: usize, term: Vec<(usize, F)>) -> MVLinear<F> {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout]  58 |       pub fn eval(&self, at: &[F]) -> F {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  82 |       pub fn eval_bin(&self, at: usize) -> F {
[INFO] [stdout]     |              ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  98 |       pub fn eval_part(&self, args: &[F]) -> MVLinear<F> {
[INFO] [stdout]     |              ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |       fn collapse_left(&self, n: usize) -> MVLinear<F> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |       fn collapse_right(&self, n: usize) -> MVLinear<F> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `make_mvlinear_constructor` is never used
[INFO] [stdout]    --> src/polynomial.rs:339:8
[INFO] [stdout]     |
[INFO] [stdout] 339 | pub fn make_mvlinear_constructor<F: PrimeField + Clone>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_prime` is never used
[INFO] [stdout]    --> src/polynomial.rs:347:8
[INFO] [stdout]     |
[INFO] [stdout] 347 | pub fn random_prime(bit_length: usize) -> u64 {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_mvlinear` is never used
[INFO] [stdout]    --> src/polynomial.rs:359:8
[INFO] [stdout]     |
[INFO] [stdout] 359 | pub fn random_mvlinear<F>(num_variables: usize) -> MVLinear<F>
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]   --> src/fs_pmf_prover.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]    |          ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]    |
[INFO] [stdout] 23 -     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout] 23 +     let (r#as, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 |     let mut G: Vec<F> = vec![F::ZERO; 1 << l];
[INFO] [stdout]    |             ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `old_G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:44:13
[INFO] [stdout]    |
[INFO] [stdout] 44 |         let old_G = G.clone();
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `old_g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let G = precompute(g);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `U` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |     let U = precompute(u);
[INFO] [stdout]     |         ^ help: convert the identifier to snake case (notice the capitalization): `u`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:32:13
[INFO] [stdout]    |
[INFO] [stdout] 32 |         mut As: Vec<Vec<F>>,
[INFO] [stdout]    |             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]    |
[INFO] [stdout] 32 -         mut As: Vec<Vec<F>>,
[INFO] [stdout] 32 +         mut r#as: Vec<Vec<F>>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:44:29
[INFO] [stdout]    |
[INFO] [stdout] 44 |                         let A = As[j].clone();
[INFO] [stdout]    |                             ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:87:17
[INFO] [stdout]    |
[INFO] [stdout] 87 |         let mut A: Vec<F> = vec![F::ZERO; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stdout]    |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `S` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:101:17
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut S: Vec<F> = vec![F::ONE; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:102:17
[INFO] [stdout]     |
[INFO] [stdout] 102 |         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]     |
[INFO] [stdout] 102 -         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stdout] 102 +         let mut r#as: Vec<Vec<F>> = vec![];
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:104:17
[INFO] [stdout]     |
[INFO] [stdout] 104 |             let A = self.calculate_single_table(i);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 30.40s
[INFO] running `Command { std: "docker" "inspect" "8b9161cc87b43a66b6ce986bd7581ad020cbc48e283cc3355e4588409bf5f64b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8b9161cc87b43a66b6ce986bd7581ad020cbc48e283cc3355e4588409bf5f64b", kill_on_drop: false }`
[INFO] [stdout] 8b9161cc87b43a66b6ce986bd7581ad020cbc48e283cc3355e4588409bf5f64b
[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=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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 29df55a58e4f9023ccf65bef798095e7922f839c59c45dfe635ecb18c358c28a
[INFO] running `Command { std: "docker" "start" "-a" "29df55a58e4f9023ccf65bef798095e7922f839c59c45dfe635ecb18c358c28a", kill_on_drop: false }`
[INFO] [stdout] warning: unused import: `FromUniformBytes`
[INFO] [stdout]  --> src/fs_pmf_verifier.rs:3:23
[INFO] [stdout]   |
[INFO] [stdout] 3 | use halo2curves::ff::{FromUniformBytes, PrimeField};
[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 variable: `max_allowed_soundness_err`
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:63:9
[INFO] [stdout]    |
[INFO] [stdout] 63 |         max_allowed_soundness_err: Option<f64>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `generate_theorem_and_proof` is never used
[INFO] [stdout]   --> src/fs_pmf_prover.rs:16:8
[INFO] [stdout]    |
[INFO] [stdout] 16 | pub fn generate_theorem_and_proof<F>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:11:7
[INFO] [stdout]    |
[INFO] [stdout] 11 | const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64;
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PseudoRandomGen` is never constructed
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:39:12
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct PseudoRandomGen<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:51:12
[INFO] [stdout]    |
[INFO] [stdout] 47 | / impl<F> PseudoRandomGen<F>
[INFO] [stdout] 48 | | where
[INFO] [stdout] 49 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated function in this implementation
[INFO] [stdout] 50 |   {
[INFO] [stdout] 51 |       pub fn new(poly: PMF<F>) -> PseudoRandomGen<F> {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Theorem` is never constructed
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:71:12
[INFO] [stdout]    |
[INFO] [stdout] 71 | pub struct Theorem<F>
[INFO] [stdout]    |            ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:83:12
[INFO] [stdout]    |
[INFO] [stdout] 79 | / impl<F> Theorem<F>
[INFO] [stdout] 80 | | where
[INFO] [stdout] 81 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated function in this implementation
[INFO] [stdout] 82 |   {
[INFO] [stdout] 83 |       pub fn new(poly: PMF<F>, asserted_sum: F) -> Theorem<F> {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Proof` is never constructed
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:89:12
[INFO] [stdout]    |
[INFO] [stdout] 89 | pub struct Proof<F>
[INFO] [stdout]    |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]    --> src/fs_pmf_verifier.rs:100:12
[INFO] [stdout]     |
[INFO] [stdout]  96 | / impl<F> Proof<F>
[INFO] [stdout]  97 | | where
[INFO] [stdout]  98 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated function in this implementation
[INFO] [stdout]  99 |   {
[INFO] [stdout] 100 |       pub fn new(prover_message: Vec<Vec<F>>) -> Proof<F> {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `verify_proof` is never used
[INFO] [stdout]    --> src/fs_pmf_verifier.rs:105:8
[INFO] [stdout]     |
[INFO] [stdout] 105 | pub fn verify_proof<F>(
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GKR` is never constructed
[INFO] [stdout]   --> src/gkr.rs:12:12
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub struct GKR<F: PrimeField + Clone> {
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/gkr.rs:23:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | / impl<F> GKR<F>
[INFO] [stdout] 20 | | where
[INFO] [stdout] 21 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated function in this implementation
[INFO] [stdout] 22 |   {
[INFO] [stdout] 23 |       pub fn new(f1: HashMap<usize, F>, f2: Vec<F>, f3: Vec<F>, l: usize) -> Self {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `binary_to_list` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:14:8
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub fn binary_to_list<F>(b: F, num_variables: usize) -> Vec<F>
[INFO] [stdout]    |        ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `to_bits` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn to_bits(num: &[u8]) -> Vec<bool> {
[INFO] [stdout]    |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `precompute` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:35:8
[INFO] [stdout]    |
[INFO] [stdout] 35 | pub fn precompute<F>(g: &[F]) -> Vec<F>
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initialize_phase_one` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:73:8
[INFO] [stdout]    |
[INFO] [stdout] 73 | pub fn initialize_phase_one<F>(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `sum_of_gkr` is never used
[INFO] [stdout]   --> src/gkr_prover.rs:97:8
[INFO] [stdout]    |
[INFO] [stdout] 97 | pub fn sum_of_gkr<F>(a_hg: &[F], f2: &[F]) -> F
[INFO] [stdout]    |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `initialize_phase_two` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:116:8
[INFO] [stdout]     |
[INFO] [stdout] 116 | pub fn initialize_phase_two<F>(f1: &HashMap<usize, F>, g: &[F], u: &[F]) -> Vec<F>
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `talk_process` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:133:4
[INFO] [stdout]     |
[INFO] [stdout] 133 | fn talk_process<F, Talker>(
[INFO] [stdout]     |    ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `talk_to_verifier_phase_one` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:191:4
[INFO] [stdout]     |
[INFO] [stdout] 191 | fn talk_to_verifier_phase_one<F>(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `talk_to_verifier_phase_two` is never used
[INFO] [stdout]    --> src/gkr_prover.rs:219:4
[INFO] [stdout]     |
[INFO] [stdout] 219 | fn talk_to_verifier_phase_two<F>(
[INFO] [stdout]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GKRProver` is never constructed
[INFO] [stdout]    --> src/gkr_prover.rs:247:12
[INFO] [stdout]     |
[INFO] [stdout] 247 | pub struct GKRProver<F: PrimeField + Clone> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `init_and_get_sum`, and `prove_to_verifier` are never used
[INFO] [stdout]    --> src/gkr_prover.rs:255:12
[INFO] [stdout]     |
[INFO] [stdout] 251 | / impl<F> GKRProver<F>
[INFO] [stdout] 252 | | where
[INFO] [stdout] 253 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout] 254 |   {
[INFO] [stdout] 255 |       pub fn new(gkr: GKR<F>) -> Self {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 261 |       pub fn init_and_get_sum(&self, g: &[F]) -> (Vec<F>, Vec<F>, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 272 |       pub fn prove_to_verifier(
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `GKRVerifierState` is never used
[INFO] [stdout]   --> src/gkr_verifier.rs:14:10
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub enum GKRVerifierState {
[INFO] [stdout]    |          ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `GKRVerifier` is never constructed
[INFO] [stdout]   --> src/gkr_verifier.rs:21:12
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub struct GKRVerifier<F: PrimeField + Clone> {
[INFO] [stdout]    |            ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `talk_phase1`, `talk_phase2`, `get_randomness_u`, and `get_randomness_v` are never used
[INFO] [stdout]    --> src/gkr_verifier.rs:38:12
[INFO] [stdout]     |
[INFO] [stdout]  34 | / impl<F> GKRVerifier<F>
[INFO] [stdout]  35 | | where
[INFO] [stdout]  36 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  37 |   {
[INFO] [stdout]  38 |       pub fn new(
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout]  67 |       pub fn talk_phase1(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  94 |       pub fn talk_phase2(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 147 |       pub fn get_randomness_u(&self) -> Vec<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |       pub fn get_randomness_v(&self) -> Vec<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `InteractivePMFProver` is never constructed
[INFO] [stdout]   --> src/ip_pmf_prover.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct InteractivePMFProver<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `attempt_prove`, `calculate_single_table`, and `calculate_all_bookkeeping_tables` are never used
[INFO] [stdout]    --> src/ip_pmf_prover.rs:21:12
[INFO] [stdout]     |
[INFO] [stdout]  17 | / impl<F> InteractivePMFProver<F>
[INFO] [stdout]  18 | | where
[INFO] [stdout]  19 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  20 |   {
[INFO] [stdout]  21 |       pub fn new(poly: PMF<F>) -> InteractivePMFProver<F> {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout]  30 |       pub fn attempt_prove(
[INFO] [stdout]     |              ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  78 |       pub fn calculate_single_table(&self, index: usize) -> Vec<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 100 |       pub fn calculate_all_bookkeeping_tables(&self) -> (Vec<Vec<F>>, F) {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used
[INFO] [stdout]  --> src/ip_pmf_verifier.rs:8:11
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64;
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `RandomGen` is never used
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:10:11
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub trait RandomGen<F>
[INFO] [stdout]    |           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `TrueRandomGen` is never constructed
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:20:12
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub struct TrueRandomGen {
[INFO] [stdout]    |            ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 24 | impl TrueRandomGen {
[INFO] [stdout]    | ------------------ associated function in this implementation
[INFO] [stdout] 25 |     fn new(_seed: u64) -> Self {
[INFO] [stdout]    |        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `InteractivePMFVerifier` is never constructed
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:40:12
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub struct InteractivePMFVerifier<F>
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `random_r`, `soundness_error`, `required_field_length_bit`, `talk`, and `subclaim` are never used
[INFO] [stdout]    --> src/ip_pmf_verifier.rs:60:12
[INFO] [stdout]     |
[INFO] [stdout]  56 | / impl<F> InteractivePMFVerifier<F>
[INFO] [stdout]  57 | | where
[INFO] [stdout]  58 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  59 |   {
[INFO] [stdout]  60 |       pub fn new(
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 109 |       fn random_r(&mut self) -> F {
[INFO] [stdout]     |          ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 113 |       fn soundness_error(&self) -> f64 {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 120 |       fn required_field_length_bit(&self, e: f64) -> usize {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 129 |       pub fn talk(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 187 |       pub fn subclaim(&self) -> (Vec<F>, F) {
[INFO] [stdout]     |              ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `interpolate` is never used
[INFO] [stdout]    --> src/ip_pmf_verifier.rs:213:4
[INFO] [stdout]     |
[INFO] [stdout] 213 | fn interpolate<F: PrimeField + Clone>(points: &[F], r: F) -> F {
[INFO] [stdout]     |    ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extend` is never used
[INFO] [stdout]   --> src/multilinear_extension.rs:12:8
[INFO] [stdout]    |
[INFO] [stdout] 12 | pub fn extend<F>(data: &[F]) -> MVLinear<F>
[INFO] [stdout]    |        ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `extend_sparse` is never used
[INFO] [stdout]   --> src/multilinear_extension.rs:53:8
[INFO] [stdout]    |
[INFO] [stdout] 53 | pub fn extend_sparse<F>(data: &[(usize, F)], num_var: usize) -> MVLinear<F>
[INFO] [stdout]    |        ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `evaluate` is never used
[INFO] [stdout]    --> src/multilinear_extension.rs:111:8
[INFO] [stdout]     |
[INFO] [stdout] 111 | pub fn evaluate<F>(data: &[F], arguments: &[F]) -> F
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `evaluate_sparse` is never used
[INFO] [stdout]    --> src/multilinear_extension.rs:137:8
[INFO] [stdout]     |
[INFO] [stdout] 137 | pub fn evaluate_sparse<F>(data: &[(usize, F)], arguments: &[F]) -> F
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PMF` is never constructed
[INFO] [stdout]   --> src/pmf.rs:10:12
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub struct PMF<F>
[INFO] [stdout]    |            ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `num_multiplicands`, and `eval` are never used
[INFO] [stdout]   --> src/pmf.rs:22:12
[INFO] [stdout]    |
[INFO] [stdout] 18 | / impl<F> PMF<F>
[INFO] [stdout] 19 | | where
[INFO] [stdout] 20 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated items in this implementation
[INFO] [stdout] 21 |   {
[INFO] [stdout] 22 |       pub fn new(multiplicands: Vec<MVLinear<F>>) -> PMF<F> {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] ...
[INFO] [stdout] 36 |       pub fn num_multiplicands(&self) -> usize {
[INFO] [stdout]    |              ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 40 |       pub fn eval(&self, at: &[F]) -> F {
[INFO] [stdout]    |              ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `MVLinear` is never constructed
[INFO] [stdout]   --> src/polynomial.rs:17:12
[INFO] [stdout]    |
[INFO] [stdout] 17 | pub struct MVLinear<F>
[INFO] [stdout]    |            ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `eval`, `eval_bin`, `eval_part`, `collapse_left`, and `collapse_right` are never used
[INFO] [stdout]    --> src/polynomial.rs:29:12
[INFO] [stdout]     |
[INFO] [stdout]  25 | / impl<F> MVLinear<F>
[INFO] [stdout]  26 | | where
[INFO] [stdout]  27 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- associated items in this implementation
[INFO] [stdout]  28 |   {
[INFO] [stdout]  29 |       pub fn new(num_variables: usize, term: Vec<(usize, F)>) -> MVLinear<F> {
[INFO] [stdout]     |              ^^^
[INFO] [stdout] ...
[INFO] [stdout]  58 |       pub fn eval(&self, at: &[F]) -> F {
[INFO] [stdout]     |              ^^^^
[INFO] [stdout] ...
[INFO] [stdout]  82 |       pub fn eval_bin(&self, at: usize) -> F {
[INFO] [stdout]     |              ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout]  98 |       pub fn eval_part(&self, args: &[F]) -> MVLinear<F> {
[INFO] [stdout]     |              ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 128 |       fn collapse_left(&self, n: usize) -> MVLinear<F> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 143 |       fn collapse_right(&self, n: usize) -> MVLinear<F> {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `make_mvlinear_constructor` is never used
[INFO] [stdout]    --> src/polynomial.rs:339:8
[INFO] [stdout]     |
[INFO] [stdout] 339 | pub fn make_mvlinear_constructor<F: PrimeField + Clone>(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_prime` is never used
[INFO] [stdout]    --> src/polynomial.rs:347:8
[INFO] [stdout]     |
[INFO] [stdout] 347 | pub fn random_prime(bit_length: usize) -> u64 {
[INFO] [stdout]     |        ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `random_mvlinear` is never used
[INFO] [stdout]    --> src/polynomial.rs:359:8
[INFO] [stdout]     |
[INFO] [stdout] 359 | pub fn random_mvlinear<F>(num_variables: usize) -> MVLinear<F>
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]   --> src/fs_pmf_prover.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]    |          ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]    |
[INFO] [stdout] 23 -     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout] 23 +     let (r#as, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 |     let mut G: Vec<F> = vec![F::ZERO; 1 << l];
[INFO] [stdout]    |             ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling sumcheck_multilinear_rs v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: variable `old_G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:44:13
[INFO] [stdout]    |
[INFO] [stdout] 44 |         let old_G = G.clone();
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `old_g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let G = precompute(g);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `U` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |     let U = precompute(u);
[INFO] [stdout]     |         ^ help: convert the identifier to snake case (notice the capitalization): `u`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:32:13
[INFO] [stdout]    |
[INFO] [stdout] 32 |         mut As: Vec<Vec<F>>,
[INFO] [stdout]    |             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]    |
[INFO] [stdout] 32 -         mut As: Vec<Vec<F>>,
[INFO] [stdout] 32 +         mut r#as: Vec<Vec<F>>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:44:29
[INFO] [stdout]    |
[INFO] [stdout] 44 |                         let A = As[j].clone();
[INFO] [stdout]    |                             ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:87:17
[INFO] [stdout]    |
[INFO] [stdout] 87 |         let mut A: Vec<F> = vec![F::ZERO; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stdout]    |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `S` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:101:17
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut S: Vec<F> = vec![F::ONE; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:102:17
[INFO] [stdout]     |
[INFO] [stdout] 102 |         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]     |
[INFO] [stdout] 102 -         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stdout] 102 +         let mut r#as: Vec<Vec<F>> = vec![];
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:104:17
[INFO] [stdout]     |
[INFO] [stdout] 104 |             let A = self.calculate_single_table(i);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `FromUniformBytes`
[INFO] [stdout]  --> src/fs_pmf_verifier.rs:3:23
[INFO] [stdout]   |
[INFO] [stdout] 3 | use halo2curves::ff::{FromUniformBytes, PrimeField};
[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 import: `crate::polynomial::random_prime`
[INFO] [stdout]    --> src/multilinear_extension.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     use crate::polynomial::random_prime;
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `p`
[INFO] [stdout]    --> src/gkr_prover.rs:449:17
[INFO] [stdout]     |
[INFO] [stdout] 449 |             let p = random_prime(32);
[INFO] [stdout]     |                 ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `max_allowed_soundness_err`
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:63:9
[INFO] [stdout]    |
[INFO] [stdout] 63 |         max_allowed_soundness_err: Option<f64>,
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `poly` is never read
[INFO] [stdout]   --> src/fs_pmf_verifier.rs:43:16
[INFO] [stdout]    |
[INFO] [stdout] 39 | pub struct PseudoRandomGen<F>
[INFO] [stdout]    |            --------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 43 |     pub(crate) poly: PMF<F>,
[INFO] [stdout]    |                ^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `PseudoRandomGen` has derived impls for the traits `Clone` and `Debug`, 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] [stdout] warning: associated function `new` is never used
[INFO] [stdout]   --> src/gkr.rs:23:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | / impl<F> GKR<F>
[INFO] [stdout] 20 | | where
[INFO] [stdout] 21 | |     F: PrimeField + Clone,
[INFO] [stdout]    | |__________________________- associated function in this implementation
[INFO] [stdout] 22 |   {
[INFO] [stdout] 23 |       pub fn new(f1: HashMap<usize, F>, f2: Vec<F>, f3: Vec<F>, l: usize) -> Self {
[INFO] [stdout]    |              ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `get_randomness_v` is never used
[INFO] [stdout]    --> src/gkr_verifier.rs:156:12
[INFO] [stdout]     |
[INFO] [stdout]  34 | / impl<F> GKRVerifier<F>
[INFO] [stdout]  35 | | where
[INFO] [stdout]  36 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 156 |       pub fn get_randomness_v(&self) -> Vec<F> {
[INFO] [stdout]     |              ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used
[INFO] [stdout]  --> src/ip_pmf_verifier.rs:8:11
[INFO] [stdout]   |
[INFO] [stdout] 8 | pub const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64;
[INFO] [stdout]   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `asserted_sum` is never read
[INFO] [stdout]   --> src/ip_pmf_verifier.rs:47:5
[INFO] [stdout]    |
[INFO] [stdout] 40 | pub struct InteractivePMFVerifier<F>
[INFO] [stdout]    |            ---------------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 47 |     asserted_sum: F,
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: methods `soundness_error` and `required_field_length_bit` are never used
[INFO] [stdout]    --> src/ip_pmf_verifier.rs:113:8
[INFO] [stdout]     |
[INFO] [stdout]  56 | / impl<F> InteractivePMFVerifier<F>
[INFO] [stdout]  57 | | where
[INFO] [stdout]  58 | |     F: PrimeField + Clone,
[INFO] [stdout]     | |__________________________- methods in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 113 |       fn soundness_error(&self) -> f64 {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 120 |       fn required_field_length_bit(&self, e: f64) -> usize {
[INFO] [stdout]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]   --> src/fs_pmf_prover.rs:23:10
[INFO] [stdout]    |
[INFO] [stdout] 23 |     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]    |          ^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]    |
[INFO] [stdout] 23 -     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout] 23 +     let (r#as, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 |     let mut G: Vec<F> = vec![F::ZERO; 1 << l];
[INFO] [stdout]    |             ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `old_G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:44:13
[INFO] [stdout]    |
[INFO] [stdout] 44 |         let old_G = G.clone();
[INFO] [stdout]    |             ^^^^^ help: convert the identifier to snake case: `old_g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]   --> src/gkr_prover.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let G = precompute(g);
[INFO] [stdout]    |         ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `U` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:121:9
[INFO] [stdout]     |
[INFO] [stdout] 121 |     let U = precompute(u);
[INFO] [stdout]     |         ^ help: convert the identifier to snake case (notice the capitalization): `u`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:382:27
[INFO] [stdout]     |
[INFO] [stdout] 382 |         let (a_hg_actual, G) = initialize_phase_one(&d_f1, l, &a_f3, &g);
[INFO] [stdout]     |                           ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:409:13
[INFO] [stdout]     |
[INFO] [stdout] 409 |         let L = 7;
[INFO] [stdout]     |             ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A_hg` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:413:14
[INFO] [stdout]     |
[INFO] [stdout] 413 |         let (A_hg, G) = initialize_phase_one(&gkr.f1, L, &gkr.f3, &g);
[INFO] [stdout]     |              ^^^^ help: convert the identifier to snake case: `a_hg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:413:20
[INFO] [stdout]     |
[INFO] [stdout] 413 |         let (A_hg, G) = initialize_phase_one(&gkr.f1, L, &gkr.f3, &g);
[INFO] [stdout]     |                    ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A_f1` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:433:13
[INFO] [stdout]     |
[INFO] [stdout] 433 |         let A_f1 = initialize_phase_two(&gkr.f1, &G, &u);
[INFO] [stdout]     |             ^^^^ help: convert the identifier to snake case: `a_f1`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `Ls` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:446:13
[INFO] [stdout]     |
[INFO] [stdout] 446 |         let Ls = vec![10, 11, 12];
[INFO] [stdout]     |             ^^ help: convert the identifier to snake case: `ls`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `L` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:450:17
[INFO] [stdout]     |
[INFO] [stdout] 450 |             let L = Ls[i % Ls.len()];
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `l`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A_hg` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:456:18
[INFO] [stdout]     |
[INFO] [stdout] 456 |             let (A_hg, G, s) = pv.init_and_get_sum(&g);
[INFO] [stdout]     |                  ^^^^ help: convert the identifier to snake case: `a_hg`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `G` should have a snake case name
[INFO] [stdout]    --> src/gkr_prover.rs:456:24
[INFO] [stdout]     |
[INFO] [stdout] 456 |             let (A_hg, G, s) = pv.init_and_get_sum(&g);
[INFO] [stdout]     |                        ^ help: convert the identifier to snake case: `g`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:32:13
[INFO] [stdout]    |
[INFO] [stdout] 32 |         mut As: Vec<Vec<F>>,
[INFO] [stdout]    |             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]    |
[INFO] [stdout] 32 -         mut As: Vec<Vec<F>>,
[INFO] [stdout] 32 +         mut r#as: Vec<Vec<F>>,
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:44:29
[INFO] [stdout]    |
[INFO] [stdout] 44 |                         let A = As[j].clone();
[INFO] [stdout]    |                             ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]   --> src/ip_pmf_prover.rs:87:17
[INFO] [stdout]    |
[INFO] [stdout] 87 |         let mut A: Vec<F> = vec![F::ZERO; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stdout]    |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `S` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:101:17
[INFO] [stdout]     |
[INFO] [stdout] 101 |         let mut S: Vec<F> = vec![F::ONE; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:102:17
[INFO] [stdout]     |
[INFO] [stdout] 102 |         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stdout]     |                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]     |
[INFO] [stdout] 102 -         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stdout] 102 +         let mut r#as: Vec<Vec<F>> = vec![];
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `A` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:104:17
[INFO] [stdout]     |
[INFO] [stdout] 104 |             let A = self.calculate_single_table(i);
[INFO] [stdout]     |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `As` should have a snake case name
[INFO] [stdout]    --> src/ip_pmf_prover.rs:127:18
[INFO] [stdout]     |
[INFO] [stdout] 127 |             let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]     |                  ^^
[INFO] [stdout]     |
[INFO] [stdout] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stdout]     |
[INFO] [stdout] 127 -             let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout] 127 +             let (r#as, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `test_PMF_eval` should have a snake case name
[INFO] [stdout]   --> src/pmf.rs:83:8
[INFO] [stdout]    |
[INFO] [stdout] 83 |     fn test_PMF_eval() {
[INFO] [stdout]    |        ^^^^^^^^^^^^^ help: convert the identifier to snake case: `test_pmf_eval`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 1.34s
[INFO] running `Command { std: "docker" "inspect" "29df55a58e4f9023ccf65bef798095e7922f839c59c45dfe635ecb18c358c28a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "29df55a58e4f9023ccf65bef798095e7922f839c59c45dfe635ecb18c358c28a", kill_on_drop: false }`
[INFO] [stdout] 29df55a58e4f9023ccf65bef798095e7922f839c59c45dfe635ecb18c358c28a
[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=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:aa71247004a7fa38d13ec170f48f06cdedf5bc50b2a8645e56ed7e992e6fa513" "/opt/rustwide/cargo-home/bin/cargo" "+2fd6efc32704647e64d3d646d21c4c68eae100e4" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 6d076a543cb6990f45211da6f1a2886195359ada569ec46b684afc215de934d4
[INFO] running `Command { std: "docker" "start" "-a" "6d076a543cb6990f45211da6f1a2886195359ada569ec46b684afc215de934d4", kill_on_drop: false }`
[INFO] [stderr] warning: unused import: `FromUniformBytes`
[INFO] [stderr]  --> src/fs_pmf_verifier.rs:3:23
[INFO] [stderr]   |
[INFO] [stderr] 3 | use halo2curves::ff::{FromUniformBytes, PrimeField};
[INFO] [stderr]   |                       ^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `max_allowed_soundness_err`
[INFO] [stderr]   --> src/ip_pmf_verifier.rs:63:9
[INFO] [stderr]    |
[INFO] [stderr] 63 |         max_allowed_soundness_err: Option<f64>,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err`
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: function `generate_theorem_and_proof` is never used
[INFO] [stderr]   --> src/fs_pmf_prover.rs:16:8
[INFO] [stderr]    |
[INFO] [stderr] 16 | pub fn generate_theorem_and_proof<F>(
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used
[INFO] [stderr]   --> src/fs_pmf_verifier.rs:11:7
[INFO] [stderr]    |
[INFO] [stderr] 11 | const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64;
[INFO] [stderr]    |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `PseudoRandomGen` is never constructed
[INFO] [stderr]   --> src/fs_pmf_verifier.rs:39:12
[INFO] [stderr]    |
[INFO] [stderr] 39 | pub struct PseudoRandomGen<F>
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> src/fs_pmf_verifier.rs:51:12
[INFO] [stderr]    |
[INFO] [stderr] 47 | / impl<F> PseudoRandomGen<F>
[INFO] [stderr] 48 | | where
[INFO] [stderr] 49 | |     F: PrimeField + Clone,
[INFO] [stderr]    | |__________________________- associated function in this implementation
[INFO] [stderr] 50 |   {
[INFO] [stderr] 51 |       pub fn new(poly: PMF<F>) -> PseudoRandomGen<F> {
[INFO] [stderr]    |              ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Theorem` is never constructed
[INFO] [stderr]   --> src/fs_pmf_verifier.rs:71:12
[INFO] [stderr]    |
[INFO] [stderr] 71 | pub struct Theorem<F>
[INFO] [stderr]    |            ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> src/fs_pmf_verifier.rs:83:12
[INFO] [stderr]    |
[INFO] [stderr] 79 | / impl<F> Theorem<F>
[INFO] [stderr] 80 | | where
[INFO] [stderr] 81 | |     F: PrimeField + Clone,
[INFO] [stderr]    | |__________________________- associated function in this implementation
[INFO] [stderr] 82 |   {
[INFO] [stderr] 83 |       pub fn new(poly: PMF<F>, asserted_sum: F) -> Theorem<F> {
[INFO] [stderr]    |              ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Proof` is never constructed
[INFO] [stderr]   --> src/fs_pmf_verifier.rs:89:12
[INFO] [stderr]    |
[INFO] [stderr] 89 | pub struct Proof<F>
[INFO] [stderr]    |            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]    --> src/fs_pmf_verifier.rs:100:12
[INFO] [stderr]     |
[INFO] [stderr]  96 | / impl<F> Proof<F>
[INFO] [stderr]  97 | | where
[INFO] [stderr]  98 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- associated function in this implementation
[INFO] [stderr]  99 |   {
[INFO] [stderr] 100 |       pub fn new(prover_message: Vec<Vec<F>>) -> Proof<F> {
[INFO] [stderr]     |              ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `verify_proof` is never used
[INFO] [stderr]    --> src/fs_pmf_verifier.rs:105:8
[INFO] [stderr]     |
[INFO] [stderr] 105 | pub fn verify_proof<F>(
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `GKR` is never constructed
[INFO] [stderr]   --> src/gkr.rs:12:12
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub struct GKR<F: PrimeField + Clone> {
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> src/gkr.rs:23:12
[INFO] [stderr]    |
[INFO] [stderr] 19 | / impl<F> GKR<F>
[INFO] [stderr] 20 | | where
[INFO] [stderr] 21 | |     F: PrimeField + Clone,
[INFO] [stderr]    | |__________________________- associated function in this implementation
[INFO] [stderr] 22 |   {
[INFO] [stderr] 23 |       pub fn new(f1: HashMap<usize, F>, f2: Vec<F>, f3: Vec<F>, l: usize) -> Self {
[INFO] [stderr]    |              ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `binary_to_list` is never used
[INFO] [stderr]   --> src/gkr_prover.rs:14:8
[INFO] [stderr]    |
[INFO] [stderr] 14 | pub fn binary_to_list<F>(b: F, num_variables: usize) -> Vec<F>
[INFO] [stderr]    |        ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `to_bits` is never used
[INFO] [stderr]   --> src/gkr_prover.rs:25:8
[INFO] [stderr]    |
[INFO] [stderr] 25 | pub fn to_bits(num: &[u8]) -> Vec<bool> {
[INFO] [stderr]    |        ^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `precompute` is never used
[INFO] [stderr]   --> src/gkr_prover.rs:35:8
[INFO] [stderr]    |
[INFO] [stderr] 35 | pub fn precompute<F>(g: &[F]) -> Vec<F>
[INFO] [stderr]    |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `initialize_phase_one` is never used
[INFO] [stderr]   --> src/gkr_prover.rs:73:8
[INFO] [stderr]    |
[INFO] [stderr] 73 | pub fn initialize_phase_one<F>(
[INFO] [stderr]    |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `sum_of_gkr` is never used
[INFO] [stderr]   --> src/gkr_prover.rs:97:8
[INFO] [stderr]    |
[INFO] [stderr] 97 | pub fn sum_of_gkr<F>(a_hg: &[F], f2: &[F]) -> F
[INFO] [stderr]    |        ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `initialize_phase_two` is never used
[INFO] [stderr]    --> src/gkr_prover.rs:116:8
[INFO] [stderr]     |
[INFO] [stderr] 116 | pub fn initialize_phase_two<F>(f1: &HashMap<usize, F>, g: &[F], u: &[F]) -> Vec<F>
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `talk_process` is never used
[INFO] [stderr]    --> src/gkr_prover.rs:133:4
[INFO] [stderr]     |
[INFO] [stderr] 133 | fn talk_process<F, Talker>(
[INFO] [stderr]     |    ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `talk_to_verifier_phase_one` is never used
[INFO] [stderr]    --> src/gkr_prover.rs:191:4
[INFO] [stderr]     |
[INFO] [stderr] 191 | fn talk_to_verifier_phase_one<F>(
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `talk_to_verifier_phase_two` is never used
[INFO] [stderr]    --> src/gkr_prover.rs:219:4
[INFO] [stderr]     |
[INFO] [stderr] 219 | fn talk_to_verifier_phase_two<F>(
[INFO] [stderr]     |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `GKRProver` is never constructed
[INFO] [stderr]    --> src/gkr_prover.rs:247:12
[INFO] [stderr]     |
[INFO] [stderr] 247 | pub struct GKRProver<F: PrimeField + Clone> {
[INFO] [stderr]     |            ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `init_and_get_sum`, and `prove_to_verifier` are never used
[INFO] [stderr]    --> src/gkr_prover.rs:255:12
[INFO] [stderr]     |
[INFO] [stderr] 251 | / impl<F> GKRProver<F>
[INFO] [stderr] 252 | | where
[INFO] [stderr] 253 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- associated items in this implementation
[INFO] [stderr] 254 |   {
[INFO] [stderr] 255 |       pub fn new(gkr: GKR<F>) -> Self {
[INFO] [stderr]     |              ^^^
[INFO] [stderr] ...
[INFO] [stderr] 261 |       pub fn init_and_get_sum(&self, g: &[F]) -> (Vec<F>, Vec<F>, F) {
[INFO] [stderr]     |              ^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 272 |       pub fn prove_to_verifier(
[INFO] [stderr]     |              ^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: enum `GKRVerifierState` is never used
[INFO] [stderr]   --> src/gkr_verifier.rs:14:10
[INFO] [stderr]    |
[INFO] [stderr] 14 | pub enum GKRVerifierState {
[INFO] [stderr]    |          ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `GKRVerifier` is never constructed
[INFO] [stderr]   --> src/gkr_verifier.rs:21:12
[INFO] [stderr]    |
[INFO] [stderr] 21 | pub struct GKRVerifier<F: PrimeField + Clone> {
[INFO] [stderr]    |            ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `talk_phase1`, `talk_phase2`, `get_randomness_u`, and `get_randomness_v` are never used
[INFO] [stderr]    --> src/gkr_verifier.rs:38:12
[INFO] [stderr]     |
[INFO] [stderr]  34 | / impl<F> GKRVerifier<F>
[INFO] [stderr]  35 | | where
[INFO] [stderr]  36 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- associated items in this implementation
[INFO] [stderr]  37 |   {
[INFO] [stderr]  38 |       pub fn new(
[INFO] [stderr]     |              ^^^
[INFO] [stderr] ...
[INFO] [stderr]  67 |       pub fn talk_phase1(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stderr]     |              ^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  94 |       pub fn talk_phase2(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stderr]     |              ^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 147 |       pub fn get_randomness_u(&self) -> Vec<F> {
[INFO] [stderr]     |              ^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 156 |       pub fn get_randomness_v(&self) -> Vec<F> {
[INFO] [stderr]     |              ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `InteractivePMFProver` is never constructed
[INFO] [stderr]   --> src/ip_pmf_prover.rs:10:12
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub struct InteractivePMFProver<F>
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `attempt_prove`, `calculate_single_table`, and `calculate_all_bookkeeping_tables` are never used
[INFO] [stderr]    --> src/ip_pmf_prover.rs:21:12
[INFO] [stderr]     |
[INFO] [stderr]  17 | / impl<F> InteractivePMFProver<F>
[INFO] [stderr]  18 | | where
[INFO] [stderr]  19 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- associated items in this implementation
[INFO] [stderr]  20 |   {
[INFO] [stderr]  21 |       pub fn new(poly: PMF<F>) -> InteractivePMFProver<F> {
[INFO] [stderr]     |              ^^^
[INFO] [stderr] ...
[INFO] [stderr]  30 |       pub fn attempt_prove(
[INFO] [stderr]     |              ^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  78 |       pub fn calculate_single_table(&self, index: usize) -> Vec<F> {
[INFO] [stderr]     |              ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 100 |       pub fn calculate_all_bookkeeping_tables(&self) -> (Vec<Vec<F>>, F) {
[INFO] [stderr]     |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: constant `MAX_ALLOWED_SOUNDNESS_ERROR` is never used
[INFO] [stderr]  --> src/ip_pmf_verifier.rs:8:11
[INFO] [stderr]   |
[INFO] [stderr] 8 | pub const MAX_ALLOWED_SOUNDNESS_ERROR: f64 = 2e-64;
[INFO] [stderr]   |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: trait `RandomGen` is never used
[INFO] [stderr]   --> src/ip_pmf_verifier.rs:10:11
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub trait RandomGen<F>
[INFO] [stderr]    |           ^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `TrueRandomGen` is never constructed
[INFO] [stderr]   --> src/ip_pmf_verifier.rs:20:12
[INFO] [stderr]    |
[INFO] [stderr] 20 | pub struct TrueRandomGen {
[INFO] [stderr]    |            ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated function `new` is never used
[INFO] [stderr]   --> src/ip_pmf_verifier.rs:25:8
[INFO] [stderr]    |
[INFO] [stderr] 24 | impl TrueRandomGen {
[INFO] [stderr]    | ------------------ associated function in this implementation
[INFO] [stderr] 25 |     fn new(_seed: u64) -> Self {
[INFO] [stderr]    |        ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `InteractivePMFVerifier` is never constructed
[INFO] [stderr]   --> src/ip_pmf_verifier.rs:40:12
[INFO] [stderr]    |
[INFO] [stderr] 40 | pub struct InteractivePMFVerifier<F>
[INFO] [stderr]    |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `random_r`, `soundness_error`, `required_field_length_bit`, `talk`, and `subclaim` are never used
[INFO] [stderr]    --> src/ip_pmf_verifier.rs:60:12
[INFO] [stderr]     |
[INFO] [stderr]  56 | / impl<F> InteractivePMFVerifier<F>
[INFO] [stderr]  57 | | where
[INFO] [stderr]  58 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- associated items in this implementation
[INFO] [stderr]  59 |   {
[INFO] [stderr]  60 |       pub fn new(
[INFO] [stderr]     |              ^^^
[INFO] [stderr] ...
[INFO] [stderr] 109 |       fn random_r(&mut self) -> F {
[INFO] [stderr]     |          ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 113 |       fn soundness_error(&self) -> f64 {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 120 |       fn required_field_length_bit(&self, e: f64) -> usize {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 129 |       pub fn talk(&mut self, msgs: &[F]) -> (bool, F) {
[INFO] [stderr]     |              ^^^^
[INFO] [stderr] ...
[INFO] [stderr] 187 |       pub fn subclaim(&self) -> (Vec<F>, F) {
[INFO] [stderr]     |              ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `interpolate` is never used
[INFO] [stderr]    --> src/ip_pmf_verifier.rs:213:4
[INFO] [stderr]     |
[INFO] [stderr] 213 | fn interpolate<F: PrimeField + Clone>(points: &[F], r: F) -> F {
[INFO] [stderr]     |    ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `extend` is never used
[INFO] [stderr]   --> src/multilinear_extension.rs:12:8
[INFO] [stderr]    |
[INFO] [stderr] 12 | pub fn extend<F>(data: &[F]) -> MVLinear<F>
[INFO] [stderr]    |        ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `extend_sparse` is never used
[INFO] [stderr]   --> src/multilinear_extension.rs:53:8
[INFO] [stderr]    |
[INFO] [stderr] 53 | pub fn extend_sparse<F>(data: &[(usize, F)], num_var: usize) -> MVLinear<F>
[INFO] [stderr]    |        ^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `evaluate` is never used
[INFO] [stderr]    --> src/multilinear_extension.rs:111:8
[INFO] [stderr]     |
[INFO] [stderr] 111 | pub fn evaluate<F>(data: &[F], arguments: &[F]) -> F
[INFO] [stderr]     |        ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `evaluate_sparse` is never used
[INFO] [stderr]    --> src/multilinear_extension.rs:137:8
[INFO] [stderr]     |
[INFO] [stderr] 137 | pub fn evaluate_sparse<F>(data: &[(usize, F)], arguments: &[F]) -> F
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `PMF` is never constructed
[INFO] [stderr]   --> src/pmf.rs:10:12
[INFO] [stderr]    |
[INFO] [stderr] 10 | pub struct PMF<F>
[INFO] [stderr]    |            ^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `num_multiplicands`, and `eval` are never used
[INFO] [stderr]   --> src/pmf.rs:22:12
[INFO] [stderr]    |
[INFO] [stderr] 18 | / impl<F> PMF<F>
[INFO] [stderr] 19 | | where
[INFO] [stderr] 20 | |     F: PrimeField + Clone,
[INFO] [stderr]    | |__________________________- associated items in this implementation
[INFO] [stderr] 21 |   {
[INFO] [stderr] 22 |       pub fn new(multiplicands: Vec<MVLinear<F>>) -> PMF<F> {
[INFO] [stderr]    |              ^^^
[INFO] [stderr] ...
[INFO] [stderr] 36 |       pub fn num_multiplicands(&self) -> usize {
[INFO] [stderr]    |              ^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 40 |       pub fn eval(&self, at: &[F]) -> F {
[INFO] [stderr]    |              ^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `MVLinear` is never constructed
[INFO] [stderr]   --> src/polynomial.rs:17:12
[INFO] [stderr]    |
[INFO] [stderr] 17 | pub struct MVLinear<F>
[INFO] [stderr]    |            ^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `eval`, `eval_bin`, `eval_part`, `collapse_left`, and `collapse_right` are never used
[INFO] [stderr]    --> src/polynomial.rs:29:12
[INFO] [stderr]     |
[INFO] [stderr]  25 | / impl<F> MVLinear<F>
[INFO] [stderr]  26 | | where
[INFO] [stderr]  27 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- associated items in this implementation
[INFO] [stderr]  28 |   {
[INFO] [stderr]  29 |       pub fn new(num_variables: usize, term: Vec<(usize, F)>) -> MVLinear<F> {
[INFO] [stderr]     |              ^^^
[INFO] [stderr] ...
[INFO] [stderr]  58 |       pub fn eval(&self, at: &[F]) -> F {
[INFO] [stderr]     |              ^^^^
[INFO] [stderr] ...
[INFO] [stderr]  82 |       pub fn eval_bin(&self, at: usize) -> F {
[INFO] [stderr]     |              ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr]  98 |       pub fn eval_part(&self, args: &[F]) -> MVLinear<F> {
[INFO] [stderr]     |              ^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 128 |       fn collapse_left(&self, n: usize) -> MVLinear<F> {
[INFO] [stderr]     |          ^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 143 |       fn collapse_right(&self, n: usize) -> MVLinear<F> {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `make_mvlinear_constructor` is never used
[INFO] [stderr]    --> src/polynomial.rs:339:8
[INFO] [stderr]     |
[INFO] [stderr] 339 | pub fn make_mvlinear_constructor<F: PrimeField + Clone>(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `random_prime` is never used
[INFO] [stderr]    --> src/polynomial.rs:347:8
[INFO] [stderr]     |
[INFO] [stderr] 347 | pub fn random_prime(bit_length: usize) -> u64 {
[INFO] [stderr]     |        ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: function `random_mvlinear` is never used
[INFO] [stderr]    --> src/polynomial.rs:359:8
[INFO] [stderr]     |
[INFO] [stderr] 359 | pub fn random_mvlinear<F>(num_variables: usize) -> MVLinear<F>
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable `As` should have a snake case name
[INFO] [stderr]   --> src/fs_pmf_prover.rs:23:10
[INFO] [stderr]    |
[INFO] [stderr] 23 |     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stderr]    |          ^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stderr] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stderr]    |
[INFO] [stderr] 23 -     let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stderr] 23 +     let (r#as, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]   --> src/gkr_prover.rs:40:13
[INFO] [stderr]    |
[INFO] [stderr] 40 |     let mut G: Vec<F> = vec![F::ZERO; 1 << l];
[INFO] [stderr]    |             ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `old_G` should have a snake case name
[INFO] [stderr]   --> src/gkr_prover.rs:44:13
[INFO] [stderr]    |
[INFO] [stderr] 44 |         let old_G = G.clone();
[INFO] [stderr]    |             ^^^^^ help: convert the identifier to snake case: `old_g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]   --> src/gkr_prover.rs:86:9
[INFO] [stderr]    |
[INFO] [stderr] 86 |     let G = precompute(g);
[INFO] [stderr]    |         ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `U` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:121:9
[INFO] [stderr]     |
[INFO] [stderr] 121 |     let U = precompute(u);
[INFO] [stderr]     |         ^ help: convert the identifier to snake case (notice the capitalization): `u`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `As` should have a snake case name
[INFO] [stderr]   --> src/ip_pmf_prover.rs:32:13
[INFO] [stderr]    |
[INFO] [stderr] 32 |         mut As: Vec<Vec<F>>,
[INFO] [stderr]    |             ^^
[INFO] [stderr]    |
[INFO] [stderr] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stderr]    |
[INFO] [stderr] 32 -         mut As: Vec<Vec<F>>,
[INFO] [stderr] 32 +         mut r#as: Vec<Vec<F>>,
[INFO] [stderr]    |
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]   --> src/ip_pmf_prover.rs:44:29
[INFO] [stderr]    |
[INFO] [stderr] 44 |                         let A = As[j].clone();
[INFO] [stderr]    |                             ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]   --> src/ip_pmf_prover.rs:87:17
[INFO] [stderr]    |
[INFO] [stderr] 87 |         let mut A: Vec<F> = vec![F::ZERO; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stderr]    |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `S` should have a snake case name
[INFO] [stderr]    --> src/ip_pmf_prover.rs:101:17
[INFO] [stderr]     |
[INFO] [stderr] 101 |         let mut S: Vec<F> = vec![F::ONE; 2usize.pow(self.poly.num_variables as u32)];
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case (notice the capitalization): `s`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `As` should have a snake case name
[INFO] [stderr]    --> src/ip_pmf_prover.rs:102:17
[INFO] [stderr]     |
[INFO] [stderr] 102 |         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stderr]     |                 ^^
[INFO] [stderr]     |
[INFO] [stderr] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stderr]     |
[INFO] [stderr] 102 -         let mut As: Vec<Vec<F>> = vec![];
[INFO] [stderr] 102 +         let mut r#as: Vec<Vec<F>> = vec![];
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A` should have a snake case name
[INFO] [stderr]    --> src/ip_pmf_prover.rs:104:17
[INFO] [stderr]     |
[INFO] [stderr] 104 |             let A = self.calculate_single_table(i);
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `a`
[INFO] [stderr] 
[INFO] [stderr] warning: `sumcheck_multilinear_rs` (lib) generated 58 warnings (run `cargo fix --lib -p sumcheck_multilinear_rs` to apply 2 suggestions)
[INFO] [stderr] warning: unused import: `crate::polynomial::random_prime`
[INFO] [stderr]    --> src/multilinear_extension.rs:169:9
[INFO] [stderr]     |
[INFO] [stderr] 169 |     use crate::polynomial::random_prime;
[INFO] [stderr]     |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `p`
[INFO] [stderr]    --> src/gkr_prover.rs:449:17
[INFO] [stderr]     |
[INFO] [stderr] 449 |             let p = random_prime(32);
[INFO] [stderr]     |                 ^ help: if this is intentional, prefix it with an underscore: `_p`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused variable: `max_allowed_soundness_err`
[INFO] [stderr]   --> src/ip_pmf_verifier.rs:63:9
[INFO] [stderr]    |
[INFO] [stderr] 63 |         max_allowed_soundness_err: Option<f64>,
[INFO] [stderr]    |         ^^^^^^^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_max_allowed_soundness_err`
[INFO] [stderr] 
[INFO] [stderr] warning: field `poly` is never read
[INFO] [stderr]   --> src/fs_pmf_verifier.rs:43:16
[INFO] [stderr]    |
[INFO] [stderr] 39 | pub struct PseudoRandomGen<F>
[INFO] [stderr]    |            --------------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 43 |     pub(crate) poly: PMF<F>,
[INFO] [stderr]    |                ^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `PseudoRandomGen` has derived impls for the traits `Clone` and `Debug`, 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: method `get_randomness_v` is never used
[INFO] [stderr]    --> src/gkr_verifier.rs:156:12
[INFO] [stderr]     |
[INFO] [stderr]  34 | / impl<F> GKRVerifier<F>
[INFO] [stderr]  35 | | where
[INFO] [stderr]  36 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 156 |       pub fn get_randomness_v(&self) -> Vec<F> {
[INFO] [stderr]     |              ^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: field `asserted_sum` is never read
[INFO] [stderr]   --> src/ip_pmf_verifier.rs:47:5
[INFO] [stderr]    |
[INFO] [stderr] 40 | pub struct InteractivePMFVerifier<F>
[INFO] [stderr]    |            ---------------------- field in this struct
[INFO] [stderr] ...
[INFO] [stderr] 47 |     asserted_sum: F,
[INFO] [stderr]    |     ^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: methods `soundness_error` and `required_field_length_bit` are never used
[INFO] [stderr]    --> src/ip_pmf_verifier.rs:113:8
[INFO] [stderr]     |
[INFO] [stderr]  56 | / impl<F> InteractivePMFVerifier<F>
[INFO] [stderr]  57 | | where
[INFO] [stderr]  58 | |     F: PrimeField + Clone,
[INFO] [stderr]     | |__________________________- methods in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 113 |       fn soundness_error(&self) -> f64 {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 120 |       fn required_field_length_bit(&self, e: f64) -> usize {
[INFO] [stderr]     |          ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:382:27
[INFO] [stderr]     |
[INFO] [stderr] 382 |         let (a_hg_actual, G) = initialize_phase_one(&d_f1, l, &a_f3, &g);
[INFO] [stderr]     |                           ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `L` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:409:13
[INFO] [stderr]     |
[INFO] [stderr] 409 |         let L = 7;
[INFO] [stderr]     |             ^ help: convert the identifier to snake case: `l`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A_hg` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:413:14
[INFO] [stderr]     |
[INFO] [stderr] 413 |         let (A_hg, G) = initialize_phase_one(&gkr.f1, L, &gkr.f3, &g);
[INFO] [stderr]     |              ^^^^ help: convert the identifier to snake case: `a_hg`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:413:20
[INFO] [stderr]     |
[INFO] [stderr] 413 |         let (A_hg, G) = initialize_phase_one(&gkr.f1, L, &gkr.f3, &g);
[INFO] [stderr]     |                    ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A_f1` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:433:13
[INFO] [stderr]     |
[INFO] [stderr] 433 |         let A_f1 = initialize_phase_two(&gkr.f1, &G, &u);
[INFO] [stderr]     |             ^^^^ help: convert the identifier to snake case: `a_f1`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `Ls` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:446:13
[INFO] [stderr]     |
[INFO] [stderr] 446 |         let Ls = vec![10, 11, 12];
[INFO] [stderr]     |             ^^ help: convert the identifier to snake case: `ls`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `L` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:450:17
[INFO] [stderr]     |
[INFO] [stderr] 450 |             let L = Ls[i % Ls.len()];
[INFO] [stderr]     |                 ^ help: convert the identifier to snake case: `l`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `A_hg` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:456:18
[INFO] [stderr]     |
[INFO] [stderr] 456 |             let (A_hg, G, s) = pv.init_and_get_sum(&g);
[INFO] [stderr]     |                  ^^^^ help: convert the identifier to snake case: `a_hg`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `G` should have a snake case name
[INFO] [stderr]    --> src/gkr_prover.rs:456:24
[INFO] [stderr]     |
[INFO] [stderr] 456 |             let (A_hg, G, s) = pv.init_and_get_sum(&g);
[INFO] [stderr]     |                        ^ help: convert the identifier to snake case: `g`
[INFO] [stderr] 
[INFO] [stderr] warning: variable `As` should have a snake case name
[INFO] [stderr]    --> src/ip_pmf_prover.rs:127:18
[INFO] [stderr]     |
[INFO] [stderr] 127 |             let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stderr]     |                  ^^
[INFO] [stderr]     |
[INFO] [stderr] help: rename the identifier or convert it to a snake case raw identifier
[INFO] [stderr]     |
[INFO] [stderr] 127 -             let (As, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stderr] 127 +             let (r#as, s) = pv.calculate_all_bookkeeping_tables();
[INFO] [stderr]     |
[INFO] [stderr] 
[INFO] [stderr] warning: function `test_PMF_eval` should have a snake case name
[INFO] [stderr]   --> src/pmf.rs:83:8
[INFO] [stderr]    |
[INFO] [stderr] 83 |     fn test_PMF_eval() {
[INFO] [stderr]    |        ^^^^^^^^^^^^^ help: convert the identifier to snake case: `test_pmf_eval`
[INFO] [stderr] 
[INFO] [stderr] warning: `sumcheck_multilinear_rs` (lib test) generated 32 warnings (14 duplicates) (run `cargo fix --lib -p sumcheck_multilinear_rs --tests` to apply 3 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.10s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sumcheck_multilinear_rs-58ac47303abb9dba)
[INFO] [stdout] 
[INFO] [stdout] running 19 tests
[INFO] [stdout] test dummy_test ... ok
[INFO] [stdout] test pmf::tests::test_PMF_eval ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_eval ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_eval_bin ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_mul ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_collpase ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_add ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_neg ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_new ... ok
[INFO] [stdout] test multilinear_extension::tests::test_evaluate_sparse ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_sub ... ok
[INFO] [stdout] test fs_pmf_prover::test::test_completeness ... FAILED
[INFO] [stdout] test gkr_prover::tests::test_completeness_sanity ... ok
[INFO] [stdout] test multilinear_extension::tests::test_evaluate ... ok
[INFO] [stdout] test multilinear_extension::tests::test_extend ... ok
[INFO] [stdout] test multilinear_extension::tests::test_extend_sparse ... ok
[INFO] [stdout] test gkr_prover::tests::test_initialize_phase_one_two ... ok
[INFO] [stdout] test ip_pmf_prover::tests::test_completeness ... ok
[INFO] [stdout] test gkr_prover::tests::test_protocol_comprehensive has been running for over 60 seconds
[INFO] [stdout] test gkr_prover::tests::test_protocol_comprehensive ... ok
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- fs_pmf_prover::test::test_completeness stdout ----
[INFO] [stdout] 
[INFO] [stdout] thread 'fs_pmf_prover::test::test_completeness' (26) panicked at src/ip_pmf_verifier.rs:131:13:
[INFO] [stdout] Unable to prove: the protocol is not active.
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x64d5ba2791c2 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x64d5ba2791c2 - std[716c9a7a72e5c14e]::backtrace_rs::backtrace::trace_unsynchronized::<std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x64d5ba2791c2 - std[716c9a7a72e5c14e]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x64d5ba2791c2 - <<std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[c5ed12ab89cc536a]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x64d5ba28e46a - <core[c5ed12ab89cc536a]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x64d5ba28e46a - core[c5ed12ab89cc536a]::fmt::write
[INFO] [stdout]    6:     0x64d5ba27dff6 - std[716c9a7a72e5c14e]::io::default_write_fmt::<alloc[9c68fdf4f4f29218]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x64d5ba27dff6 - <alloc[9c68fdf4f4f29218]::vec::Vec<u8> as std[716c9a7a72e5c14e]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x64d5ba25768f - <std[716c9a7a72e5c14e]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x64d5ba25768f - std[716c9a7a72e5c14e]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x64d5ba2714a9 - std[716c9a7a72e5c14e]::panicking::default_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x64d5ba1bc30e - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x64d5ba1bc30e - test[64760d2bdea328cc]::test_main_with_exit_callback::<test[64760d2bdea328cc]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x64d5ba271662 - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn for<'a, 'b> core[c5ed12ab89cc536a]::ops::function::Fn<(&'a std[716c9a7a72e5c14e]::panic::PanicHookInfo<'b>,), Output = ()> + core[c5ed12ab89cc536a]::marker::Sync + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::Fn<(&std[716c9a7a72e5c14e]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x64d5ba271662 - std[716c9a7a72e5c14e]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x64d5ba25777a - std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x64d5ba24f119 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_end_short_backtrace::<std[716c9a7a72e5c14e]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x64d5ba25859d - __rustc[4f0b026143eab78e]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x64d5ba28eb3c - core[c5ed12ab89cc536a]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x64d5ba190dd5 - <sumcheck_multilinear_rs[a8e6a2d447f0b8a5]::ip_pmf_verifier::InteractivePMFVerifier<halo2curves[ff7c5a31c38c7a88]::bn256::fr::Fr>>::talk
[INFO] [stdout]                                at /opt/rustwide/workdir/src/ip_pmf_verifier.rs:131:13
[INFO] [stdout]   20:     0x64d5ba17da8a - sumcheck_multilinear_rs[a8e6a2d447f0b8a5]::fs_pmf_verifier::verify_proof::<halo2curves[ff7c5a31c38c7a88]::bn256::fr::Fr>
[INFO] [stdout]                                at /opt/rustwide/workdir/src/fs_pmf_verifier.rs:126:11
[INFO] [stdout]   21:     0x64d5ba176975 - sumcheck_multilinear_rs[a8e6a2d447f0b8a5]::fs_pmf_prover::test::test_completeness
[INFO] [stdout]                                at /opt/rustwide/workdir/src/fs_pmf_prover.rs:53:21
[INFO] [stdout]   22:     0x64d5ba176077 - sumcheck_multilinear_rs[a8e6a2d447f0b8a5]::fs_pmf_prover::test::test_completeness::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/fs_pmf_prover.rs:49:27
[INFO] [stdout]   23:     0x64d5ba1732d6 - <sumcheck_multilinear_rs[a8e6a2d447f0b8a5]::fs_pmf_prover::test::test_completeness::{closure#0} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x64d5ba1b06bb - <fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x64d5ba1b06bb - test[64760d2bdea328cc]::__rust_begin_short_backtrace::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, fn() -> core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x64d5ba1bcf1a - test[64760d2bdea328cc]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x64d5ba1bcf1a - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x64d5ba1bcf1a - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x64d5ba1bcf1a - std[716c9a7a72e5c14e]::panicking::catch_unwind::<core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>, core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x64d5ba1bcf1a - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<test[64760d2bdea328cc]::run_test_in_process::{closure#0}>, core[c5ed12ab89cc536a]::result::Result<(), alloc[9c68fdf4f4f29218]::string::String>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x64d5ba1bcf1a - test[64760d2bdea328cc]::run_test_in_process
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x64d5ba1bcf1a - test[64760d2bdea328cc]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x64d5ba1b73e4 - test[64760d2bdea328cc]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x64d5ba1b73e4 - std[716c9a7a72e5c14e]::sys::backtrace::__rust_begin_short_backtrace::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x64d5ba1bfa12 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x64d5ba1bfa12 - <core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x64d5ba1bfa12 - std[716c9a7a72e5c14e]::panicking::catch_unwind::do_call::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x64d5ba1bfa12 - std[716c9a7a72e5c14e]::panicking::catch_unwind::<(), core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x64d5ba1bfa12 - std[716c9a7a72e5c14e]::panic::catch_unwind::<core[c5ed12ab89cc536a]::panic::unwind_safe::AssertUnwindSafe<std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x64d5ba1bfa12 - std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked::<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x64d5ba1bfa12 - <std[716c9a7a72e5c14e]::thread::lifecycle::spawn_unchecked<test[64760d2bdea328cc]::run_test::{closure#1}, ()>::{closure#1} as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x64d5ba278a6f - <alloc[9c68fdf4f4f29218]::boxed::Box<dyn core[c5ed12ab89cc536a]::ops::function::FnOnce<(), Output = ()> + core[c5ed12ab89cc536a]::marker::Send> as core[c5ed12ab89cc536a]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x64d5ba278a6f - <std[716c9a7a72e5c14e]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/2fd6efc32704647e64d3d646d21c4c68eae100e4/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x7f5e14f48aa4 - <unknown>
[INFO] [stdout]   45:     0x7f5e14fd5a64 - clone
[INFO] [stdout]   46:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     fs_pmf_prover::test::test_completeness
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 18 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 90.44s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "6d076a543cb6990f45211da6f1a2886195359ada569ec46b684afc215de934d4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "6d076a543cb6990f45211da6f1a2886195359ada569ec46b684afc215de934d4", kill_on_drop: false }`
[INFO] [stdout] 6d076a543cb6990f45211da6f1a2886195359ada569ec46b684afc215de934d4
