Skip to content

Draft: TMC: Fix in MscToSdlTranslator, escaping sdl names

Rafal Babski requested to merge feature-n7s-tmcc#659-msc2sdl-translator-fix into master

ivtopromela - empty env proctypes not generated

Merge request reports