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
This can be worked around, e.g., by using a list of suts in STM - but it is a bit of a hack.
Furthermore, it is quite common to have multiple values of a mutable type, e.g., arising from Array.copy or Buffer.of_seq.
It would be nice to address this limitation.
The text was updated successfully, but these errors were encountered:
Both
Lin
andSTM
share a limitation:Lin
tests only a singlet
at a timeSTM
tests only a singlesut
at a timeThis can be worked around, e.g., by using a
list
ofsut
s inSTM
- but it is a bit of a hack.Furthermore, it is quite common to have multiple values of a mutable type, e.g., arising from
Array.copy
orBuffer.of_seq
.It would be nice to address this limitation.
The text was updated successfully, but these errors were encountered: