Skip to content

Fixed UPPAAL syntax checking

Letitia Li requested to merge labsoc_sec into master

It will now catch syntax errors in Avatar Safety Pragma and put them as warnings.

Merge request reports