Index: src/trusted/validator_x86/testdata/32/ret.test |
diff --git a/src/trusted/validator_x86/testdata/32/ret.test b/src/trusted/validator_x86/testdata/32/ret.test |
deleted file mode 100644 |
index 0ad461558cb53f34f764c89e70979c431cafe0c7..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/32/ret.test |
+++ /dev/null |
@@ -1,14 +0,0 @@ |
-@hex: |
- # Test that we don't allow the 'ret' instruction. |
- c3 |
-@nval: |
- VALIDATOR: 0: ret instruction (not allowed) |
- VALIDATOR: 0: Illegal instruction |
- *** <input> IS UNSAFE *** |
-@dis: |
- 00000000: c3 ret |
-@vdis: |
- 0: c3 ret |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- return code: 1 |