[INFO] cloning repository https://github.com/zengzengzenghuy/circuit_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/circuit_build" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2Fcircuit_build", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2Fcircuit_build'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 7d9775a2e51383ff94945c51a4814d881fe04d57
[INFO] checking zengzengzenghuy/circuit_build against master#19a647d6d8f6ead984d7b431c4a8376e02c543e6 for pr-114559-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fzengzengzenghuy%2Fcircuit_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] validating manifest of git repo https://github.com/zengzengzenghuy/circuit_build on toolchain 19a647d6d8f6ead984d7b431c4a8376e02c543e6
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+19a647d6d8f6ead984d7b431c4a8376e02c543e6" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/zengzengzenghuy/circuit_build
[INFO] finished tweaking git repo https://github.com/zengzengzenghuy/circuit_build
[INFO] tweaked toml for git repo https://github.com/zengzengzenghuy/circuit_build written to /workspace/builds/worker-5-tc1/source/Cargo.toml
[INFO] crate git repo https://github.com/zengzengzenghuy/circuit_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" "+19a647d6d8f6ead984d7b431c4a8376e02c543e6" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]     Blocking waiting for file lock on package cache
[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:84cb280c7acaf12c1f874411053406050a24f846e52f817d4d9e64bcbe5ce959" "/opt/rustwide/cargo-home/bin/cargo" "+19a647d6d8f6ead984d7b431c4a8376e02c543e6" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] c809da4c705c4afb7701ba3c0565ee7e33ef2860ec1e408388d7b031700df3cb
[INFO] running `Command { std: "docker" "start" "-a" "c809da4c705c4afb7701ba3c0565ee7e33ef2860ec1e408388d7b031700df3cb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "c809da4c705c4afb7701ba3c0565ee7e33ef2860ec1e408388d7b031700df3cb", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c809da4c705c4afb7701ba3c0565ee7e33ef2860ec1e408388d7b031700df3cb", kill_on_drop: false }`
[INFO] [stdout] c809da4c705c4afb7701ba3c0565ee7e33ef2860ec1e408388d7b031700df3cb
[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:84cb280c7acaf12c1f874411053406050a24f846e52f817d4d9e64bcbe5ce959" "/opt/rustwide/cargo-home/bin/cargo" "+19a647d6d8f6ead984d7b431c4a8376e02c543e6" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] ebbeccb9acbe9bc16fa6b4b7f976a14aa43b747256263badc6ff7ee29a6f81c0
[INFO] running `Command { std: "docker" "start" "-a" "ebbeccb9acbe9bc16fa6b4b7f976a14aa43b747256263badc6ff7ee29a6f81c0", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.43
[INFO] [stderr]    Compiling quote v1.0.21
[INFO] [stderr]    Compiling unicode-ident v1.0.3
[INFO] [stderr]    Compiling syn v1.0.99
[INFO] [stderr]    Compiling autocfg v1.1.0
[INFO] [stderr]    Compiling ucd-trie v0.1.5
[INFO] [stderr]    Compiling typenum v1.15.0
[INFO] [stderr]    Compiling version_check v0.9.4
[INFO] [stderr]     Checking ppv-lite86 v0.2.16
[INFO] [stderr]     Checking rand_core v0.6.3
[INFO] [stderr]    Compiling unicode-xid v0.2.3
[INFO] [stderr]    Compiling serde_derive v1.0.144
[INFO] [stderr]    Compiling serde v1.0.144
[INFO] [stderr]    Compiling paste v1.0.9
[INFO] [stderr]    Compiling serde_json v1.0.85
[INFO] [stderr]     Checking cfg-if v1.0.0
[INFO] [stderr]     Checking tracing-core v0.1.29
[INFO] [stderr]     Checking ryu v1.0.11
[INFO] [stderr]     Checking pin-project-lite v0.2.9
[INFO] [stderr]     Checking itoa v1.0.3
[INFO] [stderr]    Compiling generic-array v0.14.6
[INFO] [stderr]    Compiling num-traits v0.2.15
[INFO] [stderr]    Compiling num-integer v0.1.45
[INFO] [stderr]    Compiling num-bigint v0.4.3
[INFO] [stderr]     Checking rand_chacha v0.3.1
[INFO] [stderr]     Checking tracing v0.1.36
[INFO] [stderr]     Checking rand v0.8.5
[INFO] [stderr]     Checking ark-std v0.3.0
[INFO] [stderr]     Checking digest v0.9.0
[INFO] [stderr]     Checking ark-serialize 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-ff-macros v0.3.0
[INFO] [stderr]    Compiling derivative v2.2.0
[INFO] [stderr]    Compiling ark-ff-asm 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 ark-ec v0.3.0
[INFO] [stderr]     Checking ark-test-curves v0.3.0
[INFO] [stderr]     Checking cs_build v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: unused imports: `fs::File`, `io::Write`
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1028:15
[INFO] [stdout]      |
[INFO] [stdout] 1028 |     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: missing documentation for a function
[INFO] [stdout]   --> src/lib.rs:20:1
[INFO] [stdout]    |
[INFO] [stdout] 20 | pub fn add_from_diff_crate(x: i32) -> i32 {
[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/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:739:9
[INFO] [stdout]     |
[INFO] [stdout] 739 |         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: calls to `std::mem::drop` with a reference instead of an owned value does nothing
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:739:9
[INFO] [stdout]     |
[INFO] [stdout] 739 |         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:1180:13
[INFO] [stdout]      |
[INFO] [stdout] 1180 |         let lastAccess = Fr::one();
[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: variable `LA` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1182:13
[INFO] [stdout]      |
[INFO] [stdout] 1182 |         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:1214:13
[INFO] [stdout]      |
[INFO] [stdout] 1214 |         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: 6 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: 5 warnings emitted
[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)]` 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`, `io::Write`
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1028:15
[INFO] [stdout]      |
[INFO] [stdout] 1028 |     use std::{fs::File, io::Write};
[INFO] [stdout]      |               ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `crate::r1cs::*`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::r1cs::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fs::File`, `io::Write`
[INFO] [stdout]   --> src/main.rs:22:11
[INFO] [stdout]    |
[INFO] [stdout] 22 | use std::{fs::File, io::Write};
[INFO] [stdout]    |           ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr`
[INFO] [stdout]   --> src/main.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 | use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fs::File`, `io::Write`
[INFO] [stdout]  --> src/mem_gen/mod.rs:3:11
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::{fs::File, io::Write};
[INFO] [stdout]   |           ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `mem_gen::*`
[INFO] [stdout]   --> src/main.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 | use mem_gen::*;
[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)]` 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 import: `crate::r1cs::*`
[INFO] [stdout]  --> src/main.rs:8:5
[INFO] [stdout]   |
[INFO] [stdout] 8 | use crate::r1cs::*;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fs::File`, `io::Write`
[INFO] [stdout]   --> src/main.rs:22:11
[INFO] [stdout]    |
[INFO] [stdout] 22 | use std::{fs::File, io::Write};
[INFO] [stdout]    |           ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `ark_test_curves::bls12_381::Fr`
[INFO] [stdout]   --> src/main.rs:24:5
[INFO] [stdout]    |
[INFO] [stdout] 24 | use ark_test_curves::bls12_381::Fr;
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `fs::File`, `io::Write`
[INFO] [stdout]  --> src/mem_gen/mod.rs:3:11
[INFO] [stdout]   |
[INFO] [stdout] 3 | use std::{fs::File, io::Write};
[INFO] [stdout]   |           ^^^^^^^^  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `mem_gen::*`
[INFO] [stdout]   --> src/main.rs:26:5
[INFO] [stdout]    |
[INFO] [stdout] 26 | use mem_gen::*;
[INFO] [stdout]    |     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `print_type_of` is never used
[INFO] [stdout]   --> src/main.rs:27:4
[INFO] [stdout]    |
[INFO] [stdout] 27 | fn print_type_of<T>(_: &T) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: type alias `Result` is never used
[INFO] [stdout]  --> src/r1cs/mod.rs:6:10
[INFO] [stdout]   |
[INFO] [stdout] 6 | pub type Result<T> = core::result::Result<T, SynthesisError>;
[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: fields `lc_map`, `a_constraints`, `b_constraints`, `c_constraints`, and `lc_assignment_cache` are never read
[INFO] [stdout]   --> src/r1cs/constraint_system.rs:64:5
[INFO] [stdout]    |
[INFO] [stdout] 31 | pub struct ConstraintSystem<F: Field> {
[INFO] [stdout]    |            ---------------- fields in this struct
[INFO] [stdout] ...
[INFO] [stdout] 64 |     lc_map: BTreeMap<LcIndex, LinearCombination<F>>,
[INFO] [stdout]    |     ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 69 |     a_constraints: Vec<LcIndex>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 70 |     b_constraints: Vec<LcIndex>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 71 |     c_constraints: Vec<LcIndex>,
[INFO] [stdout]    |     ^^^^^^^^^^^^^
[INFO] [stdout] 72 |
[INFO] [stdout] 73 |     lc_assignment_cache: Rc<RefCell<BTreeMap<LcIndex, F>>>,
[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 `Setup` is never constructed
[INFO] [stdout]   --> src/r1cs/constraint_system.rs:87:5
[INFO] [stdout]    |
[INFO] [stdout] 84 | pub enum SynthesisMode {
[INFO] [stdout]    |          ------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 87 |     Setup,
[INFO] [stdout]    |     ^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `SynthesisMode` 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: 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: multiple associated items are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:112:8
[INFO] [stdout]     |
[INFO] [stdout] 110 | impl<F: Field> ConstraintSystem<F> {
[INFO] [stdout]     | ---------------------------------- associated items in this implementation
[INFO] [stdout] 111 |     #[inline]
[INFO] [stdout] 112 |     fn make_row(&self, l: &LinearCombination<F>) -> Vec<(F, usize)> {
[INFO] [stdout]     |        ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 156 |     pub fn new_ref() -> ConstraintSystemRef<F> {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 161 |     pub fn set_mode(&mut self, mode: SynthesisMode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 166 |     pub fn is_in_setup_mode(&self) -> bool {
[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] 189 |     pub fn should_construct_matrices(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 199 |     pub fn zero() -> Variable {
[INFO] [stdout]     |            ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 206 |     pub fn one() -> Variable {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 212 |     pub fn new_input_variable<Func>(&mut self, f: Func) -> crate::r1cs::Result<Variable>
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 227 |     pub fn new_witness_variable<Func>(&mut self, f: Func) -> crate::r1cs::Result<Variable>
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 242 |     pub fn new_lc(&mut self, lc: LinearCombination<F>) -> crate::r1cs::Result<Variable> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 254 |     pub fn enforce_constraint(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 279 |     fn lc_num_times_used(&self, count_sinks: bool) -> Vec<usize> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 309 |     pub fn transform_lc_map(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 403 |     pub fn inline_all_lcs(&mut self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 424 |     fn outline_lcs(&mut self) {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 515 |     pub fn finalize(&mut self) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 526 |     pub fn to_matrices(&self) -> Option<ConstraintMatrices<F>> {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 569 |     fn eval_lc(&self, lc: LcIndex) -> Option<F> {
[INFO] [stdout]     |        ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 581 |     pub fn is_satisfied(&self) -> crate::r1cs::Result<bool> {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 589 |     pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result<Option<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 627 |     pub fn assigned_value(&self, v: Variable) -> Option<F> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variants `None` and `CS` are never constructed
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:684:5
[INFO] [stdout]     |
[INFO] [stdout] 680 | pub enum ConstraintSystemRef<F: Field> {
[INFO] [stdout]     |          ------------------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 684 |     None,
[INFO] [stdout]     |     ^^^^
[INFO] [stdout] ...
[INFO] [stdout] 687 |     CS(Rc<RefCell<ConstraintSystem<F>>>),
[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: associated items `new`, `cs`, and `leave_namespace` are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:719:12
[INFO] [stdout]     |
[INFO] [stdout] 717 | impl<F: Field> Namespace<F> {
[INFO] [stdout]     | --------------------------- associated items in this implementation
[INFO] [stdout] 718 |     /// Construct a new `Namespace`.
[INFO] [stdout] 719 |     pub fn new(inner: ConstraintSystemRef<F>, id: Option<tracing::Id>) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 724 |     pub fn cs(&self) -> ConstraintSystemRef<F> {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 729 |     pub fn leave_namespace(self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple associated items are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:745:12
[INFO] [stdout]     |
[INFO] [stdout] 743 | impl<F: Field> ConstraintSystemRef<F> {
[INFO] [stdout]     | ------------------------------------- associated items in this implementation
[INFO] [stdout] 744 |     /// Returns `self` if `!self.is_none()`, otherwise returns `other`.
[INFO] [stdout] 745 |     pub fn or(self, other: Self) -> Self {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 753 |     pub fn is_none(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 759 |     pub fn new(inner: ConstraintSystem<F>) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 763 |     fn inner(&self) -> Option<&Rc<RefCell<ConstraintSystem<F>>>> {
[INFO] [stdout]     |        ^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 773 |     pub fn into_inner(self) -> Option<ConstraintSystem<F>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 785 |     pub fn borrow(&self) -> Option<Ref<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 794 |     pub fn borrow_mut(&self) -> Option<RefMut<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 799 |     pub fn set_mode(&self, mode: SynthesisMode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 805 |     pub fn is_in_setup_mode(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 812 |     pub fn num_constraints(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 818 |     pub fn num_instance_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 825 |     pub fn num_witness_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 833 |     pub fn optimization_goal(&self) -> OptimizationGoal {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 842 |     pub fn set_optimization_goal(&self, goal: OptimizationGoal) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 849 |     pub fn should_construct_matrices(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 856 |     pub fn new_input_variable<Func>(&self, f: Func) -> crate::r1cs::Result<Variable>
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 876 |     pub fn new_witness_variable<Func>(&self, f: Func) -> crate::r1cs::Result<Variable>
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 896 |     pub fn new_lc(&self, lc: LinearCombination<F>) -> crate::r1cs::Result<Variable> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 904 |     pub fn enforce_constraint(
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 923 |     pub fn inline_all_lcs(&self) {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 931 |     pub fn finalize(&self) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 941 |     pub fn to_matrices(&self) -> Option<ConstraintMatrices<F>> {
[INFO] [stdout]     |            ^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 948 |     pub fn is_satisfied(&self) -> crate::r1cs::Result<bool> {
[INFO] [stdout]     |            ^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 959 |     pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result<Option<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 967 |     pub fn assigned_value(&self, v: Variable) -> Option<F> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 972 |     pub fn constraint_names(&self) -> Option<Vec<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: multiple variants are never constructed
[INFO] [stdout]   --> src/r1cs/error.rs:9:5
[INFO] [stdout]    |
[INFO] [stdout] 6  | pub enum SynthesisError {
[INFO] [stdout]    |          -------------- variants in this enum
[INFO] [stdout] ...
[INFO] [stdout] 9  |     MissingCS,
[INFO] [stdout]    |     ^^^^^^^^^
[INFO] [stdout] 10 |     /// During synthesis, we lacked knowledge of a variable assignment.
[INFO] [stdout] 11 |     AssignmentMissing,
[INFO] [stdout]    |     ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 12 |     /// During synthesis, we divided by zero.
[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: function `matrix_gen` is never used
[INFO] [stdout]  --> src/mem_gen/mod.rs:8:8
[INFO] [stdout]   |
[INFO] [stdout] 8 | 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 `boolean_check_matrix_gen` is never used
[INFO] [stdout]   --> src/mem_gen/mod.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn boolean_check_matrix_gen(x_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `addr_inc_check_matrix_gen` is never used
[INFO] [stdout]   --> src/mem_gen/mod.rs:48:8
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub fn addr_inc_check_matrix_gen(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` is never used
[INFO] [stdout]   --> src/mem_gen/mod.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]    |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `update_value_check_matrix_gen` is never used
[INFO] [stdout]    --> src/mem_gen/mod.rs:108:8
[INFO] [stdout]     |
[INFO] [stdout] 108 | pub fn update_value_check_matrix_gen(
[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:739:9
[INFO] [stdout]     |
[INFO] [stdout] 739 |         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/mem_gen/mod.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: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mod.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/mod.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/mod.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/mod.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/mod.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/mod.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/mod.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/mod.rs:109:5
[INFO] [stdout]     |
[INFO] [stdout] 109 |     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/mod.rs:110:5
[INFO] [stdout]     |
[INFO] [stdout] 110 |     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/mod.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     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/mod.rs:122:9
[INFO] [stdout]     |
[INFO] [stdout] 122 |     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/mod.rs:123:9
[INFO] [stdout]     |
[INFO] [stdout] 123 |     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/mod.rs:126:9
[INFO] [stdout]     |
[INFO] [stdout] 126 |     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/mod.rs:145:9
[INFO] [stdout]     |
[INFO] [stdout] 145 |     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/mod.rs:146:9
[INFO] [stdout]     |
[INFO] [stdout] 146 |     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/mod.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 |     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: function `print_type_of` is never used
[INFO] [stdout]   --> src/main.rs:27:4
[INFO] [stdout]    |
[INFO] [stdout] 27 | fn print_type_of<T>(_: &T) {
[INFO] [stdout]    |    ^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` on by default
[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: 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:684:5
[INFO] [stdout]     |
[INFO] [stdout] 680 | pub enum ConstraintSystemRef<F: Field> {
[INFO] [stdout]     |          ------------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 684 |     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: associated items `new`, `cs`, and `leave_namespace` are never used
[INFO] [stdout]    --> src/r1cs/constraint_system.rs:719:12
[INFO] [stdout]     |
[INFO] [stdout] 717 | impl<F: Field> Namespace<F> {
[INFO] [stdout]     | --------------------------- associated items in this implementation
[INFO] [stdout] 718 |     /// Construct a new `Namespace`.
[INFO] [stdout] 719 |     pub fn new(inner: ConstraintSystemRef<F>, id: Option<tracing::Id>) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout] 724 |     pub fn cs(&self) -> ConstraintSystemRef<F> {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 729 |     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:745:12
[INFO] [stdout]     |
[INFO] [stdout] 743 | impl<F: Field> ConstraintSystemRef<F> {
[INFO] [stdout]     | ------------------------------------- methods in this implementation
[INFO] [stdout] 744 |     /// Returns `self` if `!self.is_none()`, otherwise returns `other`.
[INFO] [stdout] 745 |     pub fn or(self, other: Self) -> Self {
[INFO] [stdout]     |            ^^
[INFO] [stdout] ...
[INFO] [stdout] 753 |     pub fn is_none(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 773 |     pub fn into_inner(self) -> Option<ConstraintSystem<F>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 785 |     pub fn borrow(&self) -> Option<Ref<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 794 |     pub fn borrow_mut(&self) -> Option<RefMut<'_, ConstraintSystem<F>>> {
[INFO] [stdout]     |            ^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 799 |     pub fn set_mode(&self, mode: SynthesisMode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 812 |     pub fn num_constraints(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 818 |     pub fn num_instance_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 825 |     pub fn num_witness_variables(&self) -> usize {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 833 |     pub fn optimization_goal(&self) -> OptimizationGoal {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 849 |     pub fn should_construct_matrices(&self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 959 |     pub fn which_is_unsatisfied(&self) -> crate::r1cs::Result<Option<String>> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 967 |     pub fn assigned_value(&self, v: Variable) -> Option<F> {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 972 |     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: 43 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `matrix_gen` is never used
[INFO] [stdout]  --> src/mem_gen/mod.rs:8:8
[INFO] [stdout]   |
[INFO] [stdout] 8 | 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 `boolean_check_matrix_gen` is never used
[INFO] [stdout]   --> src/mem_gen/mod.rs:25:8
[INFO] [stdout]    |
[INFO] [stdout] 25 | pub fn boolean_check_matrix_gen(x_in: u64) -> ConstraintMatrices<Fr> {
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `addr_inc_check_matrix_gen` is never used
[INFO] [stdout]   --> src/mem_gen/mod.rs:48:8
[INFO] [stdout]    |
[INFO] [stdout] 48 | pub fn addr_inc_check_matrix_gen(
[INFO] [stdout]    |        ^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `mOp_mWr_check_matrix_gen` is never used
[INFO] [stdout]   --> src/mem_gen/mod.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]    |        ^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `update_value_check_matrix_gen` is never used
[INFO] [stdout]    --> src/mem_gen/mod.rs:108:8
[INFO] [stdout]     |
[INFO] [stdout] 108 | pub fn update_value_check_matrix_gen(
[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:739:9
[INFO] [stdout]     |
[INFO] [stdout] 739 |         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:1180:13
[INFO] [stdout]      |
[INFO] [stdout] 1180 |         let lastAccess = Fr::one();
[INFO] [stdout]      |             ^^^^^^^^^^ help: convert the identifier to snake case: `last_access`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(non_snake_case)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable `LA` should have a snake case name
[INFO] [stdout]     --> src/r1cs/constraint_system.rs:1182:13
[INFO] [stdout]      |
[INFO] [stdout] 1182 |         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:1214:13
[INFO] [stdout]      |
[INFO] [stdout] 1214 |         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: variable `lastAccess` should have a snake case name
[INFO] [stdout]   --> src/mem_gen/mod.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/mod.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/mod.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/mod.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/mod.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/mod.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/mod.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/mod.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/mod.rs:109:5
[INFO] [stdout]     |
[INFO] [stdout] 109 |     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/mod.rs:110:5
[INFO] [stdout]     |
[INFO] [stdout] 110 |     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/mod.rs:111:5
[INFO] [stdout]     |
[INFO] [stdout] 111 |     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/mod.rs:122:9
[INFO] [stdout]     |
[INFO] [stdout] 122 |     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/mod.rs:123:9
[INFO] [stdout]     |
[INFO] [stdout] 123 |     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/mod.rs:126:9
[INFO] [stdout]     |
[INFO] [stdout] 126 |     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/mod.rs:145:9
[INFO] [stdout]     |
[INFO] [stdout] 145 |     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/mod.rs:146:9
[INFO] [stdout]     |
[INFO] [stdout] 146 |     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/mod.rs:147:9
[INFO] [stdout]     |
[INFO] [stdout] 147 |     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: 44 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 28.93s
[INFO] running `Command { std: "docker" "inspect" "ebbeccb9acbe9bc16fa6b4b7f976a14aa43b747256263badc6ff7ee29a6f81c0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "ebbeccb9acbe9bc16fa6b4b7f976a14aa43b747256263badc6ff7ee29a6f81c0", kill_on_drop: false }`
[INFO] [stdout] ebbeccb9acbe9bc16fa6b4b7f976a14aa43b747256263badc6ff7ee29a6f81c0
