Index: src/trusted/validator_x86/testdata/32/test_insts.test |
diff --git a/src/trusted/validator_x86/testdata/32/test_insts.test b/src/trusted/validator_x86/testdata/32/test_insts.test |
deleted file mode 100644 |
index 23cefed8b8b0210b5ab6072f16739a32864732bb..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/32/test_insts.test |
+++ /dev/null |
@@ -1,29 +0,0 @@ |
-@hex: |
- # Test sample x86 32-bit instructions. |
- # push %ebp |
- # lea %esi, %ds[%esi+%esp*1] |
- # mov %eax, 0x55667788 |
- # mov %ax, 0x7788 |
- # mov %al, [0x11223344] |
- |
- 55 |
- 8d 74 26 00 |
- b8 88 77 66 55 |
- 66 b8 88 77 |
- a0 44 33 22 11 |
-@nval: |
- *** <input> is safe *** |
-@dis: |
- 00000000: 55 push %ebp |
- 00000001: 8d 74 26 00 lea %esi, %ds:[%esi+%esp*1] |
- 00000005: b8 88 77 66 55 mov %eax, 0x55667788 |
- 0000000a: 66 b8 88 77 mov %ax, 0x7788 |
- 0000000e: a0 44 33 22 11 mov %al, [0x11223344] |
-@vdis: |
- 0: 55 push %ebp |
- 1: 8d 74 26 00 lea %esi, 0x0[%esi] |
- 5: b8 88 77 66 55 mov %eax, 0x55667788 |
- a: 66 b8 88 77 mov %eax, 0x7788 |
- e: a0 44 33 22 11 mov %al, [0x11223344] |
-@rdfa_output: |
- return code: 0 |