apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

Remove unused fields from `ModelCheckerParams`

Open thpani opened this issue 2 years ago • 0 comments

Unused fields in ModelCheckerParams that need cleanup:

https://github.com/informalsystems/apalache/blob/9bde0363e2a0c98a5c97290c91d8f7e86f12369f/tla-bmcmt/src/main/scala/at/forsyte/apalache/tla/bmcmt/search/ModelCheckerParams.scala#L66-L87

thpani avatar Aug 10 '22 06:08 thpani