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