-
dgelessus authored
This doesn't affect predicates passed to :exec/:constants/:init yet, because ProB 2's StateSpace.transitionFromPredicate method currently only accepts a string predicate (which is parsed using the model's languate) and not an arbitrary IEvalElement.
6b8d6bb6
To find the state of this project's repository at the time of any of these versions, check out the tags.