Hi,

perhaps this is an easy question, but I did not find yet the answer. I am having a look to some "big" protocols with a lot of components and modifying them in order to understand them. I wonder if it is possible in some way to check the validity of the protocol from the beginning to some part of it, and also to run it till that part.

Thanks

WS