diff options
| -rw-r--r-- | testsuite/gna/issue295/repro.vhdl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/gna/issue295/repro.vhdl b/testsuite/gna/issue295/repro.vhdl index d1b8b6cc4..ebcb8677b 100644 --- a/testsuite/gna/issue295/repro.vhdl +++ b/testsuite/gna/issue295/repro.vhdl @@ -9,6 +9,8 @@ begin assert 2.0**(-1024) > 0.0 report "This fails" severity note; assert 2.0**(-1024) = 0.0 report "This passes" severity failure; + assert (2.0**(-1023))/2 > 0.0 report "This fails" severity error; + wait; end process test_runner; end; |