Asn1ToPromelaTranslator: added support for string literals for constants
All threads resolved!
All threads resolved!
Merge request reports
Activity
added 1 commit
- f3db0ac3 - Asn1ToPromelaTranslator, ASN.1 constants for OCTET STRING, IA5String
By Rafal Babski on 2024-06-12T08:29:18
added 1 commit
- a0d5093f - Asn1ToPromelaTranslator: Updated tests and fixes in support for string constants
By Rafal Babski on 2024-06-12T09:39:07
requested review from @michal_kurowski
By Rafal Babski on 2024-06-12T09:39:36
- Resolved by Juan Font Alonso
Please register or sign in to reply