Skip to content

Asn1ToPromelaTranslator: bugfix and regression test

Rafal Babski requested to merge n7s-tmc#86-bugfix2 into master

The inline to assign SEQUENCE datatype with optional fields wasn't generated correctly.

Merge request reports