From f0a451db281b87e5283f0ace9d9fa8928714c5c8 Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Tue, 5 Nov 2024 18:45:37 +0200
Subject: [PATCH] Update tests

---
 tests/ulm-with-contract/storage.256.run    | 4 ++--
 tests/ulm-with-contract/storage.key.run    | 4 ++--
 tests/ulm-with-contract/storage.simple.run | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/tests/ulm-with-contract/storage.256.run b/tests/ulm-with-contract/storage.256.run
index 43ceec91..045db759 100644
--- a/tests/ulm-with-contract/storage.256.run
+++ b/tests/ulm-with-contract/storage.256.run
@@ -1,5 +1,5 @@
-mock SetAccountStorageHook ( 8738216329480387967 , 1000000000000000000000000000000000000000000000000000000000000 ) ulmNoResult();
-mock GetAccountStorageHook ( 8738216329480387967 ) ulmIntResult(1000000000000000000000000000000000000000000000000000000000000, u256);
+mock SetAccountStorageHook ( 47586510880955265726688953653028435069486243252926274554489699639913455891751 , 1000000000000000000000000000000000000000000000000000000000000 ) ulmNoResult();
+mock GetAccountStorageHook ( 47586510880955265726688953653028435069486243252926274554489699639913455891751 ) ulmIntResult(1000000000000000000000000000000000000000000000000000000000000, u256);
 
 push "setMyData256";
 hold_string_from_test_stack; 
diff --git a/tests/ulm-with-contract/storage.key.run b/tests/ulm-with-contract/storage.key.run
index 8bf4ff23..8053ec84 100644
--- a/tests/ulm-with-contract/storage.key.run
+++ b/tests/ulm-with-contract/storage.key.run
@@ -1,5 +1,5 @@
-mock SetAccountStorageHook ( 8738216329482039167 , 123 ) ulmNoResult();
-mock GetAccountStorageHook ( 8738216329482039167 ) ulmIntResult(123, u64);
+mock SetAccountStorageHook ( 10244917065751466042072482011607924022453580028001931068470547844249081769915 , 123 ) ulmNoResult();
+mock GetAccountStorageHook ( 10244917065751466042072482011607924022453580028001931068470547844249081769915 ) ulmIntResult(123, u256);
 
 push "setMyDataKey";
 hold_string_from_test_stack; 
diff --git a/tests/ulm-with-contract/storage.simple.run b/tests/ulm-with-contract/storage.simple.run
index 0dedb8d6..6b89cd21 100644
--- a/tests/ulm-with-contract/storage.simple.run
+++ b/tests/ulm-with-contract/storage.simple.run
@@ -1,5 +1,5 @@
-mock SetAccountStorageHook ( 1809217465971809 , 123 ) ulmNoResult();
-mock GetAccountStorageHook ( 1809217465971809 ) ulmIntResult(123, u64);
+mock SetAccountStorageHook ( 73866358942311723187445361469509963283744060252826659833950887638461707973283 , 123 ) ulmNoResult();
+mock GetAccountStorageHook ( 73866358942311723187445361469509963283744060252826659833950887638461707973283 ) ulmIntResult(123, u256);
 
 push "setMyData";
 hold_string_from_test_stack;