Index: src/trusted/validator_ragel/unreviewed/golden/direct-jump-16.val.ref |
diff --git a/src/trusted/validator_ragel/unreviewed/golden/direct-jump-16.val.ref b/src/trusted/validator_ragel/unreviewed/golden/direct-jump-16.val.ref |
new file mode 100644 |
index 0000000000000000000000000000000000000000..5f1066a67747c0d4658c110dff29847ff035a652 |
--- /dev/null |
+++ b/src/trusted/validator_ragel/unreviewed/golden/direct-jump-16.val.ref |
@@ -0,0 +1,3 @@ |
+offset 0x0: validation error |
+offset 0x2: validation error |
+offset 0x3: validation error |