1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/synth/issue1231/top2.vhdl b/testsuite/synth/issue1231/top2.vhdl
new file mode 100644
index 000000000..9779c31d9
--- /dev/null
+++ b/testsuite/synth/issue1231/top2.vhdl
@@ -0,0 +1,16 @@
+
+entity top2 is
+  generic (
+    ok : boolean := false
+    );
+    port (
+        clk : in bit;
+        inp : in bit;
+        outp : out bit);
+end;
+
+architecture beh of top2 is
+begin
+  assert ok report "my assert message";
+  outp <= inp;
+end beh;