Feature #80
JSON output of counter-examples
Status: | New | Start date: | 03/19/2014 | |
---|---|---|---|---|
Priority: | Low | Due date: | ||
Assignee: | - | % Done: | 0% |
|
Category: | - | |||
Target version: | 2.0 |
Description
Due to user request: outputting the counter-examples in a simple, easily parsable format like JSON would be nice for external apps using McScM as plugin.