Skip to content
GitLab
Explore
Sign in
mbe-tools
TTool
Issues
#243
UPPAAL verification may lead to a Null pointer exception
When verification is too long or interrupted by the user.
lab3.xml