Reachability and deadlock check on project with no main component

DEIS-Tools / H-Uppaal

MIT License

8 stars 3 forks source link

Closed Nielswps closed 4 years ago

Nielswps commented 4 years ago

Trying to auto generate queries for reachability or deadlock checking causes exceptions when the main component for the project is not set

Nielswps commented 4 years ago

Will be handled by making sure that the project always has a main component