diff options
Diffstat (limited to 'src/synth/synth-flags.ads')
| -rw-r--r-- | src/synth/synth-flags.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/synth/synth-flags.ads b/src/synth/synth-flags.ads index 803e0d99d..81f4fe82f 100644 --- a/src/synth/synth-flags.ads +++ b/src/synth/synth-flags.ads @@ -76,5 +76,11 @@ package Synth.Flags is -- asserted has been started. Flag_Assert_Cover : Boolean := True; + -- If true, treat all PSL assert directives like assume directives + Flag_Assert_As_Assume : Boolean := False; + + -- If true, treat all PSL assume directives like assert directives + Flag_Assume_As_Assert : Boolean := False; + Flag_Verbose : Boolean := False; end Synth.Flags; |