Index: src/trusted/validator_mips/validation-report.py |
diff --git a/src/trusted/validator_mips/validation-report.py b/src/trusted/validator_mips/validation-report.py |
index cc7373dee3673d647e140f5e35f46ad9e66a98cd..34dc476bf93f89a2b16bb74ffaca1aa118872b61 100755 |
--- a/src/trusted/validator_mips/validation-report.py |
+++ b/src/trusted/validator_mips/validation-report.py |
@@ -73,6 +73,11 @@ def _problem_info(code): |
'kProblemDataRegInDelaySlot':['This instruction changes value of a ' |
'stack pointer but is located in the delay slot of jump/branch', |
1, 0], |
+ 'kProblemBranchInDelaySlot':['This instruction is a jump/branch ' |
+ 'instruction and it is located in a delay slot of the previous ' |
+ 'jump/branch instruction', |
+ 1, 0], |
+ |
}[code] |