apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

[FEATURE] Add CLI support for parameters tunable by the Apalache global configuration file

Open Kukovec opened this issue 3 years ago • 5 comments

Title.

Kukovec avatar Oct 13 '21 11:10 Kukovec

Can you explain this issue? I do not quite get it.

konnov avatar Oct 13 '21 16:10 konnov

Sure, you should be able to pass all of the parameters that are currently only set inside apalache.cfg via flags when you call check, including the option to just point to a complete .cfg file.

Kukovec avatar Oct 13 '21 16:10 Kukovec

Do you mean the option --tuning=apalache.properties? There is a CLI alternative to that via --tuning-options=key1=value1:key2=value2.... It's ugly because of the library we are currently using.

konnov avatar Oct 13 '21 18:10 konnov

No, this is an extension of #1036

Kukovec avatar Oct 13 '21 19:10 Kukovec

all of the parameters that are currently only set inside apalache.cfg

is this still relevant? what parameters do we have that are passed via .cfg but cannot be passed on the CLI?

thpani avatar Oct 19 '23 12:10 thpani