search

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

Merge targeted with random commands generator #258

Closed xspirus closed 3 years ago

xspirus commented 3 years ago

This PR removes the need of the separate targeted_commands generators when using Targeted Stateful PBT. Instead, users can now use the same commands generator in order to perform both random and targeted testing for stateful systems.