Feature n7s tmcc#651 tmc fix env value generation

requested review from @michal_kurowski

By Rafal Babski on 2024-08-30T13:53:50

assigned to @rbabski_n7s

By Rafal Babski on 2024-08-30T13:53:50

added 1 commit

• 521f5279 - Added missing file test_nested_sequenceof.sh

Compare with previous version

By Rafal Babski on 2024-08-30T14:02:02

added 1 commit

• 3859b886 - Fixes in unit tests of Asn1ToPromelaTranslator

Compare with previous version

By Rafal Babski on 2024-08-30T15:05:19

approved this merge request

By Michal Kurowski on 2024-08-30T15:57:08

merged