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..8f5ed860eab5dd42c4126f894dd81d2c96863969 |
--- /dev/null |
+++ b/src/trusted/validator_mips/testdata/test_read_only_regs.err |
@@ -0,0 +1,21 @@ |
+ncval: 00020000 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020004 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020008 2 kProblemReadOnlyRegister 00000000 |
+ncval: 0002000C 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020010 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020014 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020018 2 kProblemReadOnlyRegister 00000000 |
+ncval: 0002001C 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020020 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020024 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020028 2 kProblemReadOnlyRegister 00000000 |
+ncval: 0002002C 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020030 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020034 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020038 2 kProblemReadOnlyRegister 00000000 |
+ncval: 0002003C 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020040 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020044 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020048 2 kProblemReadOnlyRegister 00000000 |
+ncval: 0002004C 2 kProblemReadOnlyRegister 00000000 |
+ncval: 00020058 2 kProblemReadOnlyRegister 00000000 |