Added debug feature to check if not save/load is broken

TAPAAL / tapaal-gui

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

https://www.tapaal.net

3 stars 11 forks source link

Added debug feature to check if not save/load is broken #61

Closed yrke closed 1 year ago

yrke commented 1 year ago

Added a new debug option to verify a net by saving and loading it. An pop-up is shown if there if any errors are found. Can be used while debugging issue.

Hotkey: Ctrl + Shift + L (macos uses modify key)