Index: src/trusted/validator_arm/testdata-thumb/test_internal_jumps.err |
diff --git a/src/trusted/validator_arm/testdata-thumb/test_internal_jumps.err b/src/trusted/validator_arm/testdata-thumb/test_internal_jumps.err |
new file mode 100644 |
index 0000000000000000000000000000000000000000..1c6e3e2afaf093b372d441da006f77c05c98a511 |
--- /dev/null |
+++ b/src/trusted/validator_arm/testdata-thumb/test_internal_jumps.err |
@@ -0,0 +1,6 @@ |
+ncval: 00010061 6 kProblemUnsafeBranch 00000000 |
+ncval: 00010075 6 kProblemUnsafeBranch 00000000 |
+ncval: 0001007B 6 kProblemUnsafeBranch 00000000 |
+ncval: 00010085 6 kProblemUnsafeBranch 00000000 |
+ncval: 00010016 6 kProblemBranchSplitsPattern 00010038 |
+ncval: 00010042 6 kProblemBranchSplitsPattern 00010038 |