From 8cb58b6d252084371ef6901acb67b5b706f7d504 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 22 Oct 2019 07:21:12 +0200
Subject: Handle Id_Cover_Assert

---
 src/ghdl.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

diff --git a/src/ghdl.cc b/src/ghdl.cc
index d0c3c35..01da606 100644
--- a/src/ghdl.cc
+++ b/src/ghdl.cc
@@ -466,6 +466,7 @@ static void import_module(RTLIL::Design *design, GhdlSynth::Module m)
                 case Id_Assert:  // No output
                 case Id_Assume:  // No output
                 case Id_Cover:  // No output
+		case Id_Assert_Cover:  // No output
                 case Id_User_None:
 			for (Port_Idx idx = 0; idx < get_nbr_outputs(im); idx++) {
 				Net o = get_output(inst, idx);
@@ -682,6 +683,7 @@ static void import_module(RTLIL::Design *design, GhdlSynth::Module m)
 			module->addAssume(to_str(iname), IN(0), State::S1);
 			break;
 		case Id_Cover:
+		case Id_Assert_Cover:
 			module->addCover(to_str(iname), IN(0), State::S1);
 			break;
 		case Id_Memory:
-- 
cgit v1.2.3