Skip to content

Feature N7S TMCC#504 TMC: fixes in IvToPromelaTranslator

Rafal Babski requested to merge feature-n7s-tmcc#504-spacecreator-fixes into master
  • names of inline arguments for observer RIs
  • fixed value printing: the length shall be printed before data

Merge request reports