diff options
Diffstat (limited to 'testsuite/gna/ticket24')
| -rw-r--r-- | testsuite/gna/ticket24/psl.ref | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/testsuite/gna/ticket24/psl.ref b/testsuite/gna/ticket24/psl.ref index 9cd8cdb35..94afc988f 100644 --- a/testsuite/gna/ticket24/psl.ref +++ b/testsuite/gna/ticket24/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": "assertion", "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": 2, |