Select Git revision
tlatools
Open with
- Visual Studio Code
- IntelliJ IDEA
Download source code
Your workspaces
A workspace is a virtual sandbox environment for your code in GitLab.
No agents available to create workspaces. Please consult Workspaces documentation for troubleshooting.
Markus Alexander Kuppe authored
checkpointing interval would - as a side effect - also be the liveness checking interval essentially turning the nextLiveCheck logic into dead code. From now on, liveness checking is run when the amount of current states in the fingerprint set has reached nextLiveCheck (which is probably what was initially intended). Note that deactivating checkpointing (with "-checkpoint 0") used to deactivate partial liveness checking too. In this case liveness was only checked finally at the end of model checking.