search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
12 stars 5 forks source link

AGREE LiftContract does not properly inherit contracts from extensions #55

Closed kfhoech closed 3 years ago

kfhoech commented 3 years ago

Extension chains of ComponentImplementations and ComponentTypes are not correctly handled where a LiftContract statement is involved.

kfhoech commented 3 years ago

Resolved by #58