{
"errors":
[
"component": "general",
"formattedMessage": "Invalid model checker targets requested.",
"message": "Invalid model checker targets requested.",
"severity": "error",
"type": "JSONError"
}
]