Index: src/trusted/validator_ragel/unreviewed/golden/mov-lea-rbp-bad-5.val.ref |
diff --git a/src/trusted/validator_ragel/unreviewed/golden/mov-lea-rbp-bad-5.val.ref b/src/trusted/validator_ragel/unreviewed/golden/mov-lea-rbp-bad-5.val.ref |
new file mode 100644 |
index 0000000000000000000000000000000000000000..1a4844275d9e4d04cd821b0f98e3fea5d25c4058 |
--- /dev/null |
+++ b/src/trusted/validator_ragel/unreviewed/golden/mov-lea-rbp-bad-5.val.ref |
@@ -0,0 +1,2 @@ |
+offset 0x0: validation error |
+offset 0x3: validation error |