update mx-sdk-rs

runtimeverification · Aug 25, 2023 · 9fb67b8 · 9fb67b8
1 parent 1519654
commit 9fb67b8
Show file tree

Hide file tree

Showing 6 changed files with 8 additions and 8 deletions.
diff --git a/Makefile b/Makefile
@@ -213,7 +213,7 @@ $(foundry_kompiled): $(ELROND_FILES_KWASM_DIR) $(PLUGIN_FILES_KWASM_DIR) $(PLUGI
 	    llvm_main_file=foundry                           \
 	    EXTRA_SOURCE_FILES="$(EXTRA_SOURCES)"            \
 	    KOMPILE_OPTS="$(KOMPILE_OPTS)"                   \
-	    LLVM_KOMPILE_OPTS="$(LLVM_KOMPILE_OPTS)"	     \
+	    LLVM_KOMPILE_OPTS="$(LLVM_KOMPILE_OPTS)"	       \
 	    K_INCLUDE_DIR=$(K_INCLUDE_DIR)
 
 # Testing
@@ -225,7 +225,9 @@ KRUN_OPTS :=
 elrond-contract-deps := test-elrond-adder             \
                         test-elrond-crowdfunding-esdt \
                         test-elrond-multisig          \
-                        test-elrond-basic-features
+                        test-elrond-basic-features    \
+                        test-elrond-alloc-features
+
 test-elrond-contracts: $(elrond-contract-deps)
 
 test: test-simple mandos-test test-elrond-contracts test-custom-contracts

diff --git a/deps/mx-sdk-rs b/deps/mx-sdk-rs
diff --git a/elrond-config.md b/elrond-config.md
@@ -184,7 +184,7 @@ TODO: Implement [reserved keys and read-only runtimes](https://github.com/Elrond
       requires notBool #hasPrefix(KEY, "ELROND")
 
     rule <instrs> #isReservedKey(KEY)
-               => #throwException(UserError, "cannot write to storage under Elrond reserved key") ...
+               => #throwException(ExecutionFailed, "cannot write to storage under reserved key") ...
          </instrs>
       requires         #hasPrefix(KEY, "ELROND")
 

diff --git a/pykelrond/src/pykelrond/scenario.py b/pykelrond/src/pykelrond/scenario.py
@@ -104,6 +104,8 @@ def config_to_kast_term(config: KInner) -> dict:
 
 
 def mandos_int_to_kint(mandos_int: str) -> KToken:
+    if mandos_int == "":
+        return KInt(0)
     if mandos_int[0:2] == '0x':
         return KInt(int(mandos_int, 16))
     unseparated_int = mandos_int.replace(',', '')

diff --git a/tests/alloc_features.test b/tests/alloc_features.test
@@ -1,6 +1,4 @@
 deps/mx-sdk-rs/contracts/feature-tests/alloc-features/scenarios/boxed_bytes_zeros.scen.json
-deps/mx-sdk-rs/contracts/feature-tests/alloc-features/scenarios/crypto_keccak256_legacy_alloc.scen.json
-deps/mx-sdk-rs/contracts/feature-tests/alloc-features/scenarios/crypto_sha256_legacy_alloc.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/alloc-features/scenarios/echo_async_result_empty.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/alloc-features/scenarios/echo_big_int_nested_alloc.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/alloc-features/scenarios/echo_boxed_bytes.scen.json

diff --git a/tests/basic_features.test b/tests/basic_features.test
@@ -8,9 +8,7 @@ deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/big_uint_to_u64.
 deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/block_info.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/codec_err.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/count_ones.scen.json
-deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/crypto_keccak256_legacy_managed.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/crypto_keccak256.scen.json
-deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/crypto_sha256_legacy_managed.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/crypto_sha256.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/echo_array_u8.scen.json
 deps/mx-sdk-rs/contracts/feature-tests/basic-features/scenarios/echo_arrayvec.scen.json