Index: src/trusted/validator_ragel/unreviewed/golden/stack_regs.val.ref |
diff --git a/src/trusted/validator_ragel/unreviewed/golden/stack_regs.val.ref b/src/trusted/validator_ragel/unreviewed/golden/stack_regs.val.ref |
new file mode 100644 |
index 0000000000000000000000000000000000000000..c77ffa482898fa929334b6e5953103bd0df8c436 |
--- /dev/null |
+++ b/src/trusted/validator_ragel/unreviewed/golden/stack_regs.val.ref |
@@ -0,0 +1,7 @@ |
+offset 0x0: validation error |
+offset 0x3: validation error |
+offset 0xc: validation error |
+offset 0xe: validation error |
+offset 0x1f: crosses boundary |
+offset 0x21: validation error |
+offset 0x27: validation error |