PVM tests v0.3: remove tests which expose gas precharging

Author: koute

pvm/README.md

@@ -1,4 +1,4 @@
-# PVM Test Vectors, version 0.1
+# PVM Test Vectors, version 0.3
 
 ## How to use this
 
@@ -24,6 +24,13 @@ See [TESTCASES.md](./TESTCASES.md) for a human-readable index of all of the test
 
 ## Changelog
 
+### v0.3
+
+   * Removed tests which were testing gas behavior that is not yet described in the GP:
+        - `inst_load_u8_trap.json`,
+        - `inst_store_u8_trap_inaccessible`
+        - `inst_store_u8_trap_read_only`
+
 ### v0.2
 
    * Bitmask paddings are now filled with zeros, in alignment with the GP.

pvm/TESTCASES.md

@@ -1594,21 +1594,6 @@ Final value of the program counter: 5
 Gas consumed: 10000 -> 9998
 
 
-## inst_load_u8_trap
-
-```
-      :                          @0
-     0: 3c 07 00 00 02           r7 = u8 [0x20000]
-     5:                          invalid
-```
-
-Program should end with: trap
-
-Final value of the program counter: 0
-
-Gas consumed: 10000 -> 9998
-
-
 ## inst_move_reg
 
 Initial non-zero registers:
@@ -2554,45 +2539,6 @@ Final value of the program counter: 5
 Gas consumed: 10000 -> 9998
 
 
-## inst_store_u8_trap_inaccessible
-
-Initial non-zero registers:
-   * r7 = 0x12345678
-
-```
-      :                          @0
-     0: 47 07 00 00 02           u8 [0x20000] = r7
-     5:                          invalid
-```
-
-Program should end with: trap
-
-Final value of the program counter: 0
-
-Gas consumed: 10000 -> 9998
-
-
-## inst_store_u8_trap_read_only
-
-Initial page map:
-   * RO: 0x10000-0x11000 (0x1000 bytes)
-
-Initial non-zero registers:
-   * r7 = 0x12345678
-
-```
-      :                          @0
-     0: 47 07 00 00 01           u8 [0x10000] = r7
-     5:                          invalid
-```
-
-Program should end with: trap
-
-Final value of the program counter: 0
-
-Gas consumed: 10000 -> 9998
-
-
 ## inst_sub
 
 Initial non-zero registers: