[INFO] cloning repository https://github.com/miguelis/witness_optimizer [INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/miguelis/witness_optimizer" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fwitness_optimizer", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fwitness_optimizer'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] 793d3dcb668721aa9ea27508a6a9927a130b5d0e [INFO] testing miguelis/witness_optimizer against 1.60.0 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fwitness_optimizer" "/workspace/builds/worker-6/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-6/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/miguelis/witness_optimizer on toolchain 1.60.0 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/miguelis/witness_optimizer [INFO] finished tweaking git repo https://github.com/miguelis/witness_optimizer [INFO] tweaked toml for git repo https://github.com/miguelis/witness_optimizer written to /workspace/builds/worker-6/source/Cargo.toml [INFO] crate git repo https://github.com/miguelis/witness_optimizer already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+1.60.0" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 3a54cc76a527f2392a3241007aac9bfb9280e351b023df60c0247b072be26ec7 [INFO] running `Command { std: "docker" "start" "-a" "3a54cc76a527f2392a3241007aac9bfb9280e351b023df60c0247b072be26ec7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "3a54cc76a527f2392a3241007aac9bfb9280e351b023df60c0247b072be26ec7", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "3a54cc76a527f2392a3241007aac9bfb9280e351b023df60c0247b072be26ec7", kill_on_drop: false }` [INFO] [stdout] 3a54cc76a527f2392a3241007aac9bfb9280e351b023df60c0247b072be26ec7 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 90354a816faa0919cfe80b7b86f4a13875e200131a1defdd8034e59cf8dbf014 [INFO] running `Command { std: "docker" "start" "-a" "90354a816faa0919cfe80b7b86f4a13875e200131a1defdd8034e59cf8dbf014", kill_on_drop: false }` [INFO] [stderr] Compiling autocfg v1.1.0 [INFO] [stderr] Compiling libc v0.2.121 [INFO] [stderr] Compiling getrandom v0.1.16 [INFO] [stderr] Compiling cfg-if v1.0.0 [INFO] [stderr] Compiling serde v1.0.136 [INFO] [stderr] Compiling libm v0.2.2 [INFO] [stderr] Compiling ppv-lite86 v0.2.16 [INFO] [stderr] Compiling spin v0.5.2 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling smallvec v1.8.0 [INFO] [stderr] Compiling constant_tracking v2.0.1 (/opt/rustwide/workdir/constant_tracking) [INFO] [stderr] Compiling serde_json v1.0.79 [INFO] [stderr] Compiling json v0.12.4 [INFO] [stderr] Compiling ryu v1.0.9 [INFO] [stderr] Compiling itoa v1.0.1 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling autocfg v0.1.8 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling num-bigint-dig v0.6.1 [INFO] [stderr] Compiling num_cpus v1.13.1 [INFO] [stderr] Compiling rand_core v0.5.1 [INFO] [stderr] Compiling threadpool v1.8.1 [INFO] [stderr] Compiling rand_chacha v0.2.2 [INFO] [stderr] Compiling rand v0.7.3 [INFO] [stderr] Compiling circom_algebra v2.0.1 (/opt/rustwide/workdir/circom_algebra) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> circom_algebra/src/algebra.rs:1164:21 [INFO] [stdout] | [INFO] [stdout] 1164 | let mut monomial; [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: cannot borrow `map_monomials` as mutable because it is also borrowed as immutable [INFO] [stdout] --> circom_algebra/src/algebra.rs:1173:25 [INFO] [stdout] | [INFO] [stdout] 1171 | match map_monomials.get(&monomial){ [INFO] [stdout] | ---------------------------- immutable borrow occurs here [INFO] [stdout] 1172 | Some(coef) =>{ [INFO] [stdout] 1173 | map_monomials.insert(monomial, modular_arithmetic::add(&new_coef, coef, field)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^----^^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | immutable borrow later used here [INFO] [stdout] | mutable borrow occurs here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mutable_borrow_reservation_conflict)]` on by default [INFO] [stdout] = warning: this borrowing pattern was not meant to be accepted, and may become a hard error in the future [INFO] [stdout] = note: for more information, see issue #59159 [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling constraint_writers v2.0.1 (/opt/rustwide/workdir/constraint_writers) [INFO] [stderr] Compiling constraint_list v2.0.1 (/opt/rustwide/workdir/constraint_list) [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> constraint_list/src/lib.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::{HashMap, HashSet, LinkedList}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_writers::debug_writer::DebugWriter` [INFO] [stdout] --> constraint_list/src/lib.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use constraint_writers::debug_writer::DebugWriter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_writers::ConstraintExporter` [INFO] [stdout] --> constraint_list/src/lib.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use constraint_writers::ConstraintExporter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `A` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:2:32 [INFO] [stdout] | [INFO] [stdout] 2 | use super::{ConstraintStorage, A, C, S, HashConstraint}; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use std::fs; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:593:9 [INFO] [stdout] | [INFO] [stdout] 593 | use circom_algebra::simplification_utils::build_encoded_fast_substitutions; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::fast_encoded_constraint_substitution` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:594:9 [INFO] [stdout] | [INFO] [stdout] 594 | use circom_algebra::simplification_utils::fast_encoded_constraint_substitution; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::mpsc` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:596:9 [INFO] [stdout] | [INFO] [stdout] 596 | use std::sync::mpsc; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `threadpool::ThreadPool` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:597:9 [INFO] [stdout] | [INFO] [stdout] 597 | use threadpool::ThreadPool; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::modular_arithmetic::*` [INFO] [stdout] --> constraint_list/src/cluster_non_linear.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use circom_algebra::modular_arithmetic::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:276:13 [INFO] [stdout] | [INFO] [stdout] 276 | let n = Cluster::size(&cluster); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:352:9 [INFO] [stdout] | [INFO] [stdout] 352 | for i in &minimal_clusters{ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c2` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:391:18 [INFO] [stdout] | [INFO] [stdout] 391 | for c2 in c.c(){ [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `constants` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:621:33 [INFO] [stdout] | [INFO] [stdout] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constants` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `apply_only_affected` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:663:13 [INFO] [stdout] | [INFO] [stdout] 663 | let mut apply_only_affected = true; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_apply_only_affected` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dur` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:774:9 [INFO] [stdout] | [INFO] [stdout] 774 | let dur = now.elapsed().unwrap().as_millis(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_dur` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:811:9 [INFO] [stdout] | [INFO] [stdout] 811 | for s in toberemoved{ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `field` [INFO] [stdout] --> constraint_list/src/preprocess_non_linear.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | field: &BigInt, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_field` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:621:29 [INFO] [stdout] | [INFO] [stdout] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:663:9 [INFO] [stdout] | [INFO] [stdout] 663 | let mut apply_only_affected = true; [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `A` [INFO] [stdout] --> constraint_list/src/lib.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | type A = circom_algebra::algebra::ArithmeticExpression; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `SEncoded` [INFO] [stdout] --> constraint_list/src/lib.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | type SEncoded = HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `SFrames` [INFO] [stdout] --> constraint_list/src/lib.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | type SFrames = LinkedList; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_clusters_quadratic_equalities` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:95:4 [INFO] [stdout] | [INFO] [stdout] 95 | fn get_clusters_quadratic_equalities( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_clusters_definitions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:134:4 [INFO] [stdout] | [INFO] [stdout] 134 | fn get_clusters_definitions( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_possible_combinations_clusters` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:213:4 [INFO] [stdout] | [INFO] [stdout] 213 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec>) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling optimizer v2.0.1 (/opt/rustwide/workdir/optimizer) [INFO] [stdout] warning: 26 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_list::constraint_simplification` [INFO] [stdout] --> optimizer/src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use constraint_list::constraint_simplification; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> optimizer/src/main.rs:21:10 [INFO] [stdout] | [INFO] [stdout] 21 | for (a,b) in hmap.clone(){ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `num_circuit_variables` is never read [INFO] [stdout] --> optimizer/src/main.rs:119:13 [INFO] [stdout] | [INFO] [stdout] 119 | let mut num_circuit_variables = 0; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `num_equalities` is never read [INFO] [stdout] --> optimizer/src/main.rs:126:13 [INFO] [stdout] | [INFO] [stdout] 126 | let mut num_equalities = 0; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `num_var_out` [INFO] [stdout] --> optimizer/src/main.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | let num_var_out = 0; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ignored_line` [INFO] [stdout] --> optimizer/src/main.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | let ignored_line = opt_line.next(); /*We ignore ~prime*/ [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ignored_line` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> optimizer/src/main.rs:375:5 [INFO] [stdout] | [INFO] [stdout] 375 | constraint_list::r1cs_porting::port_r1cs(&cl,"a.r1cs"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 7.65s [INFO] running `Command { std: "docker" "inspect" "90354a816faa0919cfe80b7b86f4a13875e200131a1defdd8034e59cf8dbf014", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "90354a816faa0919cfe80b7b86f4a13875e200131a1defdd8034e59cf8dbf014", kill_on_drop: false }` [INFO] [stdout] 90354a816faa0919cfe80b7b86f4a13875e200131a1defdd8034e59cf8dbf014 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] c651927bc3e98da5847e9f00831ef6d87c9457cf59ee04762ceebb6d3e55b971 [INFO] running `Command { std: "docker" "start" "-a" "c651927bc3e98da5847e9f00831ef6d87c9457cf59ee04762ceebb6d3e55b971", kill_on_drop: false }` [INFO] [stderr] Compiling constant_tracking v2.0.1 (/opt/rustwide/workdir/constant_tracking) [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> circom_algebra/src/algebra.rs:1164:21 [INFO] [stdout] | [INFO] [stdout] 1164 | let mut monomial; [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling circom_algebra v2.0.1 (/opt/rustwide/workdir/circom_algebra) [INFO] [stdout] warning: cannot borrow `map_monomials` as mutable because it is also borrowed as immutable [INFO] [stdout] --> circom_algebra/src/algebra.rs:1173:25 [INFO] [stdout] | [INFO] [stdout] 1171 | match map_monomials.get(&monomial){ [INFO] [stdout] | ---------------------------- immutable borrow occurs here [INFO] [stdout] 1172 | Some(coef) =>{ [INFO] [stdout] 1173 | map_monomials.insert(monomial, modular_arithmetic::add(&new_coef, coef, field)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^----^^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | immutable borrow later used here [INFO] [stdout] | mutable borrow occurs here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mutable_borrow_reservation_conflict)]` on by default [INFO] [stdout] = warning: this borrowing pattern was not meant to be accepted, and may become a hard error in the future [INFO] [stdout] = note: for more information, see issue #59159 [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling constraint_writers v2.0.1 (/opt/rustwide/workdir/constraint_writers) [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> constraint_list/src/lib.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::{HashMap, HashSet, LinkedList}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_writers::debug_writer::DebugWriter` [INFO] [stdout] --> constraint_list/src/lib.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use constraint_writers::debug_writer::DebugWriter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_writers::ConstraintExporter` [INFO] [stdout] --> constraint_list/src/lib.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use constraint_writers::ConstraintExporter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `A` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:2:32 [INFO] [stdout] | [INFO] [stdout] 2 | use super::{ConstraintStorage, A, C, S, HashConstraint}; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use std::fs; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:593:9 [INFO] [stdout] | [INFO] [stdout] 593 | use circom_algebra::simplification_utils::build_encoded_fast_substitutions; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::fast_encoded_constraint_substitution` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:594:9 [INFO] [stdout] | [INFO] [stdout] 594 | use circom_algebra::simplification_utils::fast_encoded_constraint_substitution; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::mpsc` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:596:9 [INFO] [stdout] | [INFO] [stdout] 596 | use std::sync::mpsc; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling constraint_list v2.0.1 (/opt/rustwide/workdir/constraint_list) [INFO] [stderr] Compiling optimizer v2.0.1 (/opt/rustwide/workdir/optimizer) [INFO] [stdout] warning: unused import: `threadpool::ThreadPool` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:597:9 [INFO] [stdout] | [INFO] [stdout] 597 | use threadpool::ThreadPool; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::modular_arithmetic::*` [INFO] [stdout] --> constraint_list/src/cluster_non_linear.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use circom_algebra::modular_arithmetic::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:276:13 [INFO] [stdout] | [INFO] [stdout] 276 | let n = Cluster::size(&cluster); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:352:9 [INFO] [stdout] | [INFO] [stdout] 352 | for i in &minimal_clusters{ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c2` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:391:18 [INFO] [stdout] | [INFO] [stdout] 391 | for c2 in c.c(){ [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `constants` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:621:33 [INFO] [stdout] | [INFO] [stdout] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constants` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `apply_only_affected` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:663:13 [INFO] [stdout] | [INFO] [stdout] 663 | let mut apply_only_affected = true; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_apply_only_affected` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dur` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:774:9 [INFO] [stdout] | [INFO] [stdout] 774 | let dur = now.elapsed().unwrap().as_millis(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_dur` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:811:9 [INFO] [stdout] | [INFO] [stdout] 811 | for s in toberemoved{ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `field` [INFO] [stdout] --> constraint_list/src/preprocess_non_linear.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | field: &BigInt, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_field` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:621:29 [INFO] [stdout] | [INFO] [stdout] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:663:9 [INFO] [stdout] | [INFO] [stdout] 663 | let mut apply_only_affected = true; [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `A` [INFO] [stdout] --> constraint_list/src/lib.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | type A = circom_algebra::algebra::ArithmeticExpression; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `SEncoded` [INFO] [stdout] --> constraint_list/src/lib.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | type SEncoded = HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `SFrames` [INFO] [stdout] --> constraint_list/src/lib.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | type SFrames = LinkedList; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_clusters_quadratic_equalities` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:95:4 [INFO] [stdout] | [INFO] [stdout] 95 | fn get_clusters_quadratic_equalities( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_clusters_definitions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:134:4 [INFO] [stdout] | [INFO] [stdout] 134 | fn get_clusters_definitions( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_possible_combinations_clusters` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:213:4 [INFO] [stdout] | [INFO] [stdout] 213 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec>) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 26 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_list::constraint_simplification` [INFO] [stdout] --> optimizer/src/main.rs:2:5 [INFO] [stdout] | [INFO] [stdout] 2 | use constraint_list::constraint_simplification; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `HashSet` [INFO] [stdout] --> constraint_list/src/lib.rs:1:33 [INFO] [stdout] | [INFO] [stdout] 1 | use std::collections::{HashMap, HashSet, LinkedList}; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_imports)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_writers::debug_writer::DebugWriter` [INFO] [stdout] --> constraint_list/src/lib.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use constraint_writers::debug_writer::DebugWriter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `constraint_writers::ConstraintExporter` [INFO] [stdout] --> constraint_list/src/lib.rs:6:5 [INFO] [stdout] | [INFO] [stdout] 6 | use constraint_writers::ConstraintExporter; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `A` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:2:32 [INFO] [stdout] | [INFO] [stdout] 2 | use super::{ConstraintStorage, A, C, S, HashConstraint}; [INFO] [stdout] | ^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::fs` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:8:5 [INFO] [stdout] | [INFO] [stdout] 8 | use std::fs; [INFO] [stdout] | ^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:593:9 [INFO] [stdout] | [INFO] [stdout] 593 | use circom_algebra::simplification_utils::build_encoded_fast_substitutions; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::simplification_utils::fast_encoded_constraint_substitution` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:594:9 [INFO] [stdout] | [INFO] [stdout] 594 | use circom_algebra::simplification_utils::fast_encoded_constraint_substitution; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `std::sync::mpsc` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:596:9 [INFO] [stdout] | [INFO] [stdout] 596 | use std::sync::mpsc; [INFO] [stdout] | ^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `threadpool::ThreadPool` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:597:9 [INFO] [stdout] | [INFO] [stdout] 597 | use threadpool::ThreadPool; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused import: `circom_algebra::modular_arithmetic::*` [INFO] [stdout] --> constraint_list/src/cluster_non_linear.rs:5:5 [INFO] [stdout] | [INFO] [stdout] 5 | use circom_algebra::modular_arithmetic::*; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `a` [INFO] [stdout] --> optimizer/src/main.rs:21:10 [INFO] [stdout] | [INFO] [stdout] 21 | for (a,b) in hmap.clone(){ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `num_circuit_variables` is never read [INFO] [stdout] --> optimizer/src/main.rs:119:13 [INFO] [stdout] | [INFO] [stdout] 119 | let mut num_circuit_variables = 0; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_assignments)]` on by default [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: value assigned to `num_equalities` is never read [INFO] [stdout] --> optimizer/src/main.rs:126:13 [INFO] [stdout] | [INFO] [stdout] 126 | let mut num_equalities = 0; [INFO] [stdout] | ^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = help: maybe it is overwritten before being read? [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `num_var_out` [INFO] [stdout] --> optimizer/src/main.rs:136:9 [INFO] [stdout] | [INFO] [stdout] 136 | let num_var_out = 0; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ignored_line` [INFO] [stdout] --> optimizer/src/main.rs:138:9 [INFO] [stdout] | [INFO] [stdout] 138 | let ignored_line = opt_line.next(); /*We ignore ~prime*/ [INFO] [stdout] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ignored_line` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused `Result` that must be used [INFO] [stdout] --> optimizer/src/main.rs:375:5 [INFO] [stdout] | [INFO] [stdout] 375 | constraint_list::r1cs_porting::port_r1cs(&cl,"a.r1cs"); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_must_use)]` on by default [INFO] [stdout] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `n` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:276:13 [INFO] [stdout] | [INFO] [stdout] 276 | let n = Cluster::size(&cluster); [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `i` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:352:9 [INFO] [stdout] | [INFO] [stdout] 352 | for i in &minimal_clusters{ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `c2` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:391:18 [INFO] [stdout] | [INFO] [stdout] 391 | for c2 in c.c(){ [INFO] [stdout] | ^^ help: if this is intentional, prefix it with an underscore: `_c2` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `constants` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:621:33 [INFO] [stdout] | [INFO] [stdout] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constants` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `apply_only_affected` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:663:13 [INFO] [stdout] | [INFO] [stdout] 663 | let mut apply_only_affected = true; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_apply_only_affected` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `dur` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:774:9 [INFO] [stdout] | [INFO] [stdout] 774 | let dur = now.elapsed().unwrap().as_millis(); [INFO] [stdout] | ^^^ help: if this is intentional, prefix it with an underscore: `_dur` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `s` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:811:9 [INFO] [stdout] | [INFO] [stdout] 811 | for s in toberemoved{ [INFO] [stdout] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `field` [INFO] [stdout] --> constraint_list/src/preprocess_non_linear.rs:38:9 [INFO] [stdout] | [INFO] [stdout] 38 | field: &BigInt, [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_field` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:621:29 [INFO] [stdout] | [INFO] [stdout] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stdout] | ----^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:663:9 [INFO] [stdout] | [INFO] [stdout] 663 | let mut apply_only_affected = true; [INFO] [stdout] | ----^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `A` [INFO] [stdout] --> constraint_list/src/lib.rs:18:1 [INFO] [stdout] | [INFO] [stdout] 18 | type A = circom_algebra::algebra::ArithmeticExpression; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(dead_code)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `SEncoded` [INFO] [stdout] --> constraint_list/src/lib.rs:22:1 [INFO] [stdout] | [INFO] [stdout] 22 | type SEncoded = HashMap; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: type alias is never used: `SFrames` [INFO] [stdout] --> constraint_list/src/lib.rs:23:1 [INFO] [stdout] | [INFO] [stdout] 23 | type SFrames = LinkedList; [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_clusters_quadratic_equalities` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:95:4 [INFO] [stdout] | [INFO] [stdout] 95 | fn get_clusters_quadratic_equalities( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `get_clusters_definitions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:134:4 [INFO] [stdout] | [INFO] [stdout] 134 | fn get_clusters_definitions( [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: function is never used: `generate_possible_combinations_clusters` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:213:4 [INFO] [stdout] | [INFO] [stdout] 213 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec>) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `field` [INFO] [stdout] --> circom_algebra/src/algebra.rs:1867:13 [INFO] [stdout] | [INFO] [stdout] 1867 | let field = BigInt::parse_bytes(FIELD.as_bytes(), 10) [INFO] [stdout] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_field` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: variable does not need to be mutable [INFO] [stdout] --> circom_algebra/src/algebra.rs:1164:21 [INFO] [stdout] | [INFO] [stdout] 1164 | let mut monomial; [INFO] [stdout] | ----^^^^^^^^ [INFO] [stdout] | | [INFO] [stdout] | help: remove this `mut` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_mut)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: cannot borrow `map_monomials` as mutable because it is also borrowed as immutable [INFO] [stdout] --> circom_algebra/src/algebra.rs:1173:25 [INFO] [stdout] | [INFO] [stdout] 1171 | match map_monomials.get(&monomial){ [INFO] [stdout] | ---------------------------- immutable borrow occurs here [INFO] [stdout] 1172 | Some(coef) =>{ [INFO] [stdout] 1173 | map_monomials.insert(monomial, modular_arithmetic::add(&new_coef, coef, field)); [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^----^^^^^^^^^ [INFO] [stdout] | | | [INFO] [stdout] | | immutable borrow later used here [INFO] [stdout] | mutable borrow occurs here [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(mutable_borrow_reservation_conflict)]` on by default [INFO] [stdout] = warning: this borrowing pattern was not meant to be accepted, and may become a hard error in the future [INFO] [stdout] = note: for more information, see issue #59159 [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 7 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 26 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 3 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 1.07s [INFO] running `Command { std: "docker" "inspect" "c651927bc3e98da5847e9f00831ef6d87c9457cf59ee04762ceebb6d3e55b971", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "c651927bc3e98da5847e9f00831ef6d87c9457cf59ee04762ceebb6d3e55b971", kill_on_drop: false }` [INFO] [stdout] c651927bc3e98da5847e9f00831ef6d87c9457cf59ee04762ceebb6d3e55b971 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/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=warn" "-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:b0c94ce3c1162fcb8e57cac5b65ec2f72eabb1eebea4fcc35e269e823f681646" "/opt/rustwide/cargo-home/bin/cargo" "+1.60.0" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] 20b31c316f7214b35ac5600f098559a0f994ccd635047aa8f366250a53cf5b1b [INFO] running `Command { std: "docker" "start" "-a" "20b31c316f7214b35ac5600f098559a0f994ccd635047aa8f366250a53cf5b1b", kill_on_drop: false }` [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> circom_algebra/src/algebra.rs:1164:21 [INFO] [stderr] | [INFO] [stderr] 1164 | let mut monomial; [INFO] [stderr] | ----^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: cannot borrow `map_monomials` as mutable because it is also borrowed as immutable [INFO] [stderr] --> circom_algebra/src/algebra.rs:1173:25 [INFO] [stderr] | [INFO] [stderr] 1171 | match map_monomials.get(&monomial){ [INFO] [stderr] | ---------------------------- immutable borrow occurs here [INFO] [stderr] 1172 | Some(coef) =>{ [INFO] [stderr] 1173 | map_monomials.insert(monomial, modular_arithmetic::add(&new_coef, coef, field)); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^----^^^^^^^^^ [INFO] [stderr] | | | [INFO] [stderr] | | immutable borrow later used here [INFO] [stderr] | mutable borrow occurs here [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(mutable_borrow_reservation_conflict)]` on by default [INFO] [stderr] = warning: this borrowing pattern was not meant to be accepted, and may become a hard error in the future [INFO] [stderr] = note: for more information, see issue #59159 [INFO] [stderr] [INFO] [stderr] warning: unused variable: `field` [INFO] [stderr] --> circom_algebra/src/algebra.rs:1867:13 [INFO] [stderr] | [INFO] [stderr] 1867 | let field = BigInt::parse_bytes(FIELD.as_bytes(), 10) [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_field` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: `circom_algebra` (lib) generated 2 warnings [INFO] [stderr] warning: `circom_algebra` (lib test) generated 3 warnings (2 duplicates) [INFO] [stderr] warning: unused import: `HashSet` [INFO] [stderr] --> constraint_list/src/lib.rs:1:33 [INFO] [stderr] | [INFO] [stderr] 1 | use std::collections::{HashMap, HashSet, LinkedList}; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused import: `constraint_writers::debug_writer::DebugWriter` [INFO] [stderr] --> constraint_list/src/lib.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use constraint_writers::debug_writer::DebugWriter; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `constraint_writers::ConstraintExporter` [INFO] [stderr] --> constraint_list/src/lib.rs:6:5 [INFO] [stderr] | [INFO] [stderr] 6 | use constraint_writers::ConstraintExporter; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `A` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:2:32 [INFO] [stderr] | [INFO] [stderr] 2 | use super::{ConstraintStorage, A, C, S, HashConstraint}; [INFO] [stderr] | ^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::fs` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:8:5 [INFO] [stderr] | [INFO] [stderr] 8 | use std::fs; [INFO] [stderr] | ^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:593:9 [INFO] [stderr] | [INFO] [stderr] 593 | use circom_algebra::simplification_utils::build_encoded_fast_substitutions; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `circom_algebra::simplification_utils::fast_encoded_constraint_substitution` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:594:9 [INFO] [stderr] | [INFO] [stderr] 594 | use circom_algebra::simplification_utils::fast_encoded_constraint_substitution; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `std::sync::mpsc` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:596:9 [INFO] [stderr] | [INFO] [stderr] 596 | use std::sync::mpsc; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `threadpool::ThreadPool` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:597:9 [INFO] [stderr] | [INFO] [stderr] 597 | use threadpool::ThreadPool; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `circom_algebra::modular_arithmetic::*` [INFO] [stderr] --> constraint_list/src/cluster_non_linear.rs:5:5 [INFO] [stderr] | [INFO] [stderr] 5 | use circom_algebra::modular_arithmetic::*; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused variable: `n` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:276:13 [INFO] [stderr] | [INFO] [stderr] 276 | let n = Cluster::size(&cluster); [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_n` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `i` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:352:9 [INFO] [stderr] | [INFO] [stderr] 352 | for i in &minimal_clusters{ [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_i` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `c2` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:391:18 [INFO] [stderr] | [INFO] [stderr] 391 | for c2 in c.c(){ [INFO] [stderr] | ^^ help: if this is intentional, prefix it with an underscore: `_c2` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `constants` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:621:33 [INFO] [stderr] | [INFO] [stderr] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stderr] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constants` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `apply_only_affected` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:663:13 [INFO] [stderr] | [INFO] [stderr] 663 | let mut apply_only_affected = true; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_apply_only_affected` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `dur` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:774:9 [INFO] [stderr] | [INFO] [stderr] 774 | let dur = now.elapsed().unwrap().as_millis(); [INFO] [stderr] | ^^^ help: if this is intentional, prefix it with an underscore: `_dur` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `s` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:811:9 [INFO] [stderr] | [INFO] [stderr] 811 | for s in toberemoved{ [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_s` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `field` [INFO] [stderr] --> constraint_list/src/preprocess_non_linear.rs:38:9 [INFO] [stderr] | [INFO] [stderr] 38 | field: &BigInt, [INFO] [stderr] | ^^^^^ help: if this is intentional, prefix it with an underscore: `_field` [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:621:29 [INFO] [stderr] | [INFO] [stderr] 621 | let (substitutions, mut constants) = linear_simplification( [INFO] [stderr] | ----^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_mut)]` on by default [INFO] [stderr] [INFO] [stderr] warning: variable does not need to be mutable [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:663:9 [INFO] [stderr] | [INFO] [stderr] 663 | let mut apply_only_affected = true; [INFO] [stderr] | ----^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | | [INFO] [stderr] | help: remove this `mut` [INFO] [stderr] [INFO] [stderr] warning: type alias is never used: `A` [INFO] [stderr] --> constraint_list/src/lib.rs:18:1 [INFO] [stderr] | [INFO] [stderr] 18 | type A = circom_algebra::algebra::ArithmeticExpression; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(dead_code)]` on by default [INFO] [stderr] [INFO] [stderr] warning: type alias is never used: `SEncoded` [INFO] [stderr] --> constraint_list/src/lib.rs:22:1 [INFO] [stderr] | [INFO] [stderr] 22 | type SEncoded = HashMap; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: type alias is never used: `SFrames` [INFO] [stderr] --> constraint_list/src/lib.rs:23:1 [INFO] [stderr] | [INFO] [stderr] 23 | type SFrames = LinkedList; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `get_clusters_quadratic_equalities` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:95:4 [INFO] [stderr] | [INFO] [stderr] 95 | fn get_clusters_quadratic_equalities( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `get_clusters_definitions` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:134:4 [INFO] [stderr] | [INFO] [stderr] 134 | fn get_clusters_definitions( [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: function is never used: `generate_possible_combinations_clusters` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:213:4 [INFO] [stderr] | [INFO] [stderr] 213 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec>) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `constraint_list` (lib) generated 26 warnings [INFO] [stderr] warning: `constraint_list` (lib test) generated 26 warnings (26 duplicates) [INFO] [stderr] warning: unused import: `constraint_list::constraint_simplification` [INFO] [stderr] --> optimizer/src/main.rs:2:5 [INFO] [stderr] | [INFO] [stderr] 2 | use constraint_list::constraint_simplification; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_imports)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `a` [INFO] [stderr] --> optimizer/src/main.rs:21:10 [INFO] [stderr] | [INFO] [stderr] 21 | for (a,b) in hmap.clone(){ [INFO] [stderr] | ^ help: if this is intentional, prefix it with an underscore: `_a` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: value assigned to `num_circuit_variables` is never read [INFO] [stderr] --> optimizer/src/main.rs:119:13 [INFO] [stderr] | [INFO] [stderr] 119 | let mut num_circuit_variables = 0; [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_assignments)]` on by default [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: value assigned to `num_equalities` is never read [INFO] [stderr] --> optimizer/src/main.rs:126:13 [INFO] [stderr] | [INFO] [stderr] 126 | let mut num_equalities = 0; [INFO] [stderr] | ^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = help: maybe it is overwritten before being read? [INFO] [stderr] [INFO] [stderr] warning: unused variable: `num_var_out` [INFO] [stderr] --> optimizer/src/main.rs:136:9 [INFO] [stderr] | [INFO] [stderr] 136 | let num_var_out = 0; [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out` [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ignored_line` [INFO] [stderr] --> optimizer/src/main.rs:138:9 [INFO] [stderr] | [INFO] [stderr] 138 | let ignored_line = opt_line.next(); /*We ignore ~prime*/ [INFO] [stderr] | ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_ignored_line` [INFO] [stderr] [INFO] [stderr] warning: unused `Result` that must be used [INFO] [stderr] --> optimizer/src/main.rs:375:5 [INFO] [stderr] | [INFO] [stderr] 375 | constraint_list::r1cs_porting::port_r1cs(&cl,"a.r1cs"); [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_must_use)]` on by default [INFO] [stderr] = note: this `Result` may be an `Err` variant, which should be handled [INFO] [stderr] [INFO] [stderr] warning: `optimizer` (bin "optimizer" test) generated 7 warnings [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/circom_algebra-e841434ec6d3952a) [INFO] [stdout] [INFO] [stdout] running 9 tests [INFO] [stdout] test algebra::test::algebra_constraint_offset ... ok [INFO] [stdout] test algebra::test::algebra_constraint_apply_substitution ... ok [INFO] [stdout] test algebra::test::algebra_constraint_clear_signal ... ok [INFO] [stdout] test algebra::test::algebra_get_smallest_coefficient ... ok [INFO] [stdout] test modular_arithmetic::tests::comparison_check ... ok [INFO] [stdout] test modular_arithmetic::tests::complement_of_complement_is_the_original_test ... ok [INFO] [stdout] test modular_arithmetic::tests::lesser_eq_test ... ok [INFO] [stdout] test modular_arithmetic::tests::mod_check ... ok [INFO] [stdout] test modular_arithmetic::tests::mod_operation_check ... ok [INFO] [stdout] [INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/constant_tracking-204ab9be98092bf4) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/constraint_list-abe28ceffa20d8f0) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/constraint_writers-8f51b635651a6a5a) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/optimizer-df92a81180af99b8) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Running unittests (/opt/rustwide/target/debug/deps/optimizer-29067720f68f059a) [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests circom_algebra [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests constant_tracking [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests constraint_list [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests constraint_writers [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] [stderr] Doc-tests optimizer [INFO] [stdout] [INFO] [stdout] running 0 tests [INFO] [stdout] [INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s [INFO] [stdout] [INFO] running `Command { std: "docker" "inspect" "20b31c316f7214b35ac5600f098559a0f994ccd635047aa8f366250a53cf5b1b", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "20b31c316f7214b35ac5600f098559a0f994ccd635047aa8f366250a53cf5b1b", kill_on_drop: false }` [INFO] [stdout] 20b31c316f7214b35ac5600f098559a0f994ccd635047aa8f366250a53cf5b1b