[INFO] cloning repository https://github.com/miguelis/private_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/private_optimizer" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fprivate_optimizer", kill_on_drop: false }` [INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fprivate_optimizer'... [INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }` [INFO] [stdout] bb457e85764b6ff7dad71d2b065bf85448f58d0a [INFO] testing miguelis/private_optimizer against beta-2022-04-10 for beta-1.61-1 [INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fmiguelis%2Fprivate_optimizer" "/workspace/builds/worker-13/source", kill_on_drop: false }` [INFO] [stderr] Cloning into '/workspace/builds/worker-13/source'... [INFO] [stderr] done. [INFO] validating manifest of git repo https://github.com/miguelis/private_optimizer on toolchain beta-2022-04-10 [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }` [INFO] started tweaking git repo https://github.com/miguelis/private_optimizer [INFO] finished tweaking git repo https://github.com/miguelis/private_optimizer [INFO] tweaked toml for git repo https://github.com/miguelis/private_optimizer written to /workspace/builds/worker-13/source/Cargo.toml [INFO] crate git repo https://github.com/miguelis/private_optimizer already has a lockfile, it will not be regenerated [INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+beta-2022-04-10" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "+beta-2022-04-10" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }` [INFO] [stdout] 33096631676e7a6e166cd22d0a05bd1ba99f8f05f869a765520f20df7a2040a1 [INFO] running `Command { std: "docker" "start" "-a" "33096631676e7a6e166cd22d0a05bd1ba99f8f05f869a765520f20df7a2040a1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "inspect" "33096631676e7a6e166cd22d0a05bd1ba99f8f05f869a765520f20df7a2040a1", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "33096631676e7a6e166cd22d0a05bd1ba99f8f05f869a765520f20df7a2040a1", kill_on_drop: false }` [INFO] [stdout] 33096631676e7a6e166cd22d0a05bd1ba99f8f05f869a765520f20df7a2040a1 [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "+beta-2022-04-10" "build" "--frozen" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 0f14d3503b939f0d4dbac9d5c659f8033a08790742a7b82a52e6bd31dd883f7e [INFO] running `Command { std: "docker" "start" "-a" "0f14d3503b939f0d4dbac9d5c659f8033a08790742a7b82a52e6bd31dd883f7e", kill_on_drop: false }` [INFO] [stderr] Compiling libc v0.2.112 [INFO] [stderr] Compiling ppv-lite86 v0.2.16 [INFO] [stderr] Compiling autocfg v0.1.7 [INFO] [stderr] Compiling serde v1.0.133 [INFO] [stderr] Compiling libm v0.2.1 [INFO] [stderr] Compiling smallvec v1.8.0 [INFO] [stderr] Compiling byteorder v1.4.3 [INFO] [stderr] Compiling constant_tracking v2.0.1 (/opt/rustwide/workdir/constant_tracking) [INFO] [stderr] Compiling json v0.12.4 [INFO] [stderr] Compiling num-iter v0.1.42 [INFO] [stderr] Compiling num-traits v0.2.14 [INFO] [stderr] Compiling num-integer v0.1.44 [INFO] [stderr] Compiling lazy_static v1.4.0 [INFO] [stderr] Compiling num-bigint-dig v0.6.1 [INFO] [stderr] Compiling getrandom v0.1.16 [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: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:591:9 [INFO] [stdout] | [INFO] [stdout] 591 | 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:592:9 [INFO] [stdout] | [INFO] [stdout] 592 | 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:594:9 [INFO] [stdout] | [INFO] [stdout] 594 | 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:595:9 [INFO] [stdout] | [INFO] [stdout] 595 | 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:275:13 [INFO] [stdout] | [INFO] [stdout] 275 | 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:351:9 [INFO] [stdout] | [INFO] [stdout] 351 | 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:390:18 [INFO] [stdout] | [INFO] [stdout] 390 | 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:619:33 [INFO] [stdout] | [INFO] [stdout] 619 | 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:661:13 [INFO] [stdout] | [INFO] [stdout] 661 | 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:772:9 [INFO] [stdout] | [INFO] [stdout] 772 | 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: `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:619:29 [INFO] [stdout] | [INFO] [stdout] 619 | 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:661:9 [INFO] [stdout] | [INFO] [stdout] 661 | 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:94:4 [INFO] [stdout] | [INFO] [stdout] 94 | 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:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | 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:212:4 [INFO] [stdout] | [INFO] [stdout] 212 | 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: 24 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: value assigned to `num_circuit_variables` is never read [INFO] [stdout] --> optimizer/src/main.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | 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:82:13 [INFO] [stdout] | [INFO] [stdout] 82 | 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:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | let num_var_out = 0; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ignored_line` [INFO] [stdout] --> optimizer/src/main.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | 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:324:5 [INFO] [stdout] | [INFO] [stdout] 324 | 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: 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Finished dev [unoptimized + debuginfo] target(s) in 8.86s [INFO] running `Command { std: "docker" "inspect" "0f14d3503b939f0d4dbac9d5c659f8033a08790742a7b82a52e6bd31dd883f7e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "0f14d3503b939f0d4dbac9d5c659f8033a08790742a7b82a52e6bd31dd883f7e", kill_on_drop: false }` [INFO] [stdout] 0f14d3503b939f0d4dbac9d5c659f8033a08790742a7b82a52e6bd31dd883f7e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "+beta-2022-04-10" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }` [INFO] [stdout] 9afeb3993f7c8b03b87d75b817f182c9321d071c7e32e740f6f6f3c412e7d58e [INFO] running `Command { std: "docker" "start" "-a" "9afeb3993f7c8b03b87d75b817f182c9321d071c7e32e740f6f6f3c412e7d58e", kill_on_drop: false }` [INFO] [stderr] Blocking waiting for file lock on package cache [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] [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 circom_algebra v2.0.1 (/opt/rustwide/workdir/circom_algebra) [INFO] [stdout] warning: 2 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling constraint_writers v2.0.1 (/opt/rustwide/workdir/constraint_writers) [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: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:591:9 [INFO] [stdout] | [INFO] [stdout] 591 | 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:592:9 [INFO] [stdout] | [INFO] [stdout] 592 | 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:594:9 [INFO] [stdout] | [INFO] [stdout] 594 | 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:595:9 [INFO] [stdout] | [INFO] [stdout] 595 | 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:275:13 [INFO] [stdout] | [INFO] [stdout] 275 | 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:351:9 [INFO] [stdout] | [INFO] [stdout] 351 | 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:390:18 [INFO] [stdout] | [INFO] [stdout] 390 | 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:619:33 [INFO] [stdout] | [INFO] [stdout] 619 | let (substitutions, mut constants) = linear_simplification( [INFO] [stdout] | ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_constants` [INFO] [stdout] [INFO] [stdout] [INFO] [stderr] Compiling constraint_list v2.0.1 (/opt/rustwide/workdir/constraint_list) [INFO] [stdout] warning: unused variable: `apply_only_affected` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:661:13 [INFO] [stdout] | [INFO] [stdout] 661 | 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] [stderr] Compiling optimizer v2.0.1 (/opt/rustwide/workdir/optimizer) [INFO] [stdout] warning: unused variable: `dur` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:772:9 [INFO] [stdout] | [INFO] [stdout] 772 | 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: `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:619:29 [INFO] [stdout] | [INFO] [stdout] 619 | 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:661:9 [INFO] [stdout] | [INFO] [stdout] 661 | 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:94:4 [INFO] [stdout] | [INFO] [stdout] 94 | 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:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | 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:212:4 [INFO] [stdout] | [INFO] [stdout] 212 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec>) [INFO] [stdout] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 24 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: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stdout] --> constraint_list/src/constraint_simplification.rs:591:9 [INFO] [stdout] | [INFO] [stdout] 591 | 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:592:9 [INFO] [stdout] | [INFO] [stdout] 592 | 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:594:9 [INFO] [stdout] | [INFO] [stdout] 594 | 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:595:9 [INFO] [stdout] | [INFO] [stdout] 595 | 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: value assigned to `num_circuit_variables` is never read [INFO] [stdout] --> optimizer/src/main.rs:75:13 [INFO] [stdout] | [INFO] [stdout] 75 | 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:82:13 [INFO] [stdout] | [INFO] [stdout] 82 | 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:92:9 [INFO] [stdout] | [INFO] [stdout] 92 | let num_var_out = 0; [INFO] [stdout] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out` [INFO] [stdout] | [INFO] [stdout] = note: `#[warn(unused_variables)]` on by default [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: unused variable: `ignored_line` [INFO] [stdout] --> optimizer/src/main.rs:94:9 [INFO] [stdout] | [INFO] [stdout] 94 | 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:324:5 [INFO] [stdout] | [INFO] [stdout] 324 | 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:275:13 [INFO] [stdout] | [INFO] [stdout] 275 | 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:351:9 [INFO] [stdout] | [INFO] [stdout] 351 | 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:390:18 [INFO] [stdout] | [INFO] [stdout] 390 | 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:619:33 [INFO] [stdout] | [INFO] [stdout] 619 | 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:661:13 [INFO] [stdout] | [INFO] [stdout] 661 | 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:772:9 [INFO] [stdout] | [INFO] [stdout] 772 | 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: `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:619:29 [INFO] [stdout] | [INFO] [stdout] 619 | 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:661:9 [INFO] [stdout] | [INFO] [stdout] 661 | 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:94:4 [INFO] [stdout] | [INFO] [stdout] 94 | 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:133:4 [INFO] [stdout] | [INFO] [stdout] 133 | 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:212:4 [INFO] [stdout] | [INFO] [stdout] 212 | 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: 6 warnings emitted [INFO] [stdout] [INFO] [stdout] [INFO] [stdout] warning: 24 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.81s [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/circom_algebra-6badd28926056c71) [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/constant_tracking-1ed1a8c965f513f1) [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/constraint_list-b1d619c55e1e101e) [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/constraint_writers-2f5e8740e19e3e0d) [INFO] [stderr] Executable unittests src/lib.rs (/opt/rustwide/target/debug/deps/optimizer-e34c9f16ad9078ea) [INFO] [stderr] Executable unittests src/main.rs (/opt/rustwide/target/debug/deps/optimizer-4f743903de067001) [INFO] running `Command { std: "docker" "inspect" "9afeb3993f7c8b03b87d75b817f182c9321d071c7e32e740f6f6f3c412e7d58e", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "9afeb3993f7c8b03b87d75b817f182c9321d071c7e32e740f6f6f3c412e7d58e", kill_on_drop: false }` [INFO] [stdout] 9afeb3993f7c8b03b87d75b817f182c9321d071c7e32e740f6f6f3c412e7d58e [INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-13/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" "+beta-2022-04-10" "test" "--frozen", kill_on_drop: false }` [INFO] [stdout] b563dd417d14ee45184c1f3c398ea5b77a4220bb5742719eca42270952b7e1e2 [INFO] running `Command { std: "docker" "start" "-a" "b563dd417d14ee45184c1f3c398ea5b77a4220bb5742719eca42270952b7e1e2", 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: `circom_algebra::simplification_utils::build_encoded_fast_substitutions` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:591:9 [INFO] [stderr] | [INFO] [stderr] 591 | 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:592:9 [INFO] [stderr] | [INFO] [stderr] 592 | 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:594:9 [INFO] [stderr] | [INFO] [stderr] 594 | use std::sync::mpsc; [INFO] [stderr] | ^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: unused import: `threadpool::ThreadPool` [INFO] [stderr] --> constraint_list/src/constraint_simplification.rs:595:9 [INFO] [stderr] | [INFO] [stderr] 595 | 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:275:13 [INFO] [stderr] | [INFO] [stderr] 275 | 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:351:9 [INFO] [stderr] | [INFO] [stderr] 351 | 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:390:18 [INFO] [stderr] | [INFO] [stderr] 390 | 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:619:33 [INFO] [stderr] | [INFO] [stderr] 619 | 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:661:13 [INFO] [stderr] | [INFO] [stderr] 661 | 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:772:9 [INFO] [stderr] | [INFO] [stderr] 772 | 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: `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:619:29 [INFO] [stderr] | [INFO] [stderr] 619 | 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:661:9 [INFO] [stderr] | [INFO] [stderr] 661 | 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:94:4 [INFO] [stderr] | [INFO] [stderr] 94 | 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:133:4 [INFO] [stderr] | [INFO] [stderr] 133 | 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:212:4 [INFO] [stderr] | [INFO] [stderr] 212 | fn generate_possible_combinations_clusters(signal_to_clusters: &Vec>) [INFO] [stderr] | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [INFO] [stderr] [INFO] [stderr] warning: `constraint_list` (lib) generated 24 warnings [INFO] [stderr] warning: `constraint_list` (lib test) generated 24 warnings (24 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: value assigned to `num_circuit_variables` is never read [INFO] [stderr] --> optimizer/src/main.rs:75:13 [INFO] [stderr] | [INFO] [stderr] 75 | 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:82:13 [INFO] [stderr] | [INFO] [stderr] 82 | 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:92:9 [INFO] [stderr] | [INFO] [stderr] 92 | let num_var_out = 0; [INFO] [stderr] | ^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_num_var_out` [INFO] [stderr] | [INFO] [stderr] = note: `#[warn(unused_variables)]` on by default [INFO] [stderr] [INFO] [stderr] warning: unused variable: `ignored_line` [INFO] [stderr] --> optimizer/src/main.rs:94:9 [INFO] [stderr] | [INFO] [stderr] 94 | 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:324:5 [INFO] [stderr] | [INFO] [stderr] 324 | 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 6 warnings [INFO] [stderr] Finished test [unoptimized + debuginfo] target(s) in 0.02s [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/circom_algebra-6badd28926056c71) [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 modular_arithmetic::tests::comparison_check ... ok [INFO] [stdout] test algebra::test::algebra_get_smallest_coefficient ... ok [INFO] [stdout] test modular_arithmetic::tests::mod_check ... ok [INFO] [stdout] test algebra::test::algebra_constraint_clear_signal ... ok [INFO] [stdout] test modular_arithmetic::tests::mod_operation_check ... ok [INFO] [stdout] test modular_arithmetic::tests::lesser_eq_test ... ok [INFO] [stdout] test modular_arithmetic::tests::complement_of_complement_is_the_original_test ... 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 src/lib.rs (/opt/rustwide/target/debug/deps/constant_tracking-1ed1a8c965f513f1) [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/constraint_list-b1d619c55e1e101e) [INFO] [stdout] [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/constraint_writers-2f5e8740e19e3e0d) [INFO] [stdout] running 0 tests [INFO] [stderr] Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/optimizer-e34c9f16ad9078ea) [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] [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] [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] [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 src/main.rs (/opt/rustwide/target/debug/deps/optimizer-4f743903de067001) [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" "b563dd417d14ee45184c1f3c398ea5b77a4220bb5742719eca42270952b7e1e2", kill_on_drop: false }` [INFO] running `Command { std: "docker" "rm" "-f" "b563dd417d14ee45184c1f3c398ea5b77a4220bb5742719eca42270952b7e1e2", kill_on_drop: false }` [INFO] [stdout] b563dd417d14ee45184c1f3c398ea5b77a4220bb5742719eca42270952b7e1e2