| 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
|
|
|