diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-28 22:51:32 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-28 22:51:32 -0700 |
commit | 6b1085d784e3773ad9ccbae5bd6b158c97095edc (patch) | |
tree | ea5d62ee2b120b474a74caaa29af07d31cf35c12 /Source/DafnyServer | |
parent | 677619075af8ef30793a2a2e078a764b21be5913 (diff) |
Align the server's default kill time with the one of the VS extension
Diffstat (limited to 'Source/DafnyServer')
-rw-r--r-- | Source/DafnyServer/Utilities.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs index 5e2c6f96..30d779e7 100644 --- a/Source/DafnyServer/Utilities.cs +++ b/Source/DafnyServer/Utilities.cs @@ -45,7 +45,7 @@ namespace Microsoft.Dafny { internal static void ApplyArgs(string[] args, ErrorReporter reporter) {
Dafny.DafnyOptions.Install(new Dafny.DafnyOptions(reporter));
- Dafny.DafnyOptions.O.ProverKillTime = 15; //This is just a default; it can be overriden
+ Dafny.DafnyOptions.O.ProverKillTime = 10; //This is just a default; it can be overriden
if (CommandLineOptions.Clo.Parse(args)) {
DafnyOptions.O.VerifySnapshots = 2; // Use caching
|