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
Currently the requirement predicate is added into the assurance case instance to always execute independent of verification activity results. This results in an execution error for predicates that include references to compute variables that are unbound.
This global execution of the predicate should only occur for predicates without computer variable references.
Predicates with compute variable references should only be executed as part of a verification activity that binds results to compute variables.
The text was updated successfully, but these errors were encountered:
Currently the requirement predicate is added into the assurance case instance to always execute independent of verification activity results. This results in an execution error for predicates that include references to compute variables that are unbound.
This global execution of the predicate should only occur for predicates without computer variable references.
Predicates with compute variable references should only be executed as part of a verification activity that binds results to compute variables.
The text was updated successfully, but these errors were encountered: