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
When a Java method returns a value it is not assigned to a compute variable as specified. We used to support that when we had the HasMap mechanism.
When the compute variable value is assigned in a verification activity the predicate is not evaluated for the assigned values.
The text was updated successfully, but these errors were encountered:
reteprelief
changed the title
Return value from a Java verification method is not assigned to a compute variable
Return value from a Java verification method is not assigned to a compute variable and evaluated by the predicate
Jun 1, 2018
When a Java method returns a value it is not assigned to a compute variable as specified. We used to support that when we had the HasMap mechanism.
When the compute variable value is assigned in a verification activity the predicate is not evaluated for the assigned values.
The text was updated successfully, but these errors were encountered: