diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-02-13 18:03:20 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-02-14 13:52:34 +0100 |
| commit | 32d422d2f5d002354aeaf111ce484b6665a5c9d5 (patch) | |
| tree | 6c9cb25eca0e42366706aaaec126595182940c23 /testsuite/gna/ticket19 | |
| parent | ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520 (diff) | |
| download | ghdl-32d422d2f5d002354aeaf111ce484b6665a5c9d5.tar.gz ghdl-32d422d2f5d002354aeaf111ce484b6665a5c9d5.tar.bz2 ghdl-32d422d2f5d002354aeaf111ce484b6665a5c9d5.zip | |
Rewrite cover tests.
Diffstat (limited to 'testsuite/gna/ticket19')
| -rw-r--r-- | testsuite/gna/ticket19/psl_test_cover.vhd | 2 | ||||
| -rw-r--r-- | testsuite/gna/ticket19/psl_test_cover2.vhd | 2 | ||||
| -rw-r--r-- | testsuite/gna/ticket19/psl_test_cover3.vhd | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/gna/ticket19/psl_test_cover.vhd b/testsuite/gna/ticket19/psl_test_cover.vhd index 9fa73ec05..821529248 100644 --- a/testsuite/gna/ticket19/psl_test_cover.vhd +++ b/testsuite/gna/ticket19/psl_test_cover.vhd @@ -47,7 +47,7 @@ begin -- psl default clock is rising_edge(s_clk); -- cover directive seems not supported (ignored by GHDL) - -- psl cover always (s_write -> not(s_read)); + -- psl cover { s_write ; not(s_read)}; end architecture test; diff --git a/testsuite/gna/ticket19/psl_test_cover2.vhd b/testsuite/gna/ticket19/psl_test_cover2.vhd index 000657d4c..5858e5168 100644 --- a/testsuite/gna/ticket19/psl_test_cover2.vhd +++ b/testsuite/gna/ticket19/psl_test_cover2.vhd @@ -54,7 +54,7 @@ begin -- psl default clock is rising_edge(s_clk); -- cover directive seems not supported (ignored by GHDL) - -- psl cover always (s_write -> not(s_read)); + -- psl cover {s_write ; not(s_read)}; end architecture test; diff --git a/testsuite/gna/ticket19/psl_test_cover3.vhd b/testsuite/gna/ticket19/psl_test_cover3.vhd index 260a47965..bf4a4ef64 100644 --- a/testsuite/gna/ticket19/psl_test_cover3.vhd +++ b/testsuite/gna/ticket19/psl_test_cover3.vhd @@ -47,7 +47,7 @@ begin -- psl default clock is rising_edge(s_clk); -- cover directive seems not supported (ignored by GHDL) - -- psl cover always (s_write -> not(s_read)); + -- psl cover { s_write ; not(s_read)}; end architecture test; |