diff options
| author |  MichalMoskal <unknown> | 2011-02-23 01:50:58 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-23 01:50:58 +0000 |
| commit | 39f92cc78889a2f4748c89a91ce7680fc87d0fd4 (patch) | |
| tree | 9bf3877f36ce1c961a09205278c0e2ad0b32b58a /Source/Provers/SMTLib/Z3.cs | |
| parent | 6053744449aacb657f91fa10981f14f049357946 (diff) | |
Set SOFT_TIMEOUT Z3 option if desired (SMT2 doesn't have :time-limit option!)
Diffstat (limited to 'Source/Provers/SMTLib/Z3.cs')
| -rw-r--r-- | Source/Provers/SMTLib/Z3.cs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/Z3.cs b/Source/Provers/SMTLib/Z3.cs index 80a220cb..74af2b84 100644 --- a/Source/Provers/SMTLib/Z3.cs +++ b/Source/Provers/SMTLib/Z3.cs @@ -157,6 +157,9 @@ namespace Microsoft.Boogie.SMTLib options.AddWeakSmtOption("WARNING", "false");
}
+ if (options.TimeLimit > 0)
+ options.AddWeakSmtOption("SOFT_TIMEOUT", options.TimeLimit.ToString());
+
// legacy option handling
foreach (string opt in CommandLineOptions.Clo.Z3Options) {
Contract.Assert(opt != null);
|