Index: src/trusted/validator_x86/testdata/64/direct-jump-32.test |
diff --git a/src/trusted/validator_x86/testdata/64/direct-jump-32.test b/src/trusted/validator_x86/testdata/64/direct-jump-32.test |
deleted file mode 100644 |
index 2b193ea3b0626bf1d22b7fdff3b4476d3a3fda8a..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/64/direct-jump-32.test |
+++ /dev/null |
@@ -1,19 +0,0 @@ |
-@hex: |
- # This file tests how we handle a 32-bit direct jumps. |
- # |
- # Define direct (32-bit) jump |
- e9 01 00 00 00 |
- |
- # Padding so that there is a valid target for the jump |
- 90 |
- 90 |
-@rval: |
- VALIDATOR: Checking jump targets: 0 to 7 |
- VALIDATOR: Checking that basic blocks are aligned |
- *** <input> is safe *** |
-@dis: |
- 0000000000000000: e9 01 00 00 00 jmp 0x6 |
- 0000000000000005: 90 nop |
- 0000000000000006: 90 nop |
-@rdfa_output: |
- return code: 0 |