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