This repository has been archived by the owner. It is now read-only.
stack overflow in filtered quantified expression #117
Closed
Comments
Thanks for reporting this. Yes, it appears that the quoted expression is incorrect. However, I cannot locate that construct in the smaccm/smaccm repository. Can you give indication as to where this is located? Thanks. |
The Resolute validator will loop through three methods. This is in the develop branch.
|
Oh. This is a validator problem. I thought you were referring to a problem in a library or model. Duplicated in a91f995. |
Resolved by Pull Request 118. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
The expression should say
forall (pc : {conn for (conn:connection)| is_port_connection(conn)}).
The text was updated successfully, but these errors were encountered: