Quote:
What exactly is the difference between skip and break in PROMELA?
This is probably not the best place to ask.
Why don't you ask the makers ?
Why don't you read documentation ?
Why don't you ask in a users forum ?
Why don't you try to use debugger to see what ir going on ?