Add tests

tests/compiler/finalize/private_input_ouput_fail.leo

@@ -0,0 +1,24 @@
+/*
+namespace: Compile
+expectation: Fail
+*/
+
+program test.aleo {
+    transition foo(public a: u8) -> u8 {
+        async finalize(a);
+        return a + a;
+    }
+
+    finalize foo(private a: u8) -> u8 {
+        return a * a;
+    }
+
+    transition bar(public a: u8) -> u8 {
+        async finalize (a);
+        return a + a;
+    }
+
+    finalize bar(a: u8) -> private u8 {
+        return a * a;
+    }
+}

tests/compiler/function/private_input_output.leo

@@ -0,0 +1,11 @@
+/*
+namespace: Compile
+expectation: Pass
+*/
+
+program test.aleo {
+    transition foo(private a: u8, public b: u8) -> private u8 {
+        let c: u8 = a + b;
+        return c;
+    }
+}