Models with errors crash the plugin - Githubissues

utwente-fmt / UrPal

UPPAAL Sanity Checker

5 stars 1 forks source link

Models with errors crash the plugin #8

Closed ramononis closed 5 years ago

ramononis commented 5 years ago

Problably related to multithreading

ramononis commented 5 years ago

Fixed by 504078c2505ecc04dbe0089ca5c150e140051b58