Feature N7S TMCC#504 TMC: fixes in IvToPromelaTranslator (!1284) · Merge requests · TASTE / spacecreator

Merged Imported Juan Font Alonso requested to merge feature-n7s-tmcc#504-spacecreator-fixes into master 6 months ago

Rafal Babski authored 6 months ago

* names of inline arguments for observer RIs
* fixed value printing: the length shall be printed before data

fd4f4ad0

Feature N7S TMCC#504 TMC: fixes in IvToPromelaTranslator