Skip to content

Fixing bug fix for enabling uppaal

Letitia Li requested to merge tmpfixes into master

UPPAAL is now enabled from the application diagram but not from mapping.

Merge request reports