Skip to content

UPPAAL Pragma fixes

Letitia Li requested to merge labsoc_sec into master

Now poorly written pragmas will still show up, and the help popup explains the different types of possible statements.

Merge request reports