search

utwente-fmt / UrPal

UPPAAL Sanity Checker
5 stars 1 forks source link

Exception on 'unused elements' check #2

Closed ramononis closed 5 years ago

ramononis commented 5 years ago

To recreate: UPPAAL64-4.1.22
UrPal 0.1.16
demo/train-gate.xml