Thanks Ben for immediate reply. By both assertions being equivalent, what I meant was both would give the same result (same values for assertion sucess/failure) for any pattern on a and p, for all cycles. Is that a correct statement?
rgs,
-sunil
Thanks Ben for immediate reply. By both assertions being equivalent, what I meant was both would give the same result (same values for assertion sucess/failure) for any pattern on a and p, for all cycles. Is that a correct statement?
rgs,
-sunil