From e3b18a4342346ae06466e63bfe9ff2be32f3debe Mon Sep 17 00:00:00 2001 From: kevaundray Date: Tue, 6 Jun 2023 11:19:40 +0000 Subject: [PATCH] brillig -> prove_and_verify_brillig_identity_function --- .../{brillig => brillig_identity_function}/Nargo.toml | 0 .../{brillig => brillig_identity_function}/Prover.toml | 0 .../{brillig => brillig_identity_function}/src/main.nr | 2 +- 3 files changed, 1 insertion(+), 1 deletion(-) rename crates/nargo_cli/tests/test_data_ssa_refactor/{brillig => brillig_identity_function}/Nargo.toml (100%) rename crates/nargo_cli/tests/test_data_ssa_refactor/{brillig => brillig_identity_function}/Prover.toml (100%) rename crates/nargo_cli/tests/test_data_ssa_refactor/{brillig => brillig_identity_function}/src/main.nr (68%) diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig/Nargo.toml b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_identity_function/Nargo.toml similarity index 100% rename from crates/nargo_cli/tests/test_data_ssa_refactor/brillig/Nargo.toml rename to crates/nargo_cli/tests/test_data_ssa_refactor/brillig_identity_function/Nargo.toml diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig/Prover.toml b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_identity_function/Prover.toml similarity index 100% rename from crates/nargo_cli/tests/test_data_ssa_refactor/brillig/Prover.toml rename to crates/nargo_cli/tests/test_data_ssa_refactor/brillig_identity_function/Prover.toml diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig/src/main.nr b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_identity_function/src/main.nr similarity index 68% rename from crates/nargo_cli/tests/test_data_ssa_refactor/brillig/src/main.nr rename to crates/nargo_cli/tests/test_data_ssa_refactor/brillig_identity_function/src/main.nr index 4931fd24f38..cb6ce1ae2f4 100644 --- a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig/src/main.nr +++ b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_identity_function/src/main.nr @@ -1,6 +1,6 @@ // Tests a very simple program. // -// The features being tested is assertion +// The features being tested is the identity function in Brillig fn main(x : Field) { assert(x == identity(x)); }