Add the option --apalache-version to quint verify#1521
Merged
bugarela merged 7 commits intoinformalsystems:mainfrom konnov:igor/apalache-versionOct 3, 2024
+42-18
Commits
Commits on Oct 2, 2024
- committed
- committed
- authored
- committed
- committed
