You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PR #342 revamps the checking of bounds declarations. It contains some examples of checking. @lenary noted that none of the examples have unsequenced assignments, where the order in which assignments happen is not specified. This means that pending sets are always empty in the examples. We should add an example where there are some unsequenced assignments.
The text was updated successfully, but these errors were encountered:
PR #342 revamps the checking of bounds declarations. It contains some examples of checking. @lenary noted that none of the examples have unsequenced assignments, where the order in which assignments happen is not specified. This means that pending sets are always empty in the examples. We should add an example where there are some unsequenced assignments.
The text was updated successfully, but these errors were encountered: