ibertli

bug: can not generate data type with 'string'

2

hello sir, i find a bug, when i define a data type using 'string' representation, ocarina raise error "Impossible to get the data size of this data", then i check...

whether can ignore 'source_text' in subprogram?

4

Hello Sir, i have a question asking for your help. Based on my understanding，we cannot ignore 'source_text' in subprogram, but i found in '/ocarina-build/ocarina/doc/source/ping/devices.aadl' at line21 where the special subprogram...