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
After a long wait for PropEr to support maps, PR #152 introduced a map() generator in a quick-and-dirty way. Unfortunately, that implementation violates all sorts of PropEr invariants and it only offers superficial support for maps. Many basic operations involving maps do not really work:
Also, it is impossible to generate maps when using the any() generator of PropEr -- test case below. Of course, this also affects list(any()), tuple() and possibly other PropEr generators.
On a positive side, shrinking of maps seems to be working as it should.
After a long wait for PropEr to support maps, PR #152 introduced a
map()
generator in a quick-and-dirty way. Unfortunately, that implementation violates all sorts of PropEr invariants and it only offers superficial support for maps. Many basic operations involving maps do not really work:Also, it is impossible to generate maps when using the
any()
generator of PropEr -- test case below. Of course, this also affectslist(any())
,tuple()
and possibly other PropEr generators.On a positive side, shrinking of maps seems to be working as it should.
Some test cases below:
The text was updated successfully, but these errors were encountered: