This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

I am working on protocol checker VC of APB4 to which I have to test the assertions written. Does it mean I have to write test cases to verify my assertions?

I have mentioned some of the assertions in the protocol checker module. Now I have to "TEST MY ASSERTIONS" and I am not getting the exact meaning of this words. Can anyone explain me in brief what does this mean exactly?