Index: src/trusted/validator_ragel/unreviewed/golden/fpu.val.ref |
diff --git a/src/trusted/validator_ragel/unreviewed/golden/fpu.val.ref b/src/trusted/validator_ragel/unreviewed/golden/fpu.val.ref |
new file mode 100644 |
index 0000000000000000000000000000000000000000..076d487c5e5551d44b6c4cf58ab5cc8efb8845c8 |
--- /dev/null |
+++ b/src/trusted/validator_ragel/unreviewed/golden/fpu.val.ref |
@@ -0,0 +1,3 @@ |
+offset 0x1e: crosses boundary |
+offset 0x3e: crosses boundary |
+offset 0x5e: crosses boundary |