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 /Util | |
| parent | ca048fe8bc97f291c1a4918ecf9bbc10f33fc8fd (diff) | |
Boogie: added /vcsLoad flag as a convenient way to set /vcsCores proportionally to the machine's number of cores
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions