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.

Sign up for GitHub

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

Jump to bottom

Update `kontrol.toml` values #831

Open

palinatolmach opened this issue Sep 24, 2024 · 0 comments

Collaborator

palinatolmach commented Sep 24, 2024

Related: #818

As suggested by @PetarMax, we should apply the following changes to the default `kontrol.toml:

The auxiliary-lemmas option should always be true. The reason it’s not default is because we’re in the process of upstreaming.
The bug-report option should be passed from the command line in addition to kontrol prove manually - this is cleaner, especially with multiple users running proofs and multiple proofs being ran.
The reinit option in the [prove.default] should be false. In this way, a proof can be stopped and continued.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment