Regen expectations

ProvableHQ · Jun 28, 2023 · 652e1f4 · 652e1f4
1 parent 8ff9b87
commit 652e1f4
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/tests/expectations/compiler/finalize/rand_incorrect_num_operands.out b/tests/expectations/compiler/finalize/rand_incorrect_num_operands.out
@@ -0,0 +1,5 @@
+---
+namespace: Compile
+expectation: Fail
+outputs:
+  - "Error [ETYC0372006]: Call expected `0` args, but got `1`\n    --> compiler-test:12:24\n     |\n  12 |         let a: field = ChaCha::rand_field(1field);\n     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372006]: Call expected `0` args, but got `2`\n    --> compiler-test:13:24\n     |\n  13 |         let b: field = ChaCha::rand_field(1field, 2field);\n     |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n"
diff --git a/tests/expectations/compiler/finalize/rand_incorrect_type_fail.out b/tests/expectations/compiler/finalize/rand_incorrect_type_fail.out
@@ -0,0 +1,5 @@
+---
+namespace: Compile
+expectation: Fail
+outputs:
+  - "Error [ETYC0372007]: Expected one type from `scalar`, but got `field`\n    --> compiler-test:12:25\n     |\n  12 |         let a: scalar = ChaCha::rand_field();\n     |                         ^^^^^^^^^^^^^^^^^^^^\nError [ETYC0372007]: Expected one type from `group`, but got `field`\n    --> compiler-test:13:24\n     |\n  13 |         let b: group = ChaCha::rand_field();\n     |                        ^^^^^^^^^^^^^^^^^^^^\n"
diff --git a/tests/tests/compiler/finalize/rand_incorrect_type_fail.leo b/tests/tests/compiler/finalize/rand_incorrect_type_fail.leo
@@ -12,8 +12,8 @@ program test.aleo {
     }
 
     finalize foo() {
-        let a: scalar = ChaCha::rand_field(1field);
-        let b: group = ChaCha::rand_field(1field, 2field);
+        let a: scalar = ChaCha::rand_field();
+        let b: group = ChaCha::rand_field();
         values.set(a, b);
     }
 }