diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-13 10:39:04 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-13 10:39:04 -0700 |
commit | 593cbcd63017c6a5fe4d50dda34a50637824dfd9 (patch) | |
tree | 9369e1a3ce7733ab37126665ebd3a049a4b44861 /Source/DafnyServer/Utilities.cs | |
parent | c978cd18f8dfba5bfac92af792041c5b4756de5a (diff) |
Add a UniqueIdPrefix in the server and bump up the prover kill time
Diffstat (limited to 'Source/DafnyServer/Utilities.cs')
-rw-r--r-- | Source/DafnyServer/Utilities.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/DafnyServer/Utilities.cs b/Source/DafnyServer/Utilities.cs index 8fb03b05..20fe0578 100644 --- a/Source/DafnyServer/Utilities.cs +++ b/Source/DafnyServer/Utilities.cs @@ -49,9 +49,10 @@ namespace Microsoft.Dafny { if (CommandLineOptions.Clo.Parse(args)) {
// Dafny.DafnyOptions.O.ErrorTrace = 0; //FIXME
// Dafny.DafnyOptions.O.ModelViewFile = "-";
- Dafny.DafnyOptions.O.ProverKillTime = 10;
- Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
+ Dafny.DafnyOptions.O.ProverKillTime = 20; //FIXME: Should this explicitly override user prefs?
+ Dafny.DafnyOptions.O.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1); //FIXME
Dafny.DafnyOptions.O.VerifySnapshots = 2;
+ Dafny.DafnyOptions.O.Trace = true;
} else {
throw new ServerException("Invalid command line options");
}
|