search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.27k stars 198 forks source link

Test PlusCal translation in CI #136

Closed ahelwer closed 5 months ago

ahelwer commented 5 months ago

The CI will fail if there is invalid PlusCal syntax in any of the modules. Previously, SANY would only warn of this but would return a zero exit code (see https://github.com/tlaplus/tlaplus/issues/899).

Also update the PlusCal translations of a number of modules with trivial differences.