proper-testing / proper

PropEr: a QuickCheck-inspired property-based testing tool for Erlang
http://proper-testing.github.io
GNU General Public License v3.0
879 stars 168 forks source link

Adds ?ALWAYS and ?SOMETIMES macros #230

Open x4lldux opened 4 years ago

x4lldux commented 4 years ago

Implemented two macros marked TODO. The shrinking usage case, I've described in documentation, will be possible once, this commit x4lldux/proper@f1582afdae55e504280c76653b543b53a17d2334 is merged, but I have to figure out how to test this first (pointers will be very welcome!) is in #232 PR.