From 4c08c5cbb898d8e14ee915cb667416c8c0b45050 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 7 Nov 2019 06:58:01 +0100
Subject: Add testcase for #65

---
 testsuite/issues/issue65/latch3.vhdl  | 20 ++++++++++++++++++++
 testsuite/issues/issue65/testsuite.sh |  9 +++++++++
 testsuite/issues/issue68/testsuite.sh |  1 +
 3 files changed, 30 insertions(+)
 create mode 100644 testsuite/issues/issue65/latch3.vhdl
 create mode 100755 testsuite/issues/issue65/testsuite.sh

(limited to 'testsuite/issues')

diff --git a/testsuite/issues/issue65/latch3.vhdl b/testsuite/issues/issue65/latch3.vhdl
new file mode 100644
index 0000000..e4518fe
--- /dev/null
+++ b/testsuite/issues/issue65/latch3.vhdl
@@ -0,0 +1,20 @@
+library ieee;
+use ieee.std_logic_1164.all;
+
+entity latch is
+  port (
+    signal clk          : in std_logic;
+    signal data         : in std_logic
+    );
+end entity;
+
+
+
+architecture rtl of latch is
+  signal other         : std_logic := '0';        
+begin
+  
+  default clock is rising_edge(clk);
+  assert always {true}
+    |=> next (data = other);  
+end architecture;
diff --git a/testsuite/issues/issue65/testsuite.sh b/testsuite/issues/issue65/testsuite.sh
new file mode 100755
index 0000000..65eb2b6
--- /dev/null
+++ b/testsuite/issues/issue65/testsuite.sh
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+topdir=../..
+. $topdir/testenv.sh
+
+synth_import --std=08 latch3.vhdl -e
+
+clean
+echo OK
diff --git a/testsuite/issues/issue68/testsuite.sh b/testsuite/issues/issue68/testsuite.sh
index 7c3a75a..916c10a 100755
--- a/testsuite/issues/issue68/testsuite.sh
+++ b/testsuite/issues/issue68/testsuite.sh
@@ -6,3 +6,4 @@ topdir=../..
 synth_ice40 "demux.vhdl -e"
 
 clean
+echo OK
-- 
cgit v1.2.3