summaryrefslogtreecommitdiff
path: root/Util
diff options
context:
space:
mode:
authorGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-28 15:10:35 -0700
committerGravatar Unknown <leino@LEINO6.redmond.corp.microsoft.com>2012-09-28 15:10:35 -0700
commitd9f97263c53b3493344a3399daa5402663179b33 (patch)
tree2a20a471c9b312625ad2e100643a6e51438edf21 /Util
parentca048fe8bc97f291c1a4918ecf9bbc10f33fc8fd (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