Skip to content

Pragma syntax errors are now warnings and new UPPAAL help popup

Letitia Li requested to merge labsoc_sec into master

Poorly formatted pragma are shown but crossed out after error checking. Also, the help popup is its own image.

Merge request reports