Skip to content

Commit fa6cf0a

Browse files
committed
PVM tests v0.2: inst_rem_signed_with_overflow: non-zero initial value of reg
1 parent fb4de8a commit fa6cf0a

File tree

2 files changed

+5
-1
lines changed

2 files changed

+5
-1
lines changed

pvm/TESTCASES.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1368,13 +1368,17 @@ Gas consumed: 10000 -> 9998
13681368
Initial non-zero registers:
13691369
* r7 = 0x80000000
13701370
* r8 = 0xffffffff
1371+
* r9 = 0xdeadbeef
13711372

13721373
```
13731374
: @0
13741375
0: 46 87 09 r9 = r7 %s r8
13751376
3: invalid
13761377
```
13771378

1379+
Registers after execution (only changed registers):
1380+
* r9 = 0x0 (initially was 0xdeadbeef)
1381+
13781382
Program should end with: trap
13791383

13801384
Final value of the program counter: 3

pvm/programs/inst_rem_signed_with_overflow.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
0,
1111
2147483648,
1212
4294967295,
13-
0,
13+
3735928559,
1414
0,
1515
0,
1616
0

0 commit comments

Comments
 (0)