From 7a71af5845b0789d2a8169336d0e07a4c27beb1d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 15 Mar 2023 07:47:24 +0100
Subject: testsuite: add a test for #2392

---
 testsuite/ghdl-issues/issue2392/async_test.sby | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 testsuite/ghdl-issues/issue2392/async_test.sby

(limited to 'testsuite/ghdl-issues/issue2392/async_test.sby')

diff --git a/testsuite/ghdl-issues/issue2392/async_test.sby b/testsuite/ghdl-issues/issue2392/async_test.sby
new file mode 100644
index 0000000..734ed90
--- /dev/null
+++ b/testsuite/ghdl-issues/issue2392/async_test.sby
@@ -0,0 +1,22 @@
+[tasks]
+prove
+bmc
+cover
+
+[options]
+bmc: mode bmc
+cover: mode cover
+prove: mode bmc
+depth 50
+
+[engines]
+smtbmc z3
+
+[script]
+ghdl --std=08 dut.vhdl tb_dut.vhdl -e tb_dut
+prep -top tb_dut
+
+[files]
+dut.vhdl
+tb_dut.vhdl
+
-- 
cgit v1.2.3