Currently, the automatically generated PROMELA model does not make negatives explicit - not sure whether this will make a difference for our purposes
Log in to post a comment.
