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.
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.