diff options
author | wuestholz <unknown> | 2013-12-26 14:00:12 +0100 |
---|---|---|
committer | wuestholz <unknown> | 2013-12-26 14:00:12 +0100 |
commit | e473ade8a4b6cfc71873955b9e8b0742c64fbfcd (patch) | |
tree | 324a87b5ba20d3b314bcdecfdf1a612471f3fee6 /Source/DafnyExtension | |
parent | 1d2ae01b786addc664f34e719421c81037ae0fe0 (diff) |
DafnyExtension: Reduce the default number of Z3 instances by one.
Diffstat (limited to 'Source/DafnyExtension')
-rw-r--r-- | Source/DafnyExtension/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs index 5a7aad6f..5a71164e 100644 --- a/Source/DafnyExtension/DafnyDriver.cs +++ b/Source/DafnyExtension/DafnyDriver.cs @@ -38,7 +38,7 @@ namespace DafnyLanguage var options = new Dafny.DafnyOptions();
options.ProverKillTime = 10;
options.ErrorTrace = 0;
- options.VcsCores = System.Environment.ProcessorCount;
+ options.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
options.ModelViewFile = "-";
Dafny.DafnyOptions.Install(options);
options.ApplyDefaultOptions();
|