diff options
Diffstat (limited to 'testsuite/synth/psl01/hello.vhdl')
| -rw-r--r-- | testsuite/synth/psl01/hello.vhdl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/synth/psl01/hello.vhdl b/testsuite/synth/psl01/hello.vhdl index fcf517757..6f5e40735 100644 --- a/testsuite/synth/psl01/hello.vhdl +++ b/testsuite/synth/psl01/hello.vhdl @@ -24,5 +24,6 @@ begin --psl default clock is clk; --psl restrict {rst; (not rst)[*]}; - assert val /= 5 or rst = '1' severity error; + --psl assert always val /= 5 or rst = '1'; + --psl assume always val < 50; end behav; |