chore(brillig): added tests for all field binary operations (#1586)

noir-lang · Jun 7, 2023 · 3c9f106 · 3c9f106
1 parent 06543b5
commit 3c9f106
Show file tree

Hide file tree

Showing 6 changed files with 26 additions and 13 deletions.
diff --git a/..._data_ssa_refactor/brillig_sum/Nargo.toml → ...rillig_field_binary_operations/Nargo.toml b/..._data_ssa_refactor/brillig_sum/Nargo.toml → ...rillig_field_binary_operations/Nargo.toml
diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_field_binary_operations/Prover.toml b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_field_binary_operations/Prover.toml
diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_field_binary_operations/src/main.nr b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_field_binary_operations/src/main.nr
@@ -0,0 +1,25 @@
+// Tests arithmetic operations on fields
+fn main()  {
+    let x = 4;
+    let y = 2;
+    assert((x + y) == add(x, y));
+    assert((x - y) == sub(x, y));
+    assert((x * y) == mul(x, y));
+    assert((x / y) == div(x, y));
+}
+
+unconstrained fn add(x : Field, y : Field) -> Field {
+    x + y
+}
+
+unconstrained fn sub(x : Field, y : Field) -> Field {
+    x - y
+}
+
+unconstrained fn mul(x : Field, y : Field) -> Field {
+    x * y
+}
+
+unconstrained fn div(x : Field, y : Field) -> Field {
+    x / y
+}
diff --git a/...s/nargo_cli/tests/test_data_ssa_refactor/brillig_field_binary_operations/target/test.json b/...s/nargo_cli/tests/test_data_ssa_refactor/brillig_field_binary_operations/target/test.json
diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_sum/Prover.toml b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_sum/Prover.toml
diff --git a/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_sum/src/main.nr b/crates/nargo_cli/tests/test_data_ssa_refactor/brillig_sum/src/main.nr