New features and improvements:
- usecases allow covering actions in given tag combinations.
- Improved visualization and test generation from non-deterministic models.
- (fmbt)log supports unicode characters.
* Windows support:
- The "duration" end condition works on Windows.
* Fixed build issue with gcc 5.1.0.
* Fixed visualizing models with "&" in a tag name.
Project homepage: http://01.org/fmbt/
Project wiki: https://github.com/01org/fMBT/wiki
Project sources: https://github.com/01org/fMBT/