Skip to content

IvToPromelaTranslator: names of inlines for protected/unprotected interfaces are lowercase always

Rafal Babski requested to merge tmcc#78-fix into master

Merge request reports

Loading