New features and improvements: * Coverage: - usecases allow covering actions in given tag combinations. * AAL/Python: - 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/