diff options
Diffstat (limited to 'testsuite/synth/psl01/hello.vhdl')
| -rw-r--r-- | testsuite/synth/psl01/hello.vhdl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/synth/psl01/hello.vhdl b/testsuite/synth/psl01/hello.vhdl index 6676b883a..325f7f078 100644 --- a/testsuite/synth/psl01/hello.vhdl +++ b/testsuite/synth/psl01/hello.vhdl @@ -26,4 +26,5 @@ begin --psl restrict {rst; (not rst)[*]}; --psl assert always val /= 5 abort rst; --psl assume always val < 10; + --psl cover {val = 10}; end behav; |