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
Any set picked from a powerset will currently hold the exact same pointers as the base set in the arena (though it will be constrained in SMT). This leads to incorrect counterexample reconstruction (from a, presumably, correct model).
The text was updated successfully, but these errors were encountered:
See informalsystems/quint#963
Any set picked from a powerset will currently hold the exact same pointers as the base set in the arena (though it will be constrained in SMT). This leads to incorrect counterexample reconstruction (from a, presumably, correct model).
The text was updated successfully, but these errors were encountered: