| Index: src/trusted/validator_x86/testdata/64/test_insts.test
 | 
| diff --git a/src/trusted/validator_x86/testdata/64/test_insts.test b/src/trusted/validator_x86/testdata/64/test_insts.test
 | 
| deleted file mode 100644
 | 
| index 3c8a9b61e126b32a0b69f83a3ca8321703d7101d..0000000000000000000000000000000000000000
 | 
| --- a/src/trusted/validator_x86/testdata/64/test_insts.test
 | 
| +++ /dev/null
 | 
| @@ -1,23 +0,0 @@
 | 
| -@hex:
 | 
| -  # This is an example of a code segment that begins at address 0.
 | 
| -  b8 88 77 66 55 41 b8 44 33 22 11
 | 
| -  66 b8 88 77 a0 88 77 66 55 44 33 22 11
 | 
| -@rval:
 | 
| -  VALIDATOR: 000000000000000f: a0 88 77 66 55 44 33 22 11                   mov %al, [0x1122334455667788]
 | 
| -  VALIDATOR: ERROR: No base register specified in memory offset
 | 
| -  VALIDATOR: Checking jump targets: 0 to 18
 | 
| -  VALIDATOR: Checking that basic blocks are aligned
 | 
| -  *** <input> IS UNSAFE ***
 | 
| -@dis:
 | 
| -  0000000000000000: b8 88 77 66 55                               mov %eax, 0x55667788
 | 
| -  0000000000000005: 41 b8 44 33 22 11                            mov %r8d, 0x11223344
 | 
| -  000000000000000b: 66 b8 88 77                                  mov %ax, 0x7788
 | 
| -  000000000000000f: a0 88 77 66 55 44 33 22 11                   mov %al, [0x1122334455667788]
 | 
| -@vdis:
 | 
| -  0000000000000000: b8 88 77 66 55                               mov %eax, 0x55667788
 | 
| -  0000000000000005: 41 b8 44 33 22 11                            mov %r8d, 0x11223344
 | 
| -  000000000000000b: 66 b8 88 77                                  mov %ax, 0x7788
 | 
| -  000000000000000f: a0 88 77 66 55 44 33 22 11                   mov %al, [0x1122334455667788]
 | 
| -@rdfa_output:
 | 
| -  f: [0] unrecognized instruction
 | 
| -  return code: 1
 | 
| 
 |