Hi Guru,
Is there a way to use IFV to show another/next counter example besides the one that is shown after using the debug "assertion" command?
That would be very helpful.
Image may be NSFW.
Clik here to view.
Clik here to view.
