loonwerks / AGREE

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

Documentation of AGREE connection statement unclear #107

Closed kfhoech closed 2 years ago

kfhoech commented 2 years ago

The documentation is unclear and perhaps misleading as to how to apply connection statements.

While these are deprecated, it may be some time before they are removed from the implementation. Thus, we should make sure the documentation is more clear.