This commit reworks the Viper pointer boundary tests in order to make them more accurate and easier to extend. The tests are now easier to reason about in their output, using easier to read values, and bit thresholds are now more configurable. If a new conditional code sequence is introduced, adding a new bit threshold is just a matter of adding a value into a tuple at the beginning of the relevant test file. Load tests have also been made more accurate, with better function templates to test register-indexed operations. Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
20 lines
260 B
Text
20 lines
260 B
Text
--- 5
|
|
0x1 0x102 0x10203
|
|
0x1020304
|
|
0x2030405
|
|
0x3040506
|
|
--- 8
|
|
0x4050607 0x5060708 0x6070809
|
|
0x708090a
|
|
0x8090a0b
|
|
0x90a0b0c
|
|
--- 11
|
|
0xa0b0c0d 0xb0c0d0e 0xc0d0e0f
|
|
0xd0e0f10
|
|
0xe0f1011
|
|
0xf101112
|
|
--- 12
|
|
0x10111213 0x11121314 0x12131415
|
|
0x13141516
|
|
0x14151617
|
|
0x15161718
|