Fixes and refill tests

ethereum · Aug 17, 2023 · ab01213 · ab01213
1 parent 90775c9
commit ab01213
Show file tree

Hide file tree

Showing 7 changed files with 109 additions and 167 deletions.
diff --git a/EOFTests/EIP4200/validInvalid.json b/EOFTests/EIP4200/validInvalid.json
diff --git a/EOFTests/EIP4750/validInvalid.json b/EOFTests/EIP4750/validInvalid.json
@@ -2,13 +2,13 @@
     "validInvalid" : {
         "_info" : {
             "comment" : "Test various examples to see if they are valid or invalid.\nImplements\n  EOF1V4750_0001 (Valid) EOF code containing single type section\n  EOF1V4750_0002 (Valid) EOF code containing single type section and data section\n  EOF1V4750_0003 (Valid) EOF code containing multiple type/code sections\n  EOF1V4750_0004 (Valid) EOF code containing multiple type/code sections and data section\n  EOF1V4750_0005 (Valid) EOF code containing multiple type/code sections, no void I/O types\n  EOF1V4750_0006 (Valid) EOF code containing multiple type/code sections, no void I/O types, containing data section\n  EOF1V4750_0007 (Valid) EOF code containing RETF as terminating instruction\n  EOF1V4750_0008 (Valid) EOF code containing RETF as terminating instruction, containing data section\n  EOF1V4750_0009 (Valid) EOF code containing the maximum number of code sections\n  EOF1V4750_0010 (Valid) EOF code containing the maximum number of code sections and data section\n  EOF1I4750_0001 (Invalid) EOF code missing mandatory type section\n  EOF1I4750_0002 (Invalid) EOF code containing multiple type headers\n  EOF1I4750_0003 (Invalid) EOF code containing type section size (Size 1)\n  EOF1I4750_0004 (Invalid) EOF code containing type section size (Size 8 - 1 Code section)\n  EOF1I4750_0005 (Invalid) EOF code containing type section size (Size 8 - 3 Code sections)\n  EOF1I4750_0006 (Invalid) EOF code containing invalid section type (1,0) (First section having a type different than (0,0))\n  EOF1I4750_0007 (Invalid) EOF code containing invalid section type (0,1) (First section having a type different than (0,0))\n  EOF1I4750_0008 (Invalid) EOF code containing invalid section type (2,3) (First section having a type different than (0,0))\n  EOF1V4750_0011 (Invalid) EOF code containing too many code sections\n  EOF1I4750_0009 (Invalid) EOF code containing CALLF to a non existing code section\n  EOF1I4750_0010 (Invalid) EOF code containing truncated CALLF\n  EOF1I4750_0011 (Invalid) EOF code containing deprecated instruction (JUMP)\n  EOF1I4750_0012 (Invalid) EOF code containing deprecated instruction (JUMPI)\n  EOF1I4750_0013 (Invalid) EOF code containing deprecated instruction (PC)\n  EOF1I4750_0014 (Invalid) EOF code containing call to functions without required stack specified in type section\n  EOF1I4750_0015 (Invalid) EOF code containing call to functions without required stack NOT specified in type section\n  EOF1I4750_0016 (Invalid) EOF code containing function trying to return more items than specified in type section\n  EOF1I4750_0017 (Invalid) EOF code containing function exceeding max stack items\n  EOF1I4750_0018 (Invalid) EOF code containing function which max stack height causes to exceed max stack items (stack overflow)\n",
-            "filling-rpc-server" : "evmone-t8n 0.11.0-dev+commit.cf827ae2.dirty",
+            "filling-rpc-server" : "evmone-t8n 0.11.0-dev+commit.5b524c94",
             "filling-tool-version" : "retesteth-0.3.1-shanghai+commit.acfdfad0.Linux.g++",
             "generatedTestHash" : "3cd438dae9fb8bee5bda0363a042b6d7a7e4f24a01e5e447c8e5ca92f69745db",
             "lllcversion" : "Version: 0.5.14-develop.2022.4.6+commit.401d5358.Linux.g++",
             "solidity" : "Version: 0.8.18-develop.2023.1.16+commit.469d6d4d.Linux.g++",
             "source" : "src/EOFTestsFiller/EIP4750/validInvalidFiller.yml",
-            "sourceHash" : "a9ecfcd71347e4e3a3e598742f2dc644fac6ec8de532ad8e7d130164ee98a1a3"
+            "sourceHash" : "8f112dff591df648e450070d2cb331cb7d42d985c776c7550e42afa78e5e2cfd"
         },
         "vectors" : {
             "validInvalid_0" : {