Skip to content
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

Document Apalache config format + options #2756

Open
thpani opened this issue Oct 11, 2023 · 0 comments
Open

Document Apalache config format + options #2756

thpani opened this issue Oct 11, 2023 · 0 comments
Assignees
Labels
doc Documentation usability UX improvements

Comments

@thpani
Copy link
Collaborator

thpani commented Oct 11, 2023

While addressing informalsystems/quint#1196, I tried to write an Apalache config file, but struggled.

The best documentation I found is this manual section. It documents the principle format, but I had to guess the JSON keys since there is no 1:1 correspondence to CLI flags.

@shonfeder Maybe I missed something and there is documentation of the supported config file options somewhere?

The second thing I struggled with is setting --tuning-options / checker.tuning via the config file, which is passed as a single :-separated key=value string on the CLI, but (at least it seems so) needs to be a nested JSON object in the config file. We should confirm this, and document how to set tuning options via config.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
doc Documentation usability UX improvements
Projects
None yet
Development

No branches or pull requests

2 participants