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?