diff options
Diffstat (limited to 'testsuite/gna/ticket19/psl_test_cover3.vhd')
| -rw-r--r-- | testsuite/gna/ticket19/psl_test_cover3.vhd | 2 |
1 files changed, 1 insertions, 1 deletions
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; |