No validation that verification activity assigns compute variables needed for value predicate #1284
Comments
Addressed by #1522 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
If value predicate has unbound compute variables, make sure that verification activity assigns the compute variables used in the predicate.
Currently unassigned compute variables are not detected until predicate is evaluated.
The text was updated successfully, but these errors were encountered: