diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-06-16 07:47:44 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-06-16 07:47:44 +0200 |
commit | 667ab51811b612da68524043874277e6484f3392 (patch) | |
tree | 09f3ab6f6013a5464c4b07b8a838b72208ed3e27 /src/synth/synth-flags.ads | |
parent | 57cf7923209710dd45870ae42d38581747f81e99 (diff) | |
download | ghdl-667ab51811b612da68524043874277e6484f3392.tar.gz ghdl-667ab51811b612da68524043874277e6484f3392.tar.bz2 ghdl-667ab51811b612da68524043874277e6484f3392.zip |
ghdlsynth: add --no-formal and help.
Diffstat (limited to 'src/synth/synth-flags.ads')
-rw-r--r-- | src/synth/synth-flags.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads index 0586ba58c..825cc946f 100644 --- a/src/synth/synth-flags.ads +++ b/src/synth/synth-flags.ads @@ -69,5 +69,8 @@ package Synth.Flags is -- Level at which an assert stop the simulation. Severity_Level : Integer := Grt.Severity.Error_Severity; + -- Synthesize PSL and assertions. + Flag_Formal : Boolean := True; + Flag_Verbose : Boolean := False; end Synth.Flags; |