(abandoned) Validator tests: convert hexes to TFs and run on bots (for prod. validator only)

src/trusted/validator/x86/testing/tf/converted/32/direct-cond-jump-16.tf

Index: src/trusted/validator/x86/testing/tf/converted/32/direct-cond-jump-16.tf
diff --git a/src/trusted/validator/x86/testing/tf/converted/32/direct-cond-jump-16.tf b/src/trusted/validator/x86/testing/tf/converted/32/direct-cond-jump-16.tf
new file mode 100644
index 0000000000000000000000000000000000000000..0cec5c49ee8c45d51cae0f67402fbd06b441d1f5
--- /dev/null
+++ b/src/trusted/validator/x86/testing/tf/converted/32/direct-cond-jump-16.tf
@@ -0,0 +1,16 @@
+BITS: 32
+OUTCOME: invalid
+
+# This file tests how we handle a 16-bit conditional direct jump. In particular,
+# it tests whether we actually disallow prefix 66 on direct jumps.
+#
+# Define direct (16-bit) conditional jump, which NaCl doesn't allow
+hex: 66 0f 84 05 00
+nc_out: Undefined instruction
+
+
+# Padding in case the parser of the previous instruction recognizes
+# the wrong byte length for the jump constant.
+asm: nop; nop
+hex: 90 90
+