update failing test outputs

runtimeverification · Mar 19, 2024 · 4e4f4f0 · 4e4f4f0
1 parent 4af3ad2
commit 4e4f4f0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tests/failing/ContractCreationSpam_d0g0v0.json.expected b/tests/failing/ContractCreationSpam_d0g0v0.json.expected
@@ -54,7 +54,7 @@
           0
         </callValue>
         <wordStack>
-          .WordStack
+          .List
         </wordStack>
         <localMem>
           b""

diff --git a/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected b/tests/failing/static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected
@@ -54,7 +54,7 @@
           0
         </callValue>
         <wordStack>
-          .WordStack
+          .List
         </wordStack>
         <localMem>
           b""