| Index: src/trusted/validator_ragel/testdata/64/bsr-mask.test
|
| diff --git a/src/trusted/validator_ragel/testdata/64/bsr-mask.test b/src/trusted/validator_ragel/testdata/64/bsr-mask.test
|
| index b1649f20327326423d6804aa3394c29f21dbbf66..acb2297673c10adcc9ae266a9eca5a9c11542f23 100644
|
| --- a/src/trusted/validator_ragel/testdata/64/bsr-mask.test
|
| +++ b/src/trusted/validator_ragel/testdata/64/bsr-mask.test
|
| @@ -8,3 +8,5 @@
|
| @rdfa_output:
|
| 3: [0] improper memory address - bad index
|
| return code: 1
|
| +@spec:
|
| + 3: register %rax should be restricted, while in fact None is restricted
|
|
|