Fix test

tests/tests/compiler/finalize/finalize_with_return_fail.leo → tests/tests/compiler/finalize/finalize_with_return.leo

@@ -1,6 +1,6 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 */
 
 program test.aleo { 

tests/tests/compiler/finalize/unknown_mapping_operation_fail.leo

@@ -0,0 +1,18 @@
+/*
+namespace: Compile
+expectation: Fail
+*/
+
+program test.aleo {
+
+ mapping account: address => u64;
+
+ transition mint_public(public receiver: address, public amount: u64) {
+ return then finalize(receiver, amount);
+ }
+
+ finalize mint_public (public receiver: address, public amount: u64) {
+ let has_key: bool = Mapping::has_key(account, receiver);
+ Mapping::set(account, receiver, amount);
+ }
+}