Index: src/trusted/validator_x86/testdata/64/jump_overflow.tf |
diff --git a/src/trusted/validator_x86/testdata/64/jump_overflow.hex b/src/trusted/validator_x86/testdata/64/jump_overflow.tf |
similarity index 63% |
copy from src/trusted/validator_x86/testdata/64/jump_overflow.hex |
copy to src/trusted/validator_x86/testdata/64/jump_overflow.tf |
index 1b5f1affd93fe52ebe72cf82a7b21e6b4c60bb4f..eb32b712819235f4e42a434ecb85a6a5c041eb61 100644 |
--- a/src/trusted/validator_x86/testdata/64/jump_overflow.hex |
+++ b/src/trusted/validator_x86/testdata/64/jump_overflow.tf |
@@ -1,2 +1,6 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
# Jump forwards a long way, potentially outside of the sandbox's address space. |
-e9 fb ff ff 3f |
+hex: e9 fb ff ff 3f |
+ |