add more code coverage

ProvableHQ · Oct 3, 2023 · d9cdcb6 · d9cdcb6
1 parent 4c30e6c
commit d9cdcb6
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/tests/expectations/compiler/definition/define_multiple_variables_fail.out b/tests/expectations/compiler/definition/define_multiple_variables_fail.out
@@ -2,4 +2,4 @@
 namespace: Compile
 expectation: Fail
 outputs:
-  - "Error [ETYC0372082]: Expected a tuple with 2 elements, found one with 3 elements\n    --> compiler-test:5:13\n     |\n   5 |         let (a,b,c): (u8,u8) = (2u8,3u8);\n     |             ^^^^^^^\nError [ETYC0372082]: Expected a tuple with 3 elements, found one with 2 elements\n    --> compiler-test:6:13\n     |\n   6 |         let (d,e): (u8,u8,u8) = (1u8,2u8,3u8);\n     |             ^^^^^\n"
+  - "Error [EPAR0370029]: A tuple type must have at least two elements.\n    --> compiler-test:7:18\n     |\n   7 |         let (f): (u8) = (1u8);\n     |                  ^^^^"
diff --git a/tests/tests/compiler/definition/define_multiple_variables_fail.leo b/tests/tests/compiler/definition/define_multiple_variables_fail.leo
@@ -1,12 +1,13 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 */
 
 program test.aleo {
     function main(y: bool) -> bool {
         let (a,b,c): (u8,u8) = (2u8,3u8);
         let (d,e): (u8,u8,u8) = (1u8,2u8,3u8);
+        let (g,h,i): (u8,u8,u8) = (1u8);
         return y;
     }
 }

diff --git a/tests/tests/compiler/definition/tuple_def_fail.leo b/tests/tests/compiler/definition/tuple_def_fail.leo
@@ -0,0 +1,11 @@
+/*
+namespace: Compile
+expectation: Pass
+*/
+
+program test.aleo {
+    function main(y: bool) -> bool {
+        let (1u8+1u8,1u8+1u8): (u8,u8) = (1u8,2u8);
+        return y;
+    }
+}