Skip to content

scn2msc bugs corrected and updated if files

Iulia Dragomir requested to merge scn2msc_ergo_updates into master

Corrected bug on the handling of _call, _return and _forward in SCN2MSC, added files for the verif of ERGO case study

Merge request reports

Loading