Delete old x86 validator.

src/trusted/validator_x86/testdata/64/jmp0.test

Index: src/trusted/validator_x86/testdata/64/jmp0.test
diff --git a/src/trusted/validator_x86/testdata/64/jmp0.test b/src/trusted/validator_x86/testdata/64/jmp0.test
deleted file mode 100644
index 5fed9f4ccc688d3a94c5c7c2455dbe70ea2bfab3..0000000000000000000000000000000000000000
--- a/src/trusted/validator_x86/testdata/64/jmp0.test
+++ /dev/null
@@ -1,105 +0,0 @@
-@hex:
-  # Model a call to address zero, aligned to the end of a 32-byte block.
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  90
-  e9 20 fd fd ff
-@val:
-  VALIDATOR: Checking jump targets: 0 to 20
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rval:
-  VALIDATOR: Checking jump targets: 0 to 20
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@rvald:
-  VALIDATOR: Checking block alignment and jump targets: 0 to 20
-  *** <input> is safe ***
-@vd-rval:
-  VALIDATOR: Checking jump targets: 0 to 20
-  VALIDATOR: Checking that basic blocks are aligned
-  *** <input> is safe ***
-@dis:
-  0000000000000000: 90                                           nop
-  0000000000000001: 90                                           nop
-  0000000000000002: 90                                           nop
-  0000000000000003: 90                                           nop
-  0000000000000004: 90                                           nop
-  0000000000000005: 90                                           nop
-  0000000000000006: 90                                           nop
-  0000000000000007: 90                                           nop
-  0000000000000008: 90                                           nop
-  0000000000000009: 90                                           nop
-  000000000000000a: 90                                           nop
-  000000000000000b: 90                                           nop
-  000000000000000c: 90                                           nop
-  000000000000000d: 90                                           nop
-  000000000000000e: 90                                           nop
-  000000000000000f: 90                                           nop
-  0000000000000010: 90                                           nop
-  0000000000000011: 90                                           nop
-  0000000000000012: 90                                           nop
-  0000000000000013: 90                                           nop
-  0000000000000014: 90                                           nop
-  0000000000000015: 90                                           nop
-  0000000000000016: 90                                           nop
-  0000000000000017: 90                                           nop
-  0000000000000018: 90                                           nop
-  0000000000000019: 90                                           nop
-  000000000000001a: 90                                           nop
-  000000000000001b: e9 20 fd fd ff                               jmp 0xfffffffffffdfd40
-@vdis:
-  0000000000000000: 90                                           [P] dontcare
-  0000000000000001: 90                                           [P] dontcare
-  0000000000000002: 90                                           [P] dontcare
-  0000000000000003: 90                                           [P] dontcare
-  0000000000000004: 90                                           [P] dontcare
-  0000000000000005: 90                                           [P] dontcare
-  0000000000000006: 90                                           [P] dontcare
-  0000000000000007: 90                                           [P] dontcare
-  0000000000000008: 90                                           [P] dontcare
-  0000000000000009: 90                                           [P] dontcare
-  000000000000000a: 90                                           [P] dontcare
-  000000000000000b: 90                                           [P] dontcare
-  000000000000000c: 90                                           [P] dontcare
-  000000000000000d: 90                                           [P] dontcare
-  000000000000000e: 90                                           [P] dontcare
-  000000000000000f: 90                                           [P] dontcare
-  0000000000000010: 90                                           [P] dontcare
-  0000000000000011: 90                                           [P] dontcare
-  0000000000000012: 90                                           [P] dontcare
-  0000000000000013: 90                                           [P] dontcare
-  0000000000000014: 90                                           [P] dontcare
-  0000000000000015: 90                                           [P] dontcare
-  0000000000000016: 90                                           [P] dontcare
-  0000000000000017: 90                                           [P] dontcare
-  0000000000000018: 90                                           [P] dontcare
-  0000000000000019: 90                                           [P] dontcare
-  000000000000001a: 90                                           [P] dontcare
-  000000000000001b: e9 20 fd fd ff                               [P] dontcarejump %rip (s), 0xfffffffffffdfd40 (u)
-@rdfa_output:
-  return code: 0