diff options
Diffstat (limited to 'testsuite/gna/issue880')
| -rw-r--r-- | testsuite/gna/issue880/psl.ref | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/gna/issue880/psl.ref b/testsuite/gna/issue880/psl.ref index 5fd471f5d..e15e47de0 100644 --- a/testsuite/gna/issue880/psl.ref +++ b/testsuite/gna/issue880/psl.ref @@ -3,19 +3,22 @@ "name": ".psl(behav).a1", "file": "psl.vhdl", "line": 27, - "count": 0, + "finished-count": 0, + "started-count": 8, "status": "passed"}, { "directive": "assumption", "name": ".psl(behav).a2", "file": "psl.vhdl", "line": 28, - "count": 0, + "finished-count": 0, + "started-count": 8, "status": "passed"}, { "directive": "cover", "name": ".psl(behav).c1", "file": "psl.vhdl", "line": 29, - "count": 3, + "finished-count": 3, + "started-count": 8, "status": "covered"}], "summary" : { "assert": 0, |