diff options
Diffstat (limited to 'testsuite/gna/bug097/tb.vhdl')
-rw-r--r-- | testsuite/gna/bug097/tb.vhdl | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/gna/bug097/tb.vhdl b/testsuite/gna/bug097/tb.vhdl new file mode 100644 index 000000000..d58580da8 --- /dev/null +++ b/testsuite/gna/bug097/tb.vhdl @@ -0,0 +1,14 @@ +entity tb is +end tb; + +architecture behav of tb is + function get_rand return integer; + attribute foreign of get_rand: function is "VHPIDIRECT ./getrand.so get_rand"; + + function get_rand return integer is + begin + assert false severity failure; + end get_rand; +begin + assert get_rand >= 0 severity note; +end behav; |