-
David Hauzar authored
the counter-example is empty while printing part of the counter-example related to the term that triggers VC.
eea10a7d
the counter-example is empty while printing part of the counter-example related to the term that triggers VC.