Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Issues
#1
Diplodocus: for loops in activity diagrams of tasks should be validated to have two nexts elements (internal behavior, exit behavior)