diff options
author | Wojciech Kosior <kwojtus@protonmail.com> | 2020-09-21 13:42:41 +0200 |
---|---|---|
committer | Wojciech Kosior <kwojtus@protonmail.com> | 2020-09-21 13:42:41 +0200 |
commit | f462785ee0894432e1e1d07793aba73b5ec20134 (patch) | |
tree | bd93c8a0c97da0bb0b4632c42d74a6f1e9e76a49 /tests | |
parent | 0cc91508606c1219ca90ffd68e0765fa40a93539 (diff) | |
download | AGH-engineering-thesis-f462785ee0894432e1e1d07793aba73b5ec20134.tar.gz AGH-engineering-thesis-f462785ee0894432e1e1d07793aba73b5ec20134.zip |
fix memory verification in wasm_compile tests
Diffstat (limited to 'tests')
-rw-r--r-- | tests/wasm_compile_simple_module/test.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/wasm_compile_simple_module/test.v b/tests/wasm_compile_simple_module/test.v index 49aa5be..686a7fc 100644 --- a/tests/wasm_compile_simple_module/test.v +++ b/tests/wasm_compile_simple_module/test.v @@ -184,6 +184,8 @@ module wasm_compile_test(); address += 1; end + address -= 4; + if (found_value !== expected_value) begin $display("error: expected h%x at h%x, but got h%x", expected_value, address, found_value); |