tmp

Pi-Squared-Inc · Oct 10, 2024 · 007853a · 007853a
1 parent 63f51d1
commit 007853a
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 4 deletions.
diff --git a/tests/ukm-with-contract/endpoints.1.run b/tests/ukm-with-contract/endpoints.1.run
@@ -13,9 +13,9 @@ return_value;
 check_eq ();
 
 push_status;
-check_eq 0;
+check_eq 2;
 
-push_output;
+output_to_arg;
 call :: endpoints :: decode_single_u64;
 return_value;
 

diff --git a/ukm-semantics/main/hooks/state.md b/ukm-semantics/main/hooks/state.md
@@ -27,6 +27,7 @@ module UKM-HOOKS-STATE
     syntax Identifier ::= "state_hooks"  [token]
                         | "setStatus"  [token]
                         | "setGasLeft"  [token]
+                        | "setOutput"  [token]
 
     rule normalizedFunctionCall
             ( :: state_hooks :: setStatus :: .PathExprSegments

diff --git a/ukm-semantics/main/representation.md b/ukm-semantics/main/representation.md
@@ -4,6 +4,7 @@ module UKM-REPRESENTATION
     imports private BYTES-SYNTAX
     imports private INT-SYNTAX
     imports private MINT
+    imports private RUST-VALUE-SYNTAX
 
     syntax UkmValue ::= ukmBytesValue(Bytes)
                       | ukmIntValue(Int)

diff --git a/ukm-semantics/test/execution.md b/ukm-semantics/test/execution.md
@@ -6,7 +6,7 @@ module UKM-TEST-SYNTAX
 
     syntax ExecutionItem  ::= "mock" "CallData"
                             | "call_contract" Int
-                            | "push_output"
+                            | "output_to_arg"
                             | "push_status"
                             | "check_eq" Int
 endmodule
@@ -32,7 +32,7 @@ module UKM-TEST-EXECUTION
 
     rule
         <k>
-            push_output => ukmBytesNew(Output) ~> return_value
+            output_to_arg => ukmBytesNew(Output) ~> return_value_to_arg
             ...
         </k>
         <ukm-output>