Skip to content
GitLab
Explore
Sign in
Spot
Spot
Issues
#123
add option to highlight non-determinism in dot output
I guess
--dot=d
would make sense.