Skip to content
GitLab

Use new ProB 2 method for dot visualization without manual temp file

1 job for master in 7 minutes and 35 seconds
a654e73e
No related merge requests found.