From 642c8abe2155fad9ce0d5ba830d603270b24f55d Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 21 Oct 2019 20:31:47 +0200
Subject: synth: generate cover for assertion precedent.

---
 src/synth/netlists-builders.ads | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/synth/netlists-builders.ads')

diff --git a/src/synth/netlists-builders.ads b/src/synth/netlists-builders.ads
index 4a76e5b52..2d177653b 100644
--- a/src/synth/netlists-builders.ads
+++ b/src/synth/netlists-builders.ads
@@ -168,6 +168,8 @@ package Netlists.Builders is
                          return Instance;
    function Build_Cover (Ctxt : Context_Acc; Name : Sname; Cond : Net)
                         return Instance;
+   function Build_Assert_Cover (Ctxt : Context_Acc; Name : Sname; Cond : Net)
+                         return Instance;
 
    --  A simple flip-flop.
    function Build_Dff (Ctxt : Context_Acc;
@@ -233,5 +235,6 @@ private
       M_Assert : Module;
       M_Assume : Module;
       M_Cover : Module;
+      M_Assert_Cover : Module;
    end record;
 end Netlists.Builders;
-- 
cgit v1.2.3