Index: src/trusted/validator_x86/testdata/64/valid_base_only.tf |
diff --git a/src/trusted/validator_x86/testdata/64/valid_base_only.hex b/src/trusted/validator_x86/testdata/64/valid_base_only.tf |
similarity index 54% |
copy from src/trusted/validator_x86/testdata/64/valid_base_only.hex |
copy to src/trusted/validator_x86/testdata/64/valid_base_only.tf |
index 20983ce15b76d22a99fc935254c8a00af407aed9..5971f5247fd516147e35f403f0d8155f21341039 100644 |
--- a/src/trusted/validator_x86/testdata/64/valid_base_only.hex |
+++ b/src/trusted/validator_x86/testdata/64/valid_base_only.tf |
@@ -1,4 +1,9 @@ |
+BITS: 64 |
+OUTCOME: valid |
+ |
# Example of a valid store which only uses a base register. |
# mov [%rsp+0x36], %rax |
-48 89 44 24 36 |
+asm: mov %rax,0x36(%rsp) |
+hex: 48 89 44 24 36 |
+ |