Index: src/trusted/validator_arm/testdata-thumb/test_external_jumps.err |
diff --git a/src/trusted/validator_arm/testdata-thumb/test_external_jumps.err b/src/trusted/validator_arm/testdata-thumb/test_external_jumps.err |
new file mode 100644 |
index 0000000000000000000000000000000000000000..4b1db357c8ca111a0c842f5303daf22ccd3d58c2 |
--- /dev/null |
+++ b/src/trusted/validator_arm/testdata-thumb/test_external_jumps.err |
@@ -0,0 +1,7 @@ |
+ncval: 0001000F 6 kProblemBranchInvalidDest FFFF000E |
+ncval: 00010013 6 kProblemBranchInvalidDest FFFF000A |
+ncval: 0001001B 6 kProblemBranchInvalidDest 00008C12 |
+ncval: 0001002B 6 kProblemBranchInvalidDest 0000F00A |
+ncval: 00010033 6 kProblemBranchInvalidDest 00011012 |
+ncval: 0001003B 6 kProblemBranchInvalidDest 00110012 |
+ncval: 00010043 6 kProblemBranchInvalidDest 00000012 |