Index: src/trusted/validator_x86/testdata/32/foof-bug.test |
diff --git a/src/trusted/validator_x86/testdata/32/foof-bug.test b/src/trusted/validator_x86/testdata/32/foof-bug.test |
deleted file mode 100644 |
index a3c0b4f3f60c62d1725ab9fa0d9fc8b5525f511f..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/32/foof-bug.test |
+++ /dev/null |
@@ -1,14 +0,0 @@ |
-@hex: |
- # Test how we handle the F00F bug |
- # (http://en.wikipedia.org/wiki/Pentium_F00F_bug). |
- f0 0f c7 c8 |
-@nval: |
- VALIDATOR: 0: Illegal instruction |
- *** <input> IS UNSAFE *** |
-@dis: |
- 00000000: f0 0f c7 c8 invalid |
-@vdis: |
- 0: f0 0f c7 c8 cmpxchg8b %ecx |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- return code: 1 |