Reverse the meaning of the CLI -i option - Githubissues

WatForm / fortress

Fortress: Finite Model Finder for Many-Sorted First-Order Logic

MIT License

5 stars 0 forks source link

Reverse the meaning of the CLI -i option #106

Closed nancyday closed 4 months ago

nancyday commented 4 months ago

https://github.com/WatForm/fortress/commit/1a29fb0892d6e669b1feba6e514a4daf63bb3b7e

Removed the -i option.

scopes start with default value provided at CLI (if any)
that's overwritten by scopes in file
which is overwritten by specific scopes provided at CLI