diff options
author | 2012-09-28 15:10:35 -0700 | |
---|---|---|
committer | 2012-09-28 15:10:35 -0700 | |
commit | d9f97263c53b3493344a3399daa5402663179b33 (patch) | |
tree | 2a20a471c9b312625ad2e100643a6e51438edf21 /Source/GPUVerifyBoogieDriver | |
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 'Source/GPUVerifyBoogieDriver')
0 files changed, 0 insertions, 0 deletions