search

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

Add variant of prettyCommands that prints tags covered at each step. #310

Closed stevana closed 5 years ago

stevana commented 5 years ago

Signed-off-by: Stevan Andjelkovic stevan.andjelkovic@here.com