Unsupported data subcomponent in system implementation

loonwerks / AGREE

Assume-Guarantee REasoning Environment

BSD 3-Clause "New" or "Revised" License

12 stars 5 forks source link

Unsupported data subcomponent in system implementation #119

Open simonefulvio-rollini opened 2 years ago

simonefulvio-rollini commented 2 years ago

The presence of a definition like:

system implementation MySys.impl
        subcomponents
            myData: data MyData.impl;
...
data implementation MyData.impl
        subcomponents
            myComp: data MyType;

causes errors when performing verification:

Error at line xy:uv unknown variable myData__myComp