Asn1ToPromela: fixes in range checks generation - special cases for promela

requested review from @michal_kurowski

By Rafal Babski on 2024-06-14T13:43:00

assigned to @rbabski_n7s

By Rafal Babski on 2024-06-14T13:43:00

approved this merge request

By Michal Kurowski on 2024-06-18T10:56:11

added 2 commits

• 6b3b6d0e - 1 commit from branch master
• 75ec5641 - Asn1ToPromela: fixes in range checks generation - special cases for promela

Compare with previous version

By Rafal Babski on 2024-06-18T11:19:59

enabled an automatic merge when the pipeline for 75ec5641 succeeds

By Rafal Babski on 2024-06-18T11:20:57

merged