modelator-py icon indicating copy to clipboard operation
modelator-py copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Feature: sensible model checker defaults

Open danwt opened this issue 2 years ago • 0 comments

In 2285f5b 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.

danwt avatar Apr 01 '22 08:04 danwt