• David Hauzar's avatar
    The format of counterexample JSON output changed. · f3aa06e2
    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
model_parser.ml 15 KB