Skip to content

Commit fb4de8a

Browse files
committed
PVM tests v0.2: inst_rem_signed: make output non-zero
1 parent 8659541 commit fb4de8a

File tree

2 files changed

+7
-4
lines changed

2 files changed

+7
-4
lines changed

pvm/TESTCASES.md

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1323,7 +1323,7 @@ Gas consumed: 10000 -> 9998
13231323
## inst_rem_signed
13241324

13251325
Initial non-zero registers:
1326-
* r7 = 0x80000010
1326+
* r7 = 0x80000011
13271327
* r8 = 0x7
13281328

13291329
```
@@ -1332,6 +1332,9 @@ Initial non-zero registers:
13321332
3: invalid
13331333
```
13341334

1335+
Registers after execution (only changed registers):
1336+
* r9 = 0xfffffffa (initially was 0x0)
1337+
13351338
Program should end with: trap
13361339

13371340
Final value of the program counter: 3

pvm/programs/inst_rem_signed.json

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
0,
99
0,
1010
0,
11-
2147483664,
11+
2147483665,
1212
7,
1313
0,
1414
0,
@@ -37,9 +37,9 @@
3737
0,
3838
0,
3939
0,
40-
2147483664,
40+
2147483665,
4141
7,
42-
0,
42+
4294967290,
4343
0,
4444
0,
4545
0

0 commit comments

Comments
 (0)