aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/gna/issue295/repro.vhdl2
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;