issues
search
advancedtelematic
/
quickcheck-state-machine
Test monadic programs using state machine based models
Other
203
stars
25
forks
source link
Add combinator that gathers all user annotation of a true logic expre…
#297
Closed
stevana
closed
5 years ago
stevana
commented
5 years ago
…ssion.
…ssion.