commit | 3e0dd6b6edb077de570b05e2acec0a857563be53 | [log] [tgz] |
---|---|---|
author | Nick Vatamaniuc <vatamane@apache.org> | Tue Jan 21 10:20:08 2020 -0500 |
committer | Nick Vatamaniuc <nickva@users.noreply.github.com> | Tue Jan 21 10:51:19 2020 -0500 |
tree | 6830a46fa770cca15090c1263d735e828afe7ea8 | |
parent | 2ac0673824dff1606e04741d83cd14964fb60481 [diff] |
Replace Triq with PropEr It was already used in the IOQ2 work so all the plumbing to pull it in during dev testing was there and it seems awkward to have two different property testing framework for just a few tests. It is still an optional component and is not included in the release.