Index: src/trusted/validator_x86/testdata/32/x87.test |
diff --git a/src/trusted/validator_x86/testdata/32/x87.test b/src/trusted/validator_x86/testdata/32/x87.test |
deleted file mode 100644 |
index 4afc03aca009dc7b1c85ff7643e8ca918bc5467e..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/32/x87.test |
+++ /dev/null |
@@ -1,15 +0,0 @@ |
-@hex: |
- # Sample x87 instruction |
- # dc c1 fadd %st1, %st0 |
- dc c1 |
-@nval: |
- *** <input> is safe *** |
-@nval0: |
- Some instructions were replaced with HLTs. |
- *** <input> is safe *** |
-@dis: |
- 00000000: dc c1 fadd %st1, %st0 |
-@vdis: |
- 0: dc c1 fadd |
-@rdfa_output: |
- return code: 0 |