| Contract Property must be set [message #1855692] |
Thu, 27 October 2022 09:39  |
Eclipse User |
|
|
|
Hi everyone,
I have created contracts and used the WBS Model from the CHESS download page as an example. I have created Fromal properties for assumptions and guarantees and than created the contracts based on this in the according component.
I have a lots of errors here. One says:
Error The required feature 'chesscontract::ContractProperty::base_Slot' of 'ContractProperty' must be set.
The other says, the syntax of the Formal properties is not correct. It's the same like the formal properties in the WBSI example.
I am using I'm using CHESS 1.0.0: Windows 64bit, Eclipse Platform Version Neon.3 (4.6.3) and Papyrus UML modeller Version 2.0.3.201703080851
The WBSI example you can find here: on https://websites.eclipseprojects.io/chess/download.html
Thank you!
Larissa
|
|
|
|
Powered by
FUDForum. Page generated in 0.04748 seconds
Home