update tests

janmasrovira · janmasrovira · commit c17884bc6816 · 2025-05-23T15:15:36.000+02:00
diff --git a/test/Anoma/Compilation/Positive.hs b/test/Anoma/Compilation/Positive.hs
@@ -1078,10 +1078,8 @@ allTests =
           []
           $ checkTracesAndOutput
             [ [nock|
-                  [
-                    32
                    90876768632225629395702952947791536168367734137399490612004543592448844073500
-                  ] |]
+                   |]
             ],
         mkAnomaTest
           90
@@ -1091,17 +1089,10 @@ allTests =
           $(mkRelFile "test090.juvix")
           []
           $ checkTracesAndOutput
-            [ [nock|
-                   494314595042081500440857251381770292616938994877034494695646244172503432267828341988295847615050091656182697698441111518765263317712889741906029933485191684
-                   |],
-              [nock|
-                   494314595042081500440857251381770292616938994877034494695646244172503432267828341988295847615050091656182697698441111518765263317712889741906029933485191684
-                   |],
-              [nock|
-                   0
+            [ [nock| 494314595042081500440857251381770292616938994877034494695646244172503432267828341988295847615050091656182697698441111518765263317712889741906029933485191684
                    |],
-              [nock|
-                   1
-                   |]
+              [nock| 3316525881893338865696018347376662962495038816228703675702261387957487613897606456822132758411937277787249216059783357696048576285364671454495986153933844 |],
+              [nock| 0 |],
+              [nock| 1 |]
             ]
       ]
diff --git a/tests/Anoma/Compilation/positive/test089.juvix b/tests/Anoma/Compilation/positive/test089.juvix
@@ -10,7 +10,7 @@ builtin bytearray
 axiom ByteArray : Type;
 
 builtin keccak256
-axiom keccak : Nat -> ByteArray;
+axiom keccak : Nat -> Nat;
 
 main : _ :=
   -- byteStringToNatural (encodeUtf8 "hello") = 478560413032
