Skip to content

Asn1ToPromelaTranslator: added support for string literals for constants

Merge request reports