search

advancedtelematic / quickcheck-state-machine

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

Add colours to the markovToDot output. #344

Closed stevana closed 4 years ago

stevana commented 4 years ago

The source node is in green and the sink is in red.