The Overture Tool version 2.2.2
Overture 2.2.2 Release Notes — 27 February 2015
What's New?
This is a hotfix release that fixes critical bugs in the Combinatorial Testing
plug-in.
Reporting Problems and Troubleshooting
Please report bugs, problems, and other issues with the tool at https://github.com/overturetool/overture/issues.
If you encounter a problem with the Overture IDE itself, please contact the Overture project and we will try to help. You can contact us at [email protected], or use StackOverflow — we monitor for questions using the vdm, vdm++, or vdmrt tags.
If you encounter a problem with a VDM specification, please try to make a small example that illustrates the problem before you contact us. If you are sure the bug is not already known in the GitHub issues list, you can create a new bug report.
Other Resources and Links
- Overture Community site
- VDM Tutorials
- VDM Examples
- Wikipedia on VDM
- Overture Developers Wiki on GitHub
- The Old Overture Wiki for developers
Bug fixes
Please note that the interactive list is at https://github.com/overturetool/overture/issues?q=milestone%3Av2.2.2