| 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
|
|
|