diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-07-31 07:38:34 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-07-31 07:38:34 +0200 |
commit | 9efb27060dc5ca23493fb3d3aab6d455049a5790 (patch) | |
tree | 5b64e68246673b90f54cf01b6aa90bfa79e7b001 /src/synth/synth-flags.ads | |
parent | 5a5419cf64271dc3acfb84affd22c9f7cb4aaa46 (diff) | |
download | ghdl-9efb27060dc5ca23493fb3d3aab6d455049a5790.tar.gz ghdl-9efb27060dc5ca23493fb3d3aab6d455049a5790.tar.bz2 ghdl-9efb27060dc5ca23493fb3d3aab6d455049a5790.zip |
synth: add --no-assert-cover option. Fix #1414
Diffstat (limited to 'src/synth/synth-flags.ads')
-rw-r--r-- | src/synth/synth-flags.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads index f218f76fb..803e0d99d 100644 --- a/src/synth/synth-flags.ads +++ b/src/synth/synth-flags.ads @@ -72,5 +72,9 @@ package Synth.Flags is -- Synthesize PSL and assertions. Flag_Formal : Boolean := True; + -- If true, automatically add a cover on PSL asserts to know if the + -- asserted has been started. + Flag_Assert_Cover : Boolean := True; + Flag_Verbose : Boolean := False; end Synth.Flags; |