-
David Hauzar authored
Model elements in source code line are represented as list of JSON objects with attributes "name", "value", and "kind". The attribute "name" is a name of a counterexample element, the attribute "value" is the value of the counterexample element, and the attribute "kind" is the kind of counterexample element, currently one of "old", "result", "error_message", and "other".
f3aa06e2