search

arrdem / shelving

A toolkit for building data stores.
Eclipse Public License 1.0
38 stars 2 forks source link

Random test failures due to test.check collisions #15

Closed arrdem closed 6 years ago

arrdem commented 6 years ago

2018-03-01-231824_1087x771_scrot

This is a really dumb bug in the test specification, which should handle the case of a collision.

arrdem commented 6 years ago

This has been fixed as part of the recursive decomposition work.