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