[INFO] cloning repository https://github.com/zengzengzenghuy/ConstraintSystem_build
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/zengzengzenghuy/ConstraintSystem_build" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2FConstraintSystem_build", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2FConstraintSystem_build'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 431b40a4d8b4c5493841f8ea9e25e237216ed07c
[INFO] checking zengzengzenghuy/ConstraintSystem_build against 1.95.0 for pr-155915
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2FConstraintSystem_build" "/workspace/builds/worker-5-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/zengzengzenghuy/ConstraintSystem_build
[INFO] finished tweaking git repo https://github.com/zengzengzenghuy/ConstraintSystem_build
[INFO] tweaked toml for git repo https://github.com/zengzengzenghuy/ConstraintSystem_build written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/zengzengzenghuy/ConstraintSystem_build on toolchain 1.95.0
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/zengzengzenghuy/ConstraintSystem_build already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+1.95.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]  Downloading crates ...
[INFO] [stderr]   Downloaded ark-serialize-derive v0.3.0
[INFO] [stderr]   Downloaded zeroize_derive v1.3.2
[INFO] [stderr]   Downloaded ark-snark v0.3.0
[INFO] [stderr]   Downloaded thiserror-impl v1.0.34
[INFO] [stderr]   Downloaded ark-test-curves v0.3.0
[INFO] [stderr]   Downloaded ark-ec v0.3.0
[INFO] [stderr]   Downloaded ark-bls12-377 v0.3.0
[INFO] [stderr]   Downloaded ark-bls12-381 v0.3.0
[INFO] [stderr]   Downloaded ark-poly v0.3.0
[INFO] [stderr]   Downloaded blake2 v0.9.2
[INFO] [stderr]   Downloaded ark-crypto-primitives v0.3.0
[INFO] [stderr]   Downloaded pest v2.3.0
[INFO] [stderr]   Downloaded ark-groth16 v0.3.0
[INFO] [stderr]   Downloaded ark-relations v0.3.0
[INFO] [stderr]   Downloaded tracing-subscriber v0.2.25
[INFO] [stderr]   Downloaded thiserror v1.0.34
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 151225cb51eae307a79f977072a160ad84c6652e8bf6993f6a60050827a6da05
[INFO] running `Command { std: "docker" "start" "-a" "151225cb51eae307a79f977072a160ad84c6652e8bf6993f6a60050827a6da05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "151225cb51eae307a79f977072a160ad84c6652e8bf6993f6a60050827a6da05", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "151225cb51eae307a79f977072a160ad84c6652e8bf6993f6a60050827a6da05", kill_on_drop: false }`
[INFO] [stdout] 151225cb51eae307a79f977072a160ad84c6652e8bf6993f6a60050827a6da05
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+1.95.0" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e05ca0b4eeb632fb1eb7114b575ea63ca2b1bdfbf1a8be55e561d64503dd5dea
[INFO] running `Command { std: "docker" "start" "-a" "e05ca0b4eeb632fb1eb7114b575ea63ca2b1bdfbf1a8be55e561d64503dd5dea", kill_on_drop: false }`
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling libc v0.2.135
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling crossbeam-utils v0.8.12
[INFO] [stderr]    Compiling crossbeam-epoch v0.9.11
[INFO] [stderr]    Compiling rayon-core v1.9.3
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]    Compiling rayon v1.5.3
[INFO] [stderr]    Compiling generic-array v0.14.6
[INFO] [stderr]    Compiling unicode-xid v0.2.3
[INFO] [stderr]     Checking once_cell v1.14.0
[INFO] [stderr]    Compiling paste v1.0.9
[INFO] [stderr]     Checking tracing-core v0.1.29
[INFO] [stderr]     Checking tracing v0.1.36
[INFO] [stderr]     Checking tracing-subscriber v0.2.25
[INFO] [stderr]     Checking crossbeam-channel v0.5.6
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking crypto-mac v0.8.0
[INFO] [stderr]     Checking getrandom v0.2.8
[INFO] [stderr]     Checking num_cpus v1.13.1
[INFO] [stderr]     Checking crossbeam-deque v0.8.2
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]     Checking ahash v0.7.6
[INFO] [stderr]     Checking blake2 v0.9.2
[INFO] [stderr]     Checking num-integer v0.1.45
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking hashbrown v0.11.2
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ark-std v0.3.0
[INFO] [stderr]    Compiling synstructure v0.12.6
[INFO] [stderr]    Compiling thiserror-impl v1.0.34
[INFO] [stderr]    Compiling zeroize_derive v1.3.2
[INFO] [stderr]    Compiling ark-serialize-derive v0.3.0
[INFO] [stderr]    Compiling ark-ff-asm v0.3.0
[INFO] [stderr]    Compiling ark-ff-macros v0.3.0
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling serde_derive v1.0.144
[INFO] [stderr]     Checking ark-serialize v0.3.0
[INFO] [stderr]     Checking zeroize v1.5.7
[INFO] [stderr]    Compiling thiserror v1.0.34
[INFO] [stderr]    Compiling pest v2.3.0
[INFO] [stderr]    Compiling semver-parser v0.10.2
[INFO] [stderr]    Compiling semver v0.11.0
[INFO] [stderr]    Compiling rustc_version v0.3.3
[INFO] [stderr]    Compiling ark-ff v0.3.0
[INFO] [stderr]     Checking serde v1.0.144
[INFO] [stderr]     Checking serde_json v1.0.85
[INFO] [stderr]     Checking ark-ec v0.3.0
[INFO] [stderr]     Checking ark-relations v0.3.0
[INFO] [stderr]     Checking ark-poly v0.3.0
[INFO] [stderr]     Checking ark-snark v0.3.0
[INFO] [stderr]     Checking ark-crypto-primitives v0.3.0
[INFO] [stderr]     Checking ark-test-curves v0.3.0
[INFO] [stderr]     Checking ark-bls12-377 v0.3.0
[INFO] [stderr]     Checking ark-bls12-381 v0.3.0
[INFO] [stderr]     Checking ark-groth16 v0.3.0
[INFO] [stderr]     Checking cs_build v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `fs::File` and `io::Write`
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1029:15
[INFO] [stdout]      |
[INFO] [stdout] 1029 |     use std::{fs::File, io::Write};
[INFO] [stdout]      |               ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]     --> src/lib.rs:7:5
[INFO] [stdout]      |
[INFO] [stdout]    7 |     unused,
[INFO] [stdout]      |     ^^^^^^
[INFO] [stdout]      = note: `#[warn(unused_imports)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:118:5
[INFO] [stdout]     |
[INFO] [stdout] 118 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout]     |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]    --> src/lib.rs:7:5
[INFO] [stdout]     |
[INFO] [stdout]   7 |     unused,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout]     = note: `#[warn(unused_variables)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:119:5
[INFO] [stdout]     |
[INFO] [stdout] 119 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:120:5
[INFO] [stdout]     |
[INFO] [stdout] 120 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:121:5
[INFO] [stdout]     |
[INFO] [stdout] 121 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     val_4: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     val_5: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     val_6: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     val_7: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:236:5
[INFO] [stdout]     |
[INFO] [stdout] 236 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:237:5
[INFO] [stdout]     |
[INFO] [stdout] 237 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:238:5
[INFO] [stdout]     |
[INFO] [stdout] 238 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:239:5
[INFO] [stdout]     |
[INFO] [stdout] 239 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for the crate
[INFO] [stdout]   --> src/lib.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | / #![warn(
[INFO] [stdout]  7 | |     unused,
[INFO] [stdout]  8 | |     future_incompatible,
[INFO] [stdout]  9 | |     nonstandard_style,
[INFO] [stdout] ...  |
[INFO] [stdout] 18 | | pub mod mem_gen;
[INFO] [stdout] 19 | | pub mod r1cs;
[INFO] [stdout]    | |_____________^
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/lib.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     missing_docs
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]   --> src/lib.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub mod mem_gen;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]  --> src/mem_gen/mod.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub mod mem_gen;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]  --> src/mem_gen/mem_gen.rs:7:1
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices<Fr> {
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn boolean_check_matrix_gen(x_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:48:1
[INFO] [stdout]    |
[INFO] [stdout] 48 | / pub fn addr_inc_check_matrix_gen(
[INFO] [stdout] 49 | |     x_in: u64,
[INFO] [stdout] 50 | |     addr_p_in: u64,
[INFO] [stdout] 51 | |     addr_in: u64,
[INFO] [stdout] 52 | | ) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let lastAccess = cs.new_witness_variable(|| Ok(x)).unwrap();
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/lib.rs:9:5
[INFO] [stdout]    |
[INFO] [stdout]  9 |     nonstandard_style,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` implied by `#[warn(nonstandard_style)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:1
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:8
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `m_op_m_wr_check_matrix_gen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:33
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                 ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:46
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                              ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:84:9
[INFO] [stdout]    |
[INFO] [stdout] 84 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:87:9
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:110:1
[INFO] [stdout]     |
[INFO] [stdout] 110 | / pub fn update_value_check_matrix_gen(
[INFO] [stdout] 111 | |     mOp_in: u64,
[INFO] [stdout] 112 | |     mWr_in: u64,
[INFO] [stdout] 113 | |     lastAccess_in: u64,
[INFO] [stdout] ...   |
[INFO] [stdout] 129 | |     val_7: u64,
[INFO] [stdout] 130 | | ) -> ConstraintMatrices<Fr> {
[INFO] [stdout]     | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:112:5
[INFO] [stdout]     |
[INFO] [stdout] 112 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 113 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:133:9
[INFO] [stdout]     |
[INFO] [stdout] 133 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:228:1
[INFO] [stdout]     |
[INFO] [stdout] 228 | / pub fn update_value_check_mul_matrix_gen(
[INFO] [stdout] 229 | |     mOp_in: u64,
[INFO] [stdout] 230 | |     mWr_in: u64,
[INFO] [stdout] 231 | |     lastAccess_in: u64,
[INFO] [stdout] ...   |
[INFO] [stdout] 239 | |     val_p7: u64,
[INFO] [stdout] 240 | | ) -> ConstraintMatrices<Fr> {
[INFO] [stdout]     | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:229:5
[INFO] [stdout]     |
[INFO] [stdout] 229 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:231:5
[INFO] [stdout]     |
[INFO] [stdout] 231 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:242:9
[INFO] [stdout]     |
[INFO] [stdout] 242 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:243:9
[INFO] [stdout]     |
[INFO] [stdout] 243 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:246:9
[INFO] [stdout]     |
[INFO] [stdout] 246 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:269:9
[INFO] [stdout]     |
[INFO] [stdout] 269 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:270:9
[INFO] [stdout]     |
[INFO] [stdout] 270 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:271:9
[INFO] [stdout]     |
[INFO] [stdout] 271 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]  --> src/r1cs/mod.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub mod impl_lc;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]   --> src/r1cs/mod.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub mod constraint_system;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]   --> src/r1cs/mod.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub mod error;
[INFO] [stdout]    | ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]    --> src/r1cs/mod.rs:149:1
[INFO] [stdout]     |
[INFO] [stdout] 149 | pub fn add_one(x: u8) -> u8 {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:740:9
[INFO] [stdout]     |
[INFO] [stdout] 740 |         drop(&mut self.inner)
[INFO] [stdout]     |         ^^^^^---------------^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              argument has type `&mut ConstraintSystemRef<F>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: use `let _ = ...` to ignore the expression or result
[INFO] [stdout]     = note: `#[warn(dropping_references)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:118:5
[INFO] [stdout]     |
[INFO] [stdout] 118 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` implied by `#[warn(unused)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:119:5
[INFO] [stdout]     |
[INFO] [stdout] 119 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:120:5
[INFO] [stdout]     |
[INFO] [stdout] 120 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:121:5
[INFO] [stdout]     |
[INFO] [stdout] 121 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     val_4: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     val_5: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     val_6: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     val_7: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:236:5
[INFO] [stdout]     |
[INFO] [stdout] 236 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:237:5
[INFO] [stdout]     |
[INFO] [stdout] 237 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:238:5
[INFO] [stdout]     |
[INFO] [stdout] 238 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:239:5
[INFO] [stdout]     |
[INFO] [stdout] 239 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde::Deserialize`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use serde::Deserialize;
[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: `std::error::Error`
[INFO] [stdout]  --> src/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::error::Error;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io::BufReader`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::io::BufReader;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for the crate
[INFO] [stdout]   --> src/lib.rs:6:1
[INFO] [stdout]    |
[INFO] [stdout]  6 | / #![warn(
[INFO] [stdout]  7 | |     unused,
[INFO] [stdout]  8 | |     future_incompatible,
[INFO] [stdout]  9 | |     nonstandard_style,
[INFO] [stdout] ...  |
[INFO] [stdout] 18 | | pub mod mem_gen;
[INFO] [stdout] 19 | | pub mod r1cs;
[INFO] [stdout]    | |_____________^
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/lib.rs:11:5
[INFO] [stdout]    |
[INFO] [stdout] 11 |     missing_docs
[INFO] [stdout]    |     ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]   --> src/lib.rs:18:1
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub mod mem_gen;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]  --> src/mem_gen/mod.rs:1:1
[INFO] [stdout]   |
[INFO] [stdout] 1 | pub mod mem_gen;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::Path`
[INFO] [stdout]  --> src/main.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::path::Path;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]  --> src/mem_gen/mem_gen.rs:7:1
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices<Fr> {
[INFO] [stdout]   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:24:1
[INFO] [stdout]    |
[INFO] [stdout] 24 | pub fn boolean_check_matrix_gen(x_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:48:1
[INFO] [stdout]    |
[INFO] [stdout] 48 | / pub fn addr_inc_check_matrix_gen(
[INFO] [stdout] 49 | |     x_in: u64,
[INFO] [stdout] 50 | |     addr_p_in: u64,
[INFO] [stdout] 51 | |     addr_in: u64,
[INFO] [stdout] 52 | | ) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let lastAccess = cs.new_witness_variable(|| Ok(x)).unwrap();
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout]    |
[INFO] [stdout] note: the lint level is defined here
[INFO] [stdout]   --> src/lib.rs:9:5
[INFO] [stdout]    |
[INFO] [stdout]  9 |     nonstandard_style,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` implied by `#[warn(nonstandard_style)]`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:1
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:8
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `m_op_m_wr_check_matrix_gen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:33
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                 ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:46
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                              ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:84:9
[INFO] [stdout]    |
[INFO] [stdout] 84 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:87:9
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:110:1
[INFO] [stdout]     |
[INFO] [stdout] 110 | / pub fn update_value_check_matrix_gen(
[INFO] [stdout] 111 | |     mOp_in: u64,
[INFO] [stdout] 112 | |     mWr_in: u64,
[INFO] [stdout] 113 | |     lastAccess_in: u64,
[INFO] [stdout] ...   |
[INFO] [stdout] 129 | |     val_7: u64,
[INFO] [stdout] 130 | | ) -> ConstraintMatrices<Fr> {
[INFO] [stdout]     | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:112:5
[INFO] [stdout]     |
[INFO] [stdout] 112 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 113 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:133:9
[INFO] [stdout]     |
[INFO] [stdout] 133 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:228:1
[INFO] [stdout]     |
[INFO] [stdout] 228 | / pub fn update_value_check_mul_matrix_gen(
[INFO] [stdout] 229 | |     mOp_in: u64,
[INFO] [stdout] 230 | |     mWr_in: u64,
[INFO] [stdout] 231 | |     lastAccess_in: u64,
[INFO] [stdout] ...   |
[INFO] [stdout] 239 | |     val_p7: u64,
[INFO] [stdout] 240 | | ) -> ConstraintMatrices<Fr> {
[INFO] [stdout]     | |___________________________^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tracing::info_span`
[INFO] [stdout]   --> src/r1cs/mod.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub use tracing::info_span;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:229:5
[INFO] [stdout]     |
[INFO] [stdout] 229 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:231:5
[INFO] [stdout]     |
[INFO] [stdout] 231 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToConstraintField`
[INFO] [stdout]   --> src/r1cs/mod.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub use ark_ff::{Field, ToConstraintField};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:242:9
[INFO] [stdout]     |
[INFO] [stdout] 242 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:243:9
[INFO] [stdout]     |
[INFO] [stdout] 243 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:246:9
[INFO] [stdout]     |
[INFO] [stdout] 246 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:269:9
[INFO] [stdout]     |
[INFO] [stdout] 269 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ConstraintSynthesizer`, `ConstraintSystemRef`, `Namespace`, `OptimizationGoal`, and `SynthesisMode`
[INFO] [stdout]   --> src/r1cs/mod.rs:22:25
[INFO] [stdout]    |
[INFO] [stdout] 22 |     ConstraintMatrices, ConstraintSynthesizer, ConstraintSystem, ConstraintSystemRef, Namespace,
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^^                    ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 23 |     OptimizationGoal, SynthesisMode,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^  ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:270:9
[INFO] [stdout]     |
[INFO] [stdout] 270 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:271:9
[INFO] [stdout]     |
[INFO] [stdout] 271 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]  --> src/r1cs/mod.rs:9:1
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub mod impl_lc;
[INFO] [stdout]   | ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]   --> src/r1cs/mod.rs:10:1
[INFO] [stdout]    |
[INFO] [stdout] 10 | pub mod constraint_system;
[INFO] [stdout]    | ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a module
[INFO] [stdout]   --> src/r1cs/mod.rs:11:1
[INFO] [stdout]    |
[INFO] [stdout] 11 | pub mod error;
[INFO] [stdout]    | ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: missing documentation for a function
[INFO] [stdout]    --> src/r1cs/mod.rs:149:1
[INFO] [stdout]     |
[INFO] [stdout] 149 | pub fn add_one(x: u8) -> u8 {
[INFO] [stdout]     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mem_gen::*`
[INFO] [stdout]  --> src/main.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::mem_gen::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::r1cs::*`
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::r1cs::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ff::PrimeField`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use ark_ff::PrimeField;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr`
[INFO] [stdout]   --> src/main.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `io::Write`
[INFO] [stdout]   --> src/main.rs:14:21
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::{fs::File, io::Write};
[INFO] [stdout]    |                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `serde::Deserialize`
[INFO] [stdout]  --> src/main.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use serde::Deserialize;
[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: `std::error::Error`
[INFO] [stdout]  --> src/main.rs:3:5
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::error::Error;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::io::BufReader`
[INFO] [stdout]  --> src/main.rs:5:5
[INFO] [stdout]   |
[INFO] [stdout] 5 | use std::io::BufReader;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `std::path::Path`
[INFO] [stdout]  --> src/main.rs:6:5
[INFO] [stdout]   |
[INFO] [stdout] 6 | use std::path::Path;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fs::File` and `io::Write`
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1029:15
[INFO] [stdout]      |
[INFO] [stdout] 1029 |     use std::{fs::File, io::Write};
[INFO] [stdout]      |               ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `tracing::info_span`
[INFO] [stdout]   --> src/r1cs/mod.rs:18:9
[INFO] [stdout]    |
[INFO] [stdout] 18 | pub use tracing::info_span;
[INFO] [stdout]    |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ToConstraintField`
[INFO] [stdout]   --> src/r1cs/mod.rs:20:25
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub use ark_ff::{Field, ToConstraintField};
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `ConstraintSynthesizer`, `ConstraintSystemRef`, `Namespace`, and `SynthesisMode`
[INFO] [stdout]   --> src/r1cs/mod.rs:22:25
[INFO] [stdout]    |
[INFO] [stdout] 22 |     ConstraintMatrices, ConstraintSynthesizer, ConstraintSystem, ConstraintSystemRef, Namespace,
[INFO] [stdout]    |                         ^^^^^^^^^^^^^^^^^^^^^                    ^^^^^^^^^^^^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 23 |     OptimizationGoal, SynthesisMode,
[INFO] [stdout]    |                       ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::mem_gen::*`
[INFO] [stdout]  --> src/main.rs:9:5
[INFO] [stdout]   |
[INFO] [stdout] 9 | use crate::mem_gen::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::r1cs::*`
[INFO] [stdout]   --> src/main.rs:10:5
[INFO] [stdout]    |
[INFO] [stdout] 10 | use crate::r1cs::*;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_ff::PrimeField`
[INFO] [stdout]   --> src/main.rs:12:5
[INFO] [stdout]    |
[INFO] [stdout] 12 | use ark_ff::PrimeField;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr`
[INFO] [stdout]   --> src/main.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout] 13 | use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `io::Write`
[INFO] [stdout]   --> src/main.rs:14:21
[INFO] [stdout]    |
[INFO] [stdout] 14 | use std::{fs::File, io::Write};
[INFO] [stdout]    |                     ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:740:9
[INFO] [stdout]     |
[INFO] [stdout] 740 |         drop(&mut self.inner)
[INFO] [stdout]     |         ^^^^^---------------^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              argument has type `&mut ConstraintSystemRef<F>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: use `let _ = ...` to ignore the expression or result
[INFO] [stdout]     = note: `#[warn(dropping_references)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1188:13
[INFO] [stdout]      |
[INFO] [stdout] 1188 |         let lastAccess = Fr::one();
[INFO] [stdout]      |             ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `LA` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1190:13
[INFO] [stdout]      |
[INFO] [stdout] 1190 |         let LA = cs.new_witness_variable(|| Ok(lastAccess))?;
[INFO] [stdout]      |             ^^ help: convert the identifier to snake case: `la`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1222:13
[INFO] [stdout]      |
[INFO] [stdout] 1222 |         let lastAccess = cs.new_witness_variable(|| Ok(Fr::one()))?;
[INFO] [stdout]      |             ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:118:5
[INFO] [stdout]     |
[INFO] [stdout] 118 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:119:5
[INFO] [stdout]     |
[INFO] [stdout] 119 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:120:5
[INFO] [stdout]     |
[INFO] [stdout] 120 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:121:5
[INFO] [stdout]     |
[INFO] [stdout] 121 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     val_4: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     val_5: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     val_6: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     val_7: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:236:5
[INFO] [stdout]     |
[INFO] [stdout] 236 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:237:5
[INFO] [stdout]     |
[INFO] [stdout] 237 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:238:5
[INFO] [stdout]     |
[INFO] [stdout] 238 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:239:5
[INFO] [stdout]     |
[INFO] [stdout] 239 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat`
[INFO] [stdout]   --> src/main.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mat = boolean_check_matrix_gen(mOp_in);
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_mat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat2`
[INFO] [stdout]   --> src/main.rs:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |     let mat2 = boolean_check_matrix_gen(mWr_in);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat3`
[INFO] [stdout]   --> src/main.rs:69:9
[INFO] [stdout]    |
[INFO] [stdout] 69 |     let mat3 = boolean_check_matrix_gen(lastAccess);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat4`
[INFO] [stdout]   --> src/main.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     let mat4 = addr_inc_check_matrix_gen(lastAccess, addr_p, addr);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat5`
[INFO] [stdout]   --> src/main.rs:75:9
[INFO] [stdout]    |
[INFO] [stdout] 75 |     let mat5 = mOp_mWr_check_matrix_gen(mOp_in, mWr_in);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat6`
[INFO] [stdout]   --> src/main.rs:78:9
[INFO] [stdout]    |
[INFO] [stdout] 78 |     let mat6 = update_value_check_matrix_gen(
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat7`
[INFO] [stdout]   --> src/main.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     let mat7 = update_value_check_mul_matrix_gen(
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_type_of` is never used
[INFO] [stdout]   --> src/main.rs:20:4
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn print_type_of<T>(_: &T) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `matrix_gen` is never used
[INFO] [stdout]  --> src/mem_gen/mem_gen.rs:7:8
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices<Fr> {
[INFO] [stdout]   |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_one` is never used
[INFO] [stdout]    --> src/r1cs/mod.rs:149:8
[INFO] [stdout]     |
[INFO] [stdout] 149 | pub fn add_one(x: u8) -> u8 {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `ConstraintSynthesizer` is never used
[INFO] [stdout]   --> src/r1cs/constraint_system.rs:21:11
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub trait ConstraintSynthesizer<F: Field> {
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `cache_map` is never read
[INFO] [stdout]   --> src/r1cs/constraint_system.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]    |            ---------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 62 |     pub cache_map: Rc<RefCell<BTreeMap<TypeId, Box<dyn Any>>>>,
[INFO] [stdout]    |         ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ConstraintSystem` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `None` and `Weight` are never constructed
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:102:5
[INFO] [stdout]     |
[INFO] [stdout] 100 | pub enum OptimizationGoal {
[INFO] [stdout]     |          ---------------- variants in this enum
[INFO] [stdout] 101 |     /// Make no attempt to optimize.
[INFO] [stdout] 102 |     None,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 107 |     Weight,
[INFO] [stdout]     |     ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `OptimizationGoal` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `set_mode`, `optimization_goal`, `set_optimization_goal`, and `zero` are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:161:12
[INFO] [stdout]     |
[INFO] [stdout] 110 | impl<F: Field> ConstraintSystem<F> {
[INFO] [stdout]     | ---------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 161 |     pub fn set_mode(&mut self, mode: SynthesisMode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 172 |     pub fn optimization_goal(&self) -> OptimizationGoal {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 178 |     pub fn set_optimization_goal(&mut self, goal: OptimizationGoal) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 199 |     pub fn zero() -> Variable {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `None` is never constructed
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:685:5
[INFO] [stdout]     |
[INFO] [stdout] 681 | pub enum ConstraintSystemRef<F: Field> {
[INFO] [stdout]     |          ------------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 685 |     None,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstraintSystemRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Namespace` is never constructed
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:704:12
[INFO] [stdout]     |
[INFO] [stdout] 704 | pub struct Namespace<F: Field> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `cs`, and `leave_namespace` are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:720:12
[INFO] [stdout]     |
[INFO] [stdout] 718 | impl<F: Field> Namespace<F> {
[INFO] [stdout]     | --------------------------- associated items in this implementation
[INFO] [stdout] 719 |     /// Construct a new `Namespace`.
[INFO] [stdout] 720 |     pub fn new(inner: ConstraintSystemRef<F>, id: Option<tracing::Id>) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 725 |     pub fn cs(&self) -> ConstraintSystemRef<F> {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 730 |     pub fn leave_namespace(self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:746:12
[INFO] [stdout]     |
[INFO] [stdout] 744 | impl<F: Field> ConstraintSystemRef<F> {
[INFO] [stdout]     | ------------------------------------- methods in this implementation
[INFO] [stdout] 745 |     /// Returns `self` if `!self.is_none()`, otherwise returns `other`.
[INFO] [stdout] 746 |     pub fn or(self, other: Self) -> Self {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 754 |     pub fn is_none(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 774 |     pub fn into_inner(self) -> Option<ConstraintSystem<F>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 786 |     pub fn borrow(&self) -> Option<Ref<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 795 |     pub fn borrow_mut(&self) -> Option<RefMut<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 800 |     pub fn set_mode(&self, mode: SynthesisMode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 813 |     pub fn num_constraints(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 819 |     pub fn num_instance_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 826 |     pub fn num_witness_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 834 |     pub fn optimization_goal(&self) -> OptimizationGoal {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 843 |     pub fn set_optimization_goal(&self, goal: OptimizationGoal) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 850 |     pub fn should_construct_matrices(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 897 |     pub fn new_lc(&self, lc: LinearCombination<F>) -> crate::r1cs::Result<Variable> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 924 |     pub fn inline_all_lcs(&self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 960 |     pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result<Option<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 968 |     pub fn assigned_value(&self, v: Variable) -> Option<F> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 973 |     pub fn constraint_names(&self) -> Option<Vec<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `DivisionByZero`, `Unsatisfiable`, `PolynomialDegreeTooLarge`, `UnexpectedIdentity`, `MalformedVerifyingKey`, and `UnconstrainedVariable` are never constructed
[INFO] [stdout]   --> src/r1cs/error.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub enum SynthesisError {
[INFO] [stdout]    |          -------------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 13 |     DivisionByZero,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 14 |     /// During synthesis, we constructed an unsatisfiable constraint system.
[INFO] [stdout] 15 |     Unsatisfiable,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 16 |     /// During synthesis, our polynomials ended up being too high of degree
[INFO] [stdout] 17 |     PolynomialDegreeTooLarge,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 18 |     /// During proof generation, we encountered an identity in the CRS
[INFO] [stdout] 19 |     UnexpectedIdentity,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 20 |     /// During verification, our verifying key was malformed.
[INFO] [stdout] 21 |     MalformedVerifyingKey,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 22 |     /// During CRS generation, we observed an unconstrained auxiliary variable
[INFO] [stdout] 23 |     UnconstrainedVariable,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SynthesisError` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let mOp_in = data.as_array().unwrap()[0]["mOp"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]   --> src/main.rs:43:9
[INFO] [stdout]    |
[INFO] [stdout] 43 |     let lastAccess = data.as_array().unwrap()[0]["lastAccess"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 |     let mWr_in = data.as_array().unwrap()[0]["mWr"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_p_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:47:9
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let mOp_p_in = data.as_array().unwrap()[1]["mOp"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^^^ help: convert the identifier to snake case: `m_op_p_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_p_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:48:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |     let mWr_p_in = data.as_array().unwrap()[1]["mWr"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^^^ help: convert the identifier to snake case: `m_wr_p_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let lastAccess = cs.new_witness_variable(|| Ok(x)).unwrap();
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:8
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `m_op_m_wr_check_matrix_gen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:33
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                 ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:46
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                              ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:84:9
[INFO] [stdout]    |
[INFO] [stdout] 84 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:87:9
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:112:5
[INFO] [stdout]     |
[INFO] [stdout] 112 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 113 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:133:9
[INFO] [stdout]     |
[INFO] [stdout] 133 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:229:5
[INFO] [stdout]     |
[INFO] [stdout] 229 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:231:5
[INFO] [stdout]     |
[INFO] [stdout] 231 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:242:9
[INFO] [stdout]     |
[INFO] [stdout] 242 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:243:9
[INFO] [stdout]     |
[INFO] [stdout] 243 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:246:9
[INFO] [stdout]     |
[INFO] [stdout] 246 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:269:9
[INFO] [stdout]     |
[INFO] [stdout] 269 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:270:9
[INFO] [stdout]     |
[INFO] [stdout] 270 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:271:9
[INFO] [stdout]     |
[INFO] [stdout] 271 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:740:9
[INFO] [stdout]     |
[INFO] [stdout] 740 |         drop(&mut self.inner)
[INFO] [stdout]     |         ^^^^^---------------^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              argument has type `&mut ConstraintSystemRef<F>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: use `let _ = ...` to ignore the expression or result
[INFO] [stdout]     = note: `#[warn(dropping_references)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:118:5
[INFO] [stdout]     |
[INFO] [stdout] 118 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:119:5
[INFO] [stdout]     |
[INFO] [stdout] 119 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:120:5
[INFO] [stdout]     |
[INFO] [stdout] 120 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:121:5
[INFO] [stdout]     |
[INFO] [stdout] 121 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:126:5
[INFO] [stdout]     |
[INFO] [stdout] 126 |     val_4: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:127:5
[INFO] [stdout]     |
[INFO] [stdout] 127 |     val_5: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:128:5
[INFO] [stdout]     |
[INFO] [stdout] 128 |     val_6: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:129:5
[INFO] [stdout]     |
[INFO] [stdout] 129 |     val_7: u64,
[INFO] [stdout]     |     ^^^^^ help: if this is intentional, prefix it with an underscore: `_val_7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p4`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:236:5
[INFO] [stdout]     |
[INFO] [stdout] 236 |     val_p4: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p5`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:237:5
[INFO] [stdout]     |
[INFO] [stdout] 237 |     val_p5: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p6`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:238:5
[INFO] [stdout]     |
[INFO] [stdout] 238 |     val_p6: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `val_p7`
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:239:5
[INFO] [stdout]     |
[INFO] [stdout] 239 |     val_p7: u64,
[INFO] [stdout]     |     ^^^^^^ help: if this is intentional, prefix it with an underscore: `_val_p7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat`
[INFO] [stdout]   --> src/main.rs:67:9
[INFO] [stdout]    |
[INFO] [stdout] 67 |     let mat = boolean_check_matrix_gen(mOp_in);
[INFO] [stdout]    |         ^^^ help: if this is intentional, prefix it with an underscore: `_mat`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat2`
[INFO] [stdout]   --> src/main.rs:68:9
[INFO] [stdout]    |
[INFO] [stdout] 68 |     let mat2 = boolean_check_matrix_gen(mWr_in);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat2`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat3`
[INFO] [stdout]   --> src/main.rs:69:9
[INFO] [stdout]    |
[INFO] [stdout] 69 |     let mat3 = boolean_check_matrix_gen(lastAccess);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat3`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat4`
[INFO] [stdout]   --> src/main.rs:72:9
[INFO] [stdout]    |
[INFO] [stdout] 72 |     let mat4 = addr_inc_check_matrix_gen(lastAccess, addr_p, addr);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat4`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat5`
[INFO] [stdout]   --> src/main.rs:75:9
[INFO] [stdout]    |
[INFO] [stdout] 75 |     let mat5 = mOp_mWr_check_matrix_gen(mOp_in, mWr_in);
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat5`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat6`
[INFO] [stdout]   --> src/main.rs:78:9
[INFO] [stdout]    |
[INFO] [stdout] 78 |     let mat6 = update_value_check_matrix_gen(
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat6`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `mat7`
[INFO] [stdout]   --> src/main.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     let mat7 = update_value_check_mul_matrix_gen(
[INFO] [stdout]    |         ^^^^ help: if this is intentional, prefix it with an underscore: `_mat7`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_type_of` is never used
[INFO] [stdout]   --> src/main.rs:20:4
[INFO] [stdout]    |
[INFO] [stdout] 20 | fn print_type_of<T>(_: &T) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `matrix_gen` is never used
[INFO] [stdout]  --> src/mem_gen/mem_gen.rs:7:8
[INFO] [stdout]   |
[INFO] [stdout] 7 | pub fn matrix_gen(a_in: u8, b_in: u8, c_in: u8) -> ConstraintMatrices<Fr> {
[INFO] [stdout]   |        ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `add_one` is never used
[INFO] [stdout]    --> src/r1cs/mod.rs:149:8
[INFO] [stdout]     |
[INFO] [stdout] 149 | pub fn add_one(x: u8) -> u8 {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: trait `ConstraintSynthesizer` is never used
[INFO] [stdout]   --> src/r1cs/constraint_system.rs:21:11
[INFO] [stdout]    |
[INFO] [stdout] 21 | pub trait ConstraintSynthesizer<F: Field> {
[INFO] [stdout]    |           ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: field `cache_map` is never read
[INFO] [stdout]   --> src/r1cs/constraint_system.rs:62:9
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]    |            ---------------- field in this struct
[INFO] [stdout] ...
[INFO] [stdout] 62 |     pub cache_map: Rc<RefCell<BTreeMap<TypeId, Box<dyn Any>>>>,
[INFO] [stdout]    |         ^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ConstraintSystem` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `None` is never constructed
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:102:5
[INFO] [stdout]     |
[INFO] [stdout] 100 | pub enum OptimizationGoal {
[INFO] [stdout]     |          ---------------- variant in this enum
[INFO] [stdout] 101 |     /// Make no attempt to optimize.
[INFO] [stdout] 102 |     None,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `OptimizationGoal` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `set_mode`, `optimization_goal`, and `zero` are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:161:12
[INFO] [stdout]     |
[INFO] [stdout] 110 | impl<F: Field> ConstraintSystem<F> {
[INFO] [stdout]     | ---------------------------------- associated items in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 161 |     pub fn set_mode(&mut self, mode: SynthesisMode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 172 |     pub fn optimization_goal(&self) -> OptimizationGoal {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 199 |     pub fn zero() -> Variable {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `None` is never constructed
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:685:5
[INFO] [stdout]     |
[INFO] [stdout] 681 | pub enum ConstraintSystemRef<F: Field> {
[INFO] [stdout]     |          ------------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 685 |     None,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ConstraintSystemRef` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Namespace` is never constructed
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:704:12
[INFO] [stdout]     |
[INFO] [stdout] 704 | pub struct Namespace<F: Field> {
[INFO] [stdout]     |            ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `cs`, and `leave_namespace` are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:720:12
[INFO] [stdout]     |
[INFO] [stdout] 718 | impl<F: Field> Namespace<F> {
[INFO] [stdout]     | --------------------------- associated items in this implementation
[INFO] [stdout] 719 |     /// Construct a new `Namespace`.
[INFO] [stdout] 720 |     pub fn new(inner: ConstraintSystemRef<F>, id: Option<tracing::Id>) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 725 |     pub fn cs(&self) -> ConstraintSystemRef<F> {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 730 |     pub fn leave_namespace(self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple methods are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:746:12
[INFO] [stdout]     |
[INFO] [stdout] 744 | impl<F: Field> ConstraintSystemRef<F> {
[INFO] [stdout]     | ------------------------------------- methods in this implementation
[INFO] [stdout] 745 |     /// Returns `self` if `!self.is_none()`, otherwise returns `other`.
[INFO] [stdout] 746 |     pub fn or(self, other: Self) -> Self {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 754 |     pub fn is_none(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 774 |     pub fn into_inner(self) -> Option<ConstraintSystem<F>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 786 |     pub fn borrow(&self) -> Option<Ref<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 795 |     pub fn borrow_mut(&self) -> Option<RefMut<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 800 |     pub fn set_mode(&self, mode: SynthesisMode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 813 |     pub fn num_constraints(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 819 |     pub fn num_instance_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 826 |     pub fn num_witness_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 834 |     pub fn optimization_goal(&self) -> OptimizationGoal {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 850 |     pub fn should_construct_matrices(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 960 |     pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result<Option<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 968 |     pub fn assigned_value(&self, v: Variable) -> Option<F> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 973 |     pub fn constraint_names(&self) -> Option<Vec<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `DivisionByZero`, `Unsatisfiable`, `PolynomialDegreeTooLarge`, `UnexpectedIdentity`, `MalformedVerifyingKey`, and `UnconstrainedVariable` are never constructed
[INFO] [stdout]   --> src/r1cs/error.rs:13:5
[INFO] [stdout]    |
[INFO] [stdout]  6 | pub enum SynthesisError {
[INFO] [stdout]    |          -------------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 13 |     DivisionByZero,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^
[INFO] [stdout] 14 |     /// During synthesis, we constructed an unsatisfiable constraint system.
[INFO] [stdout] 15 |     Unsatisfiable,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 16 |     /// During synthesis, our polynomials ended up being too high of degree
[INFO] [stdout] 17 |     PolynomialDegreeTooLarge,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 18 |     /// During proof generation, we encountered an identity in the CRS
[INFO] [stdout] 19 |     UnexpectedIdentity,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 20 |     /// During verification, our verifying key was malformed.
[INFO] [stdout] 21 |     MalformedVerifyingKey,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 22 |     /// During CRS generation, we observed an unconstrained auxiliary variable
[INFO] [stdout] 23 |     UnconstrainedVariable,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SynthesisError` has derived impls for the traits `Debug` and `Clone`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:42:9
[INFO] [stdout]    |
[INFO] [stdout] 42 |     let mOp_in = data.as_array().unwrap()[0]["mOp"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(non_snake_case)]` (part of `#[warn(nonstandard_style)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]   --> src/main.rs:43:9
[INFO] [stdout]    |
[INFO] [stdout] 43 |     let lastAccess = data.as_array().unwrap()[0]["lastAccess"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:46:9
[INFO] [stdout]    |
[INFO] [stdout] 46 |     let mWr_in = data.as_array().unwrap()[0]["mWr"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_p_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:47:9
[INFO] [stdout]    |
[INFO] [stdout] 47 |     let mOp_p_in = data.as_array().unwrap()[1]["mOp"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^^^ help: convert the identifier to snake case: `m_op_p_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_p_in` should have a snake case name
[INFO] [stdout]   --> src/main.rs:48:9
[INFO] [stdout]    |
[INFO] [stdout] 48 |     let mWr_p_in = data.as_array().unwrap()[1]["mWr"].as_u64().unwrap();
[INFO] [stdout]    |         ^^^^^^^^ help: convert the identifier to snake case: `m_wr_p_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:58:9
[INFO] [stdout]    |
[INFO] [stdout] 58 |     let lastAccess = cs.new_witness_variable(|| Ok(x)).unwrap();
[INFO] [stdout]    |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:8
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^ help: convert the identifier to snake case: `m_op_m_wr_check_matrix_gen`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:33
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                 ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:81:46
[INFO] [stdout]    |
[INFO] [stdout] 81 | pub fn mOp_mWr_check_matrix_gen(mOp_in: u64, mWr_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |                                              ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:83:9
[INFO] [stdout]    |
[INFO] [stdout] 83 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:84:9
[INFO] [stdout]    |
[INFO] [stdout] 84 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:86:9
[INFO] [stdout]    |
[INFO] [stdout] 86 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mem_gen.rs:87:9
[INFO] [stdout]    |
[INFO] [stdout] 87 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]    |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:112:5
[INFO] [stdout]     |
[INFO] [stdout] 112 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:113:5
[INFO] [stdout]     |
[INFO] [stdout] 113 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:132:9
[INFO] [stdout]     |
[INFO] [stdout] 132 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:133:9
[INFO] [stdout]     |
[INFO] [stdout] 133 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:136:9
[INFO] [stdout]     |
[INFO] [stdout] 136 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:169:9
[INFO] [stdout]     |
[INFO] [stdout] 169 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:170:9
[INFO] [stdout]     |
[INFO] [stdout] 170 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:171:9
[INFO] [stdout]     |
[INFO] [stdout] 171 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:229:5
[INFO] [stdout]     |
[INFO] [stdout] 229 |     mOp_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_op_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:230:5
[INFO] [stdout]     |
[INFO] [stdout] 230 |     mWr_in: u64,
[INFO] [stdout]     |     ^^^^^^ help: convert the identifier to snake case: `m_wr_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess_in` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:231:5
[INFO] [stdout]     |
[INFO] [stdout] 231 |     lastAccess_in: u64,
[INFO] [stdout]     |     ^^^^^^^^^^^^^ help: convert the identifier to snake case: `last_access_in`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:242:9
[INFO] [stdout]     |
[INFO] [stdout] 242 |     let mOp = Fr::from(mOp_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:243:9
[INFO] [stdout]     |
[INFO] [stdout] 243 |     let mWr = Fr::from(mWr_in);
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:246:9
[INFO] [stdout]     |
[INFO] [stdout] 246 |     let lastAccess = Fr::from(lastAccess_in);
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mOp` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:269:9
[INFO] [stdout]     |
[INFO] [stdout] 269 |     let mOp = cs.new_witness_variable(|| Ok(mOp)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_op`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `mWr` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:270:9
[INFO] [stdout]     |
[INFO] [stdout] 270 |     let mWr = cs.new_witness_variable(|| Ok(mWr)).unwrap();
[INFO] [stdout]     |         ^^^ help: convert the identifier to snake case: `m_wr`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]    --> src/mem_gen/mem_gen.rs:271:9
[INFO] [stdout]     |
[INFO] [stdout] 271 |     let lastAccess = cs.new_witness_variable(|| Ok(lastAccess)).unwrap();
[INFO] [stdout]     |         ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: calls to `std::mem::drop` with a reference instead of an owned value does nothing
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:740:9
[INFO] [stdout]     |
[INFO] [stdout] 740 |         drop(&mut self.inner)
[INFO] [stdout]     |         ^^^^^---------------^
[INFO] [stdout]     |              |
[INFO] [stdout]     |              argument has type `&mut ConstraintSystemRef<F>`
[INFO] [stdout]     |
[INFO] [stdout]     = note: use `let _ = ...` to ignore the expression or result
[INFO] [stdout]     = note: `#[warn(dropping_references)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1188:13
[INFO] [stdout]      |
[INFO] [stdout] 1188 |         let lastAccess = Fr::one();
[INFO] [stdout]      |             ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `LA` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1190:13
[INFO] [stdout]      |
[INFO] [stdout] 1190 |         let LA = cs.new_witness_variable(|| Ok(lastAccess))?;
[INFO] [stdout]      |             ^^ help: convert the identifier to snake case: `la`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `lastAccess` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1222:13
[INFO] [stdout]      |
[INFO] [stdout] 1222 |         let lastAccess = cs.new_witness_variable(|| Ok(Fr::one()))?;
[INFO] [stdout]      |             ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 23.65s
[INFO] running `Command { std: "docker" "inspect" "e05ca0b4eeb632fb1eb7114b575ea63ca2b1bdfbf1a8be55e561d64503dd5dea", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e05ca0b4eeb632fb1eb7114b575ea63ca2b1bdfbf1a8be55e561d64503dd5dea", kill_on_drop: false }`
[INFO] [stdout] e05ca0b4eeb632fb1eb7114b575ea63ca2b1bdfbf1a8be55e561d64503dd5dea
