Open eightfilms opened 1 month ago
On fixing the codebase for clippy, #100 surfaced a few places where the compiler complains about unused variables:
$ rg unused_var src/circuit_writer/mod.rs 3:#![allow(unused_variables)] src/backends/kimchi/mod.rs 314: #[allow(unused_variables)] src/backends/r1cs/mod.rs 3:#![allow(unused_variables)]
We should sort out these unused variables, since they might be bugs. See this comment
On fixing the codebase for clippy, #100 surfaced a few places where the compiler complains about unused variables:
We should sort out these unused variables, since they might be bugs. See this comment