diff options
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
|