v0.7-dev-integration
Closed Jul 22, 2020
100% complete
- Make the tool compatible with the input and output produced by TLC. This will give us a way to integrate the model checker in TLA+ toolbox.
- Add support for integration with testing frameworks.
With the release of 0.7.0 this milestone should be closed. The known issues have been moved to v0.7.1-known-issues.
- Make the tool compatible with the input and output produced by TLC. This will give us a way to integrate the model checker in TLA+ toolbox.
- Add support for integration with testing frameworks.
With the release of 0.7.0 this milestone should be closed. The known issues have been moved to v0.7.1-known-issues.
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.