[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 try#db823df02fd0c2cf67b43025ac3fef3f2d743245 for pr-150681
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fduguorong009%2Fsumcheck_multilinear_rs" "/workspace/builds/worker-0-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-0-tc2/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-0-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/duguorong009/sumcheck_multilinear_rs on toolchain db823df02fd0c2cf67b43025ac3fef3f2d743245
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "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" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5de147b8202b891c1777063f97225bfcfed0aca7586183ea3875731e91ef7501
[INFO] running `Command { std: "docker" "start" "-a" "5de147b8202b891c1777063f97225bfcfed0aca7586183ea3875731e91ef7501", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5de147b8202b891c1777063f97225bfcfed0aca7586183ea3875731e91ef7501", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5de147b8202b891c1777063f97225bfcfed0aca7586183ea3875731e91ef7501", kill_on_drop: false }`
[INFO] [stdout] 5de147b8202b891c1777063f97225bfcfed0aca7586183ea3875731e91ef7501
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] f893c702e115b439d677b1ab6e423e30974ed1851f5dc63a53fe78f0420c5f9c
[INFO] running `Command { std: "docker" "start" "-a" "f893c702e115b439d677b1ab6e423e30974ed1851f5dc63a53fe78f0420c5f9c", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.155
[INFO] [stderr]    Compiling cfg-if v1.0.0
[INFO] [stderr]    Compiling proc-macro2 v1.0.86
[INFO] [stderr]    Compiling unicode-ident v1.0.12
[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 radium v0.7.0
[INFO] [stderr]    Compiling subtle v2.6.1
[INFO] [stderr]    Compiling crossbeam-utils v0.8.20
[INFO] [stderr]    Compiling tap v1.0.1
[INFO] [stderr]    Compiling wyz v0.5.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling generic-array v0.14.7
[INFO] [stderr]    Compiling funty v2.0.0
[INFO] [stderr]    Compiling syn v1.0.109
[INFO] [stderr]    Compiling ppv-lite86 v0.2.17
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.18
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling bitvec v1.0.1
[INFO] [stderr]    Compiling rayon-core v1.12.1
[INFO] [stderr]    Compiling syn v2.0.77
[INFO] [stderr]    Compiling crossbeam-deque v0.8.5
[INFO] [stderr]    Compiling paste v1.0.15
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling serde v1.0.210
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling num-bigint v0.4.6
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling halo2curves v0.8.0
[INFO] [stderr]    Compiling cpufeatures v0.2.14
[INFO] [stderr]    Compiling serde_json v1.0.128
[INFO] [stderr]    Compiling block-buffer v0.10.4
[INFO] [stderr]    Compiling crypto-common v0.1.6
[INFO] [stderr]    Compiling digest v0.10.7
[INFO] [stderr]    Compiling rayon v1.10.0
[INFO] [stderr]    Compiling sha2 v0.10.8
[INFO] [stderr]    Compiling blake2 v0.10.6
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling ff v0.13.0
[INFO] [stderr]    Compiling group v0.13.0
[INFO] [stderr]    Compiling itoa v1.0.11
[INFO] [stderr]    Compiling pairing v0.23.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling arrayvec v0.7.6
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling arrayref v0.3.8
[INFO] [stderr]    Compiling constant_time_eq v0.3.1
[INFO] [stderr]    Compiling static_assertions v1.1.0
[INFO] [stderr]    Compiling blake2b_simd v1.0.2
[INFO] [stderr]    Compiling serde_derive v1.0.210
[INFO] [stderr]    Compiling is_prime v2.0.9
[INFO] [stderr]    Compiling unroll v0.1.5
[INFO] [stderr]    Compiling halo2derive v0.1.0
[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 1m 03s
[INFO] running `Command { std: "docker" "inspect" "f893c702e115b439d677b1ab6e423e30974ed1851f5dc63a53fe78f0420c5f9c", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "f893c702e115b439d677b1ab6e423e30974ed1851f5dc63a53fe78f0420c5f9c", kill_on_drop: false }`
[INFO] [stdout] f893c702e115b439d677b1ab6e423e30974ed1851f5dc63a53fe78f0420c5f9c
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] faf1fb1e26de046a64953dcb8ac82c970a929f0e44d849e27b336cc6e7e4ed0e
[INFO] running `Command { std: "docker" "start" "-a" "faf1fb1e26de046a64953dcb8ac82c970a929f0e44d849e27b336cc6e7e4ed0e", 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] [stderr]    Compiling sumcheck_multilinear_rs v0.1.0 (/opt/rustwide/workdir)
[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] [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.22s
[INFO] running `Command { std: "docker" "inspect" "faf1fb1e26de046a64953dcb8ac82c970a929f0e44d849e27b336cc6e7e4ed0e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "faf1fb1e26de046a64953dcb8ac82c970a929f0e44d849e27b336cc6e7e4ed0e", kill_on_drop: false }`
[INFO] [stdout] faf1fb1e26de046a64953dcb8ac82c970a929f0e44d849e27b336cc6e7e4ed0e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:845e597a41426bbf2703be69acdb67d10b6de511142d05cba7bbe119c898b2c7" "/opt/rustwide/cargo-home/bin/cargo" "+db823df02fd0c2cf67b43025ac3fef3f2d743245" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 95e5e3021497cd63ac1b787b4238af6caaf29f516c7d2989cd473f05bc9fd07f
[INFO] running `Command { std: "docker" "start" "-a" "95e5e3021497cd63ac1b787b4238af6caaf29f516c7d2989cd473f05bc9fd07f", 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: 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) generated 58 warnings (run `cargo fix --lib -p sumcheck_multilinear_rs` to apply 2 suggestions)
[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.25s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/sumcheck_multilinear_rs-58ac47303abb9dba)
[INFO] [stdout] running 19 tests
[INFO] [stdout] test dummy_test ... ok
[INFO] [stdout] test multilinear_extension::tests::test_evaluate_sparse ... ok
[INFO] [stdout] test gkr_prover::tests::test_completeness_sanity ... ok
[INFO] [stdout] test pmf::tests::test_PMF_eval ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_add ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_collpase ... 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_neg ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_new ... ok
[INFO] [stdout] test polynomial::tests::test_mvlinear_sub ... ok
[INFO] [stdout] test fs_pmf_prover::test::test_completeness ... FAILED
[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' (18) 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:     0x60975f839682 - std[3f03f8b59f91bef1]::backtrace_rs::backtrace::libunwind::trace
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stdout]    1:     0x60975f839682 - std[3f03f8b59f91bef1]::backtrace_rs::backtrace::trace_unsynchronized::<std[3f03f8b59f91bef1]::sys::backtrace::_print_fmt::{closure#1}>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stdout]    2:     0x60975f839682 - std[3f03f8b59f91bef1]::sys::backtrace::_print_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:74:9
[INFO] [stdout]    3:     0x60975f839682 - <<std[3f03f8b59f91bef1]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[585f66e14d78f9ba]::fmt::Display>::fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:44:26
[INFO] [stdout]    4:     0x60975f84e8fa - <core[585f66e14d78f9ba]::fmt::rt::Argument>::fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/fmt/rt.rs:152:76
[INFO] [stdout]    5:     0x60975f84e8fa - core[585f66e14d78f9ba]::fmt::write
[INFO] [stdout]    6:     0x60975f83e486 - std[3f03f8b59f91bef1]::io::default_write_fmt::<alloc[15e7b27aba85d2e2]::vec::Vec<u8>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/io/mod.rs:639:11
[INFO] [stdout]    7:     0x60975f83e486 - <alloc[15e7b27aba85d2e2]::vec::Vec<u8> as std[3f03f8b59f91bef1]::io::Write>::write_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/io/mod.rs:1994:13
[INFO] [stdout]    8:     0x60975f817e1f - <std[3f03f8b59f91bef1]::sys::backtrace::BacktraceLock>::print
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:47:9
[INFO] [stdout]    9:     0x60975f817e1f - std[3f03f8b59f91bef1]::panicking::default_hook::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:292:27
[INFO] [stdout]   10:     0x60975f8319b9 - std[3f03f8b59f91bef1]::panicking::default_hook
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:316:9
[INFO] [stdout]   11:     0x60975f77cb3e - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn for<'a, 'b> core[585f66e14d78f9ba]::ops::function::Fn<(&'a std[3f03f8b59f91bef1]::panic::PanicHookInfo<'b>,), Output = ()> + core[585f66e14d78f9ba]::marker::Sync + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::Fn<(&std[3f03f8b59f91bef1]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   12:     0x60975f77cb3e - test[30224e0cb089acd2]::test_main_with_exit_callback::<test[30224e0cb089acd2]::test_main::{closure#0}>::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:145:21
[INFO] [stdout]   13:     0x60975f831b72 - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn for<'a, 'b> core[585f66e14d78f9ba]::ops::function::Fn<(&'a std[3f03f8b59f91bef1]::panic::PanicHookInfo<'b>,), Output = ()> + core[585f66e14d78f9ba]::marker::Sync + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::Fn<(&std[3f03f8b59f91bef1]::panic::PanicHookInfo,)>>::call
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2220:9
[INFO] [stdout]   14:     0x60975f831b72 - std[3f03f8b59f91bef1]::panicking::panic_with_hook
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:833:13
[INFO] [stdout]   15:     0x60975f817f0a - std[3f03f8b59f91bef1]::panicking::panic_handler::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:691:13
[INFO] [stdout]   16:     0x60975f80d0c9 - std[3f03f8b59f91bef1]::sys::backtrace::__rust_end_short_backtrace::<std[3f03f8b59f91bef1]::panicking::panic_handler::{closure#0}, !>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:182:18
[INFO] [stdout]   17:     0x60975f818d2d - __rustc[caa99d26c7bae192]::rust_begin_unwind
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:689:5
[INFO] [stdout]   18:     0x60975f84efcc - core[585f66e14d78f9ba]::panicking::panic_fmt
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panicking.rs:80:14
[INFO] [stdout]   19:     0x60975f750eb5 - <sumcheck_multilinear_rs[4b16ce636db411a4]::ip_pmf_verifier::InteractivePMFVerifier<halo2curves[e72e0bb0a696788b]::bn256::fr::Fr>>::talk
[INFO] [stdout]                                at /opt/rustwide/workdir/src/ip_pmf_verifier.rs:131:13
[INFO] [stdout]   20:     0x60975f74593a - sumcheck_multilinear_rs[4b16ce636db411a4]::fs_pmf_verifier::verify_proof::<halo2curves[e72e0bb0a696788b]::bn256::fr::Fr>
[INFO] [stdout]                                at /opt/rustwide/workdir/src/fs_pmf_verifier.rs:126:11
[INFO] [stdout]   21:     0x60975f738045 - sumcheck_multilinear_rs[4b16ce636db411a4]::fs_pmf_prover::test::test_completeness
[INFO] [stdout]                                at /opt/rustwide/workdir/src/fs_pmf_prover.rs:53:21
[INFO] [stdout]   22:     0x60975f737917 - sumcheck_multilinear_rs[4b16ce636db411a4]::fs_pmf_prover::test::test_completeness::{closure#0}
[INFO] [stdout]                                at /opt/rustwide/workdir/src/fs_pmf_prover.rs:49:27
[INFO] [stdout]   23:     0x60975f7393e6 - <sumcheck_multilinear_rs[4b16ce636db411a4]::fs_pmf_prover::test::test_completeness::{closure#0} as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x60975f770eeb - <fn() -> core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x60975f770eeb - test[30224e0cb089acd2]::__rust_begin_short_backtrace::<core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>, fn() -> core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:663:18
[INFO] [stdout]   26:     0x60975f77d74a - test[30224e0cb089acd2]::run_test_in_process::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:686:74
[INFO] [stdout]   27:     0x60975f77d74a - <core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   28:     0x60975f77d74a - std[3f03f8b59f91bef1]::panicking::catch_unwind::do_call::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>, core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:581:40
[INFO] [stdout]   29:     0x60975f77d74a - std[3f03f8b59f91bef1]::panicking::catch_unwind::<core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>, core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:544:19
[INFO] [stdout]   30:     0x60975f77d74a - std[3f03f8b59f91bef1]::panic::catch_unwind::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<test[30224e0cb089acd2]::run_test_in_process::{closure#0}>, core[585f66e14d78f9ba]::result::Result<(), alloc[15e7b27aba85d2e2]::string::String>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panic.rs:359:14
[INFO] [stdout]   31:     0x60975f77d74a - test[30224e0cb089acd2]::run_test_in_process
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:686:27
[INFO] [stdout]   32:     0x60975f77d74a - test[30224e0cb089acd2]::run_test::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:607:43
[INFO] [stdout]   33:     0x60975f777c14 - test[30224e0cb089acd2]::run_test::{closure#1}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/test/src/lib.rs:637:41
[INFO] [stdout]   34:     0x60975f777c14 - std[3f03f8b59f91bef1]::sys::backtrace::__rust_begin_short_backtrace::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/backtrace.rs:166:18
[INFO] [stdout]   35:     0x60975f780242 - std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/thread/lifecycle.rs:91:13
[INFO] [stdout]   36:     0x60975f780242 - <core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/panic/unwind_safe.rs:274:9
[INFO] [stdout]   37:     0x60975f780242 - std[3f03f8b59f91bef1]::panicking::catch_unwind::do_call::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:581:40
[INFO] [stdout]   38:     0x60975f780242 - std[3f03f8b59f91bef1]::panicking::catch_unwind::<(), core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panicking.rs:544:19
[INFO] [stdout]   39:     0x60975f780242 - std[3f03f8b59f91bef1]::panic::catch_unwind::<core[585f66e14d78f9ba]::panic::unwind_safe::AssertUnwindSafe<std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}::{closure#0}>, ()>
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/panic.rs:359:14
[INFO] [stdout]   40:     0x60975f780242 - std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked::<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/thread/lifecycle.rs:89:26
[INFO] [stdout]   41:     0x60975f780242 - <std[3f03f8b59f91bef1]::thread::lifecycle::spawn_unchecked<test[30224e0cb089acd2]::run_test::{closure#1}, ()>::{closure#1} as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once::{shim:vtable#0}
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x60975f838f2f - <alloc[15e7b27aba85d2e2]::boxed::Box<dyn core[585f66e14d78f9ba]::ops::function::FnOnce<(), Output = ()> + core[585f66e14d78f9ba]::marker::Send> as core[585f66e14d78f9ba]::ops::function::FnOnce<()>>::call_once
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/alloc/src/boxed.rs:2206:9
[INFO] [stdout]   43:     0x60975f838f2f - <std[3f03f8b59f91bef1]::sys::thread::unix::Thread>::new::thread_start
[INFO] [stdout]                                at /rustc/db823df02fd0c2cf67b43025ac3fef3f2d743245/library/std/src/sys/thread/unix.rs:119:17
[INFO] [stdout]   44:     0x7801f5515aa4 - <unknown>
[INFO] [stdout]   45:     0x7801f55a2a64 - 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 110.65s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] running `Command { std: "docker" "inspect" "95e5e3021497cd63ac1b787b4238af6caaf29f516c7d2989cd473f05bc9fd07f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "95e5e3021497cd63ac1b787b4238af6caaf29f516c7d2989cd473f05bc9fd07f", kill_on_drop: false }`
[INFO] [stdout] 95e5e3021497cd63ac1b787b4238af6caaf29f516c7d2989cd473f05bc9fd07f
