Skip to content

N7S TMC#93 - Sequences automatic dependencies detection

Mikołaj Owczarzak requested to merge n7s-tmc#93-sequence-dependencies-fix into master

Asn1ToPromelaTranslator: fix: when type is not mentioned in asnTypesToTranslate but it is needed in Sequence, it gets detected and inline is generated

Merge request reports