Add more cases in ticket11.

1 files changed, 24 insertions, 0 deletions

diff --git a/testsuite/gna/ticket11/tb3.vhdl b/testsuite/gna/ticket11/tb3.vhdl
new file mode 100644
index 0000000..690c0ef
--- /dev/null
+++ b/testsuite/gna/ticket11/tb3.vhdl
@@ -0,0 +1,24 @@
+entity tb3 is
+end entity;
+
+architecture arch of tb3 is
+    signal s: integer := 0;
+begin
+    process is
+    begin
+        wait for 1 us;
+        s <= 1;
+        s <= reject 1 ns inertial 2 after 2 us;
+        assert s = 0;
+        wait on s;
+        report "s = " & integer'image(s);
+        assert s = 1 severity failure;
+        assert now = 1 us severity failure;
+        wait on s;
+        report "s = " & integer'image(s);
+        assert s = 2 severity failure;
+        assert now = 3 us severity failure;
+        wait;
+    end process;
+
+end architecture;