diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 15:10:35 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-09-28 15:10:35 -0700 |
| commit | d9f97263c53b3493344a3399daa5402663179b33 (patch) | |
| tree | 2a20a471c9b312625ad2e100643a6e51438edf21 | |
| parent | ca048fe8bc97f291c1a4918ecf9bbc10f33fc8fd (diff) | |
Boogie: added /vcsLoad flag as a convenient way to set /vcsCores proportionally to the machine's number of cores
| -rw-r--r-- | Source/Core/CommandLineOptions.cs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 55f15454..8b567edd 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -1090,6 +1090,18 @@ namespace Microsoft.Boogie { ps.GetNumericArgument(ref VcsCores);
return true;
+ case "vcsLoad":
+ double load = 0.0;
+ if (ps.GetNumericArgument(ref load)) {
+ if (3.0 <= load) {
+ ps.Error("surprisingly high load specified; got {0}, expected nothing above 3.0", load.ToString());
+ load = 3.0;
+ }
+ int p = (int)Math.Round(System.Environment.ProcessorCount * load);
+ VcsCores = p < 1 ? 1 : p;
+ }
+ return true;
+
case "simplifyMatchDepth":
ps.GetNumericArgument(ref SimplifyProverMatchDepth);
return true;
@@ -1598,6 +1610,9 @@ namespace Microsoft.Boogie { Warning: Affects error reporting.
/vcsCores:<n>
Try to verify <n> VCs at once. Defaults to 1.
+ /vcsLoad:<f> Sets vcsCores to the machine's ProcessorCount * f,
+ rounded to the nearest integer (where 0.0 <= f <= 3.0),
+ but never to less than 1.
---- Prover options --------------------------------------------------------
|