diff options
Diffstat (limited to 'testsuite/gna')
| -rw-r--r-- | testsuite/gna/issue613/t3.vhdl | 1 | ||||
| -rwxr-xr-x | testsuite/gna/issue613/testsuite.sh | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/gna/issue613/t3.vhdl b/testsuite/gna/issue613/t3.vhdl index 51105e379..0cb9902e8 100644 --- a/testsuite/gna/issue613/t3.vhdl +++ b/testsuite/gna/issue613/t3.vhdl @@ -4,4 +4,5 @@ end; architecture behav of t3 is constant t1 : time := ps; begin + assert time'pos(t1) = 1 severity failure; end behav; diff --git a/testsuite/gna/issue613/testsuite.sh b/testsuite/gna/issue613/testsuite.sh index 4fb7d0126..2b7c01f4f 100755 --- a/testsuite/gna/issue613/testsuite.sh +++ b/testsuite/gna/issue613/testsuite.sh @@ -18,6 +18,10 @@ else elab_simulate --time-resolution=auto ent + analyze t3.vhdl + elab_simulate --time-resolution=ps t3 + elab_simulate --time-resolution=auto t3 + analyze t87.vhdl elab_simulate --time-resolution=ps t87 elab_simulate --time-resolution=auto t87 |