informalsystems / informalsystems/modelator-py
Feature: sensible model checker defaults
Open
- Dominant language
- Python
- Stars
- 27
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
In [2285f5b](https://github.com/informalsystems/modelator-py/commit/2285f5b57427f5b7b4acd7eb81d73a5cb0bc0fcc) every parameter is left to the user to specify, but it might be a good idea to specify some sensible defaults. For example: number of workers used could be set to always match number of hardware threads.
Contributor guide
Assessment
This issue has not been assessed yet.