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

src/trusted/validator_x86/testdata/32/test_insts.tf

Index: src/trusted/validator_x86/testdata/32/test_insts.tf
diff --git a/src/trusted/validator_x86/testdata/32/test_insts.hex b/src/trusted/validator_x86/testdata/32/test_insts.tf
similarity index 53%
copy from src/trusted/validator_x86/testdata/32/test_insts.hex
copy to src/trusted/validator_x86/testdata/32/test_insts.tf
index 373c2653db4a14a38d64db2e9883bf7da466af8a..360e21df0aaf9d6dc558736681db409ab440075a 100644
--- a/src/trusted/validator_x86/testdata/32/test_insts.hex
+++ b/src/trusted/validator_x86/testdata/32/test_insts.tf
@@ -1,3 +1,6 @@
+BITS: 32
+OUTCOME: valid
+
 # Test sample x86 32-bit instructions.
 #    push %ebp
 #    lea %esi, %ds[%esi+%esp*1]
@@ -5,5 +8,8 @@
 #    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
+hex: 55 8d 74 26 00 b8 88 77 66 55
+
+asm: mov    $0x7788,%ax; mov    0x11223344,%al
+hex: 66 b8 88 77 a0 44 33 22 11
+