| Index: src/trusted/validator_x86/testdata/32/direct-jump-32.test
 | 
| diff --git a/src/trusted/validator_x86/testdata/32/direct-jump-32.test b/src/trusted/validator_x86/testdata/32/direct-jump-32.test
 | 
| deleted file mode 100644
 | 
| index 089743f29cd8c0d2d013e8d4b2b6f4829bfb0db4..0000000000000000000000000000000000000000
 | 
| --- a/src/trusted/validator_x86/testdata/32/direct-jump-32.test
 | 
| +++ /dev/null
 | 
| @@ -1,21 +0,0 @@
 | 
| -@hex:
 | 
| -  # This file tests how we handle a 32-bit direct jumps.
 | 
| -  #
 | 
| -  # Define direct (32-bit) jump
 | 
| -  e9 01 00 00 00
 | 
| -  
 | 
| -  # Padding so that there is a valid target for the jump
 | 
| -  90
 | 
| -  90
 | 
| -@nval:
 | 
| -  *** <input> is safe ***
 | 
| -@dis:
 | 
| -  00000000: e9 01 00 00 00                               jmp 0x6
 | 
| -  00000005: 90                                           nop
 | 
| -  00000006: 90                                           nop
 | 
| -@vdis:
 | 
| -   0:	e9 01 00 00 00      	jmp 0x6
 | 
| -   5:	90                  	nop
 | 
| -   6:	90                  	nop
 | 
| -@rdfa_output:
 | 
| -  return code: 0
 | 
| 
 |