Skip to content

Fixed UPPAAL syntax checking

Letitia Lirequested to merge
labsoc_sec into master

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

Merge request reports