| Index: src/trusted/validator_mips/testdata/test_read_only_regs.err
|
| diff --git a/src/trusted/validator_mips/testdata/test_read_only_regs.err b/src/trusted/validator_mips/testdata/test_read_only_regs.err
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..307f027e5d19bd9e1743c01d0379f94630aba91a
|
| --- /dev/null
|
| +++ b/src/trusted/validator_mips/testdata/test_read_only_regs.err
|
| @@ -0,0 +1,21 @@
|
| +ncval: 00020000 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020004 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020008 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 0002000C 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020010 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020014 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020018 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 0002001C 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020020 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020024 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020028 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 0002002C 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020030 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020034 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020038 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 0002003C 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020040 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020044 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020048 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 0002004C 6 kProblemReadOnlyRegister 00000000
|
| +ncval: 00020058 6 kProblemReadOnlyRegister 00000000
|
|
|