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