diff options
| author | Ondrej Ille <ondrej.ille@gmail.com> | 2021-04-07 13:31:07 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-04-08 20:22:42 +0200 |
| commit | 4a07af44a52c4299eee6547a9e2862da231753c3 (patch) | |
| tree | 0ec8e7606551dfc0e0e41a1e4f26f93c8471335f | |
| parent | 32610986dde102e695c2f4f752f925d61f277f12 (diff) | |
| download | ghdl-4a07af44a52c4299eee6547a9e2862da231753c3.tar.gz ghdl-4a07af44a52c4299eee6547a9e2862da231753c3.tar.bz2 ghdl-4a07af44a52c4299eee6547a9e2862da231753c3.zip | |
testsuite: Adjust regression for new format of PSL report.
| -rw-r--r-- | testsuite/gna/issue880/psl.ref | 9 | ||||
| -rw-r--r-- | testsuite/gna/ticket24/psl.ref | 9 |
2 files changed, 12 insertions, 6 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, 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, |