Closed ahelwer closed 4 months ago
As discussed here: https://github.com/tlaplus/tlaplus/pull/976#issuecomment-2200274945
We will run the PlusCal translator to ensure it doesn't crash on invalid syntax, but we discard the translation so as not to overwrite modifications people might have made to the generated PlusCal code.
As discussed here: https://github.com/tlaplus/tlaplus/pull/976#issuecomment-2200274945
We will run the PlusCal translator to ensure it doesn't crash on invalid syntax, but we discard the translation so as not to overwrite modifications people might have made to the generated PlusCal code.