Feature #80

JSON output of counter-examples

Added by Alexander Heußner almost 3 years ago.

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.

Also available in: Atom PDF