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