• David Hauzar's avatar
    Store counterexample information related to VC in a special index. · 924c3f18
    David Hauzar authored
    Since the exact line of the construct that triggers VC may not be
    known, the possibility to map the counterexample information related
    to this construct to dedicated index instead of mapping it to line
    number was added.
    
    Note that the line of the construct that triggers VC is guaranteed to
    be known only if  this construct does not span to multiple lines or if
    the VC is not split.
    924c3f18
model_parser.mli 9.25 KB