-
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