1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/gna/issue256/testcase_testbench.vhd b/testsuite/gna/issue256/testcase_testbench.vhd
new file mode 100644
index 000000000..ef8a7bdff
--- /dev/null
+++ b/testsuite/gna/issue256/testcase_testbench.vhd
@@ -0,0 +1,26 @@
+entity testcase_testbench is
+end entity testcase_testbench;
+
+architecture bench of testcase_testbench is
+    signal clk: bit;
+begin
+    dut: entity work.testcase(empty) port map(clk => clk);
+
+    stimulus: process is
+    begin
+        -- Valid low and high pulses
+        clk <= '0';
+        wait for 10 ns;
+        clk <= '1';
+        wait for 10 ns;
+        -- Confirm that we're timing events, not transactions
+        clk <= '1';
+        wait for 5 ns;
+        -- Now send a short pulse to make the assertion fire        
+        clk <= '0';
+        wait for 5 ns;
+        -- Assertion should fire here, at 30ns
+        clk <= '1';
+        wait;
+    end process stimulus;
+end architecture bench;