quickcheck-state-machine icon indicating copy to clipboard operation
quickcheck-state-machine copied to clipboard
verified publisher icon advancedtelematic

Use Dot drawing for sequential programs

Open kderme opened this issue 6 years ago • 0 comments

Dot is already used to print parallel programs. I think with small tweaks it can become available for sequential programs.

kderme avatar Jul 24 '19 19:07 kderme