tightness

tightness copied to clipboard

Hi! I've read your post and think that this is a pretty cool idea. But I also think that there are some things that could be better. For example, when...

teenjuna

Meaning of validity after a mutator panic

3

The protecting code of mutators does not protect the (implicit) panic exit point with assertions of the invariant holding. This makes it possible to observe an instace of a tightness-defined...

197g