From 7a3b2d21f822240a5195254e00f9c175d31c7804 Mon Sep 17 00:00:00 2001 From: f01dab1e Date: Mon, 27 Nov 2023 08:09:44 +0000 Subject: [PATCH] chore: nargo fmt --- .../tests/execution_success/array_dynamic/src/main.nr | 8 +++++++- .../execution_success/brillig_scalar_mul/src/main.nr | 7 ++++++- .../tests/execution_success/brillig_schnorr/src/main.nr | 6 +++++- .../nargo_cli/tests/execution_success/schnorr/src/main.nr | 6 +++++- 4 files changed, 23 insertions(+), 4 deletions(-) diff --git a/tooling/nargo_cli/tests/execution_success/array_dynamic/src/main.nr b/tooling/nargo_cli/tests/execution_success/array_dynamic/src/main.nr index 76e7f70f5d4..dde7bacc455 100644 --- a/tooling/nargo_cli/tests/execution_success/array_dynamic/src/main.nr +++ b/tooling/nargo_cli/tests/execution_success/array_dynamic/src/main.nr @@ -1,5 +1,11 @@ fn main( - x: [u32; 5], mut z: u32, t: u32, index: [Field;5], index2: [Field;5], offset: Field, sublen: Field + x: [u32; 5], + mut z: u32, + t: u32, + index: [Field;5], + index2: [Field;5], + offset: Field, + sublen: Field ) { let idx = (z - 5 * t - 5) as Field; //dynamic array test diff --git a/tooling/nargo_cli/tests/execution_success/brillig_scalar_mul/src/main.nr b/tooling/nargo_cli/tests/execution_success/brillig_scalar_mul/src/main.nr index 850800f44d7..ab2f79eb815 100644 --- a/tooling/nargo_cli/tests/execution_success/brillig_scalar_mul/src/main.nr +++ b/tooling/nargo_cli/tests/execution_success/brillig_scalar_mul/src/main.nr @@ -1,7 +1,12 @@ use dep::std; unconstrained fn main( - a: Field, a_pub_x: pub Field, a_pub_y: pub Field, b: Field, b_pub_x: pub Field, b_pub_y: pub Field + a: Field, + a_pub_x: pub Field, + a_pub_y: pub Field, + b: Field, + b_pub_x: pub Field, + b_pub_y: pub Field ) { let mut priv_key = a; let mut pub_x: Field = a_pub_x; diff --git a/tooling/nargo_cli/tests/execution_success/brillig_schnorr/src/main.nr b/tooling/nargo_cli/tests/execution_success/brillig_schnorr/src/main.nr index 8acdb792007..4cc79ae7e07 100644 --- a/tooling/nargo_cli/tests/execution_success/brillig_schnorr/src/main.nr +++ b/tooling/nargo_cli/tests/execution_success/brillig_schnorr/src/main.nr @@ -2,7 +2,11 @@ use dep::std; // Note: If main has any unsized types, then the verifier will never be able // to figure out the circuit instance unconstrained fn main( - message: [u8; 10], message_field: Field, pub_key_x: Field, pub_key_y: Field, signature: [u8; 64] + message: [u8; 10], + message_field: Field, + pub_key_x: Field, + pub_key_y: Field, + signature: [u8; 64] ) { // Regression for issue #2421 // We want to make sure that we can accurately verify a signature whose message is a slice vs. an array diff --git a/tooling/nargo_cli/tests/execution_success/schnorr/src/main.nr b/tooling/nargo_cli/tests/execution_success/schnorr/src/main.nr index 299bbdc07e2..107af152625 100644 --- a/tooling/nargo_cli/tests/execution_success/schnorr/src/main.nr +++ b/tooling/nargo_cli/tests/execution_success/schnorr/src/main.nr @@ -2,7 +2,11 @@ use dep::std; // Note: If main has any unsized types, then the verifier will never be able // to figure out the circuit instance fn main( - message: [u8; 10], message_field: Field, pub_key_x: Field, pub_key_y: Field, signature: [u8; 64] + message: [u8; 10], + message_field: Field, + pub_key_x: Field, + pub_key_y: Field, + signature: [u8; 64] ) { // Regression for issue #2421 // We want to make sure that we can accurately verify a signature whose message is a slice vs. an array