-
Notifications
You must be signed in to change notification settings - Fork 261
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Relative load option in new CLI #3328
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: CLI
interacting with Dafny on the command line
Comments
hmijail
added
the
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
label
Jan 5, 2023
keyboardDrummer
added a commit
that referenced
this issue
Jan 17, 2023
Fixes #3328 ``` --cores <count> Run the Dafny CLI using <n> cores, or using <XX%> of the machine's logical cores. [default: 6] ``` Default is 50% of logical cores. Sadly the help shows that number already being resolved. Changing that is complicated. <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
davidcok
pushed a commit
to davidcok/dafny
that referenced
this issue
Jan 18, 2023
Fixes dafny-lang#3328 ``` --cores <count> Run the Dafny CLI using <n> cores, or using <XX%> of the machine's logical cores. [default: 6] ``` Default is 50% of logical cores. Sadly the help shows that number already being resolved. Changing that is complicated. <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
davidcok
pushed a commit
to davidcok/dafny
that referenced
this issue
Jan 20, 2023
Fixes dafny-lang#3328 ``` --cores <count> Run the Dafny CLI using <n> cores, or using <XX%> of the machine's logical cores. [default: 6] ``` Default is 50% of logical cores. Sadly the help shows that number already being resolved. Changing that is complicated. <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
kind: enhancement
Enhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafny
part: CLI
interacting with Dafny on the command line
Summary
The legacy CLI had the
/vcsLoad
argument, which allowed to specify a multiplier on the number of detected cores. This made things rather self-adjusting across systems.The new CLI seems to only have
--cores
to specify the absolute number of cores to use. This requires more hand-holding.Background and Motivation
Dev machines typically have very different specs to cloud CI runners. It's important to accommodate the verifying/build process to each case.
Proposed Feature
Keep some way to automatically adjust the load depending on the system.
/vcsLoad
was coarse, but might be good enough.Alternatives
No response
The text was updated successfully, but these errors were encountered: