Open alvarohm opened 6 months ago
We need to add a new validation rule to forbid the use of quantified expressions (forall, exists, exists1) as values (e.g., assignments).
This would allow such expressions only in places where a predicate is expected (pre and post conditions, guards, etc).
We need to add a new validation rule to forbid the use of quantified expressions (forall, exists, exists1) as values (e.g., assignments).
This would allow such expressions only in places where a predicate is expected (pre and post conditions, guards, etc).