Skip to content

Asn1ToPromelaTranslator: proper range arithmetic

Rafal Babski requested to merge n7s-tmc#73-range-arith into master

Asn1ToPromelaTranslator: proper range arithmetic to calculate size andvalue constraints for asn1 types.

Merge request reports