Open TomasMikula opened 8 years ago
Currently, only immutable.HashSet is tested for correctness. We need to add laws and tests for the remaining data structures before we can use them with any confidence.
immutable.HashSet
The laws in immutable.SetRepr and the fiile immutable.HashMapTest can serve as a template.
immutable.SetRepr
immutable.HashMapTest
immutable.HashMap
mutable.HashSet
mutable.HashMap
Currently, only
immutable.HashSet
is tested for correctness. We need to add laws and tests for the remaining data structures before we can use them with any confidence.The laws in
immutable.SetRepr
and the fiileimmutable.HashMapTest
can serve as a template.immutable.HashMap
mutable.HashSet
mutable.HashMap