apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Replace represent tuning options as a statically typed class (or hrecord) instead of as an untyped map

Open shonfeder opened this issue 1 year ago • 0 comments

Factored out of #1177

The work on #1177 integrates all CLI options into the configuration management system. However, in the interest of working incrementally, the tuning map is currently left as a stryingly typed map. As a followup, we'd like to make this region of the configs well typed and amenable to static analysis.

shonfeder avatar Aug 15 '22 01:08 shonfeder