osate / osate2-plugins

Old analysis plugins for OSATE2 repository, kept for reference
13 stars 9 forks source link

Add set_Feature in the LUTE language #18

Closed sma350 closed 8 years ago

sma350 commented 11 years ago

Dear all,

I try to verify a constraint on port feature with LUTE language but as long as I could see there is no way to express such theorem. Do you think you could add a new construct Set_feature to express theorems covering ports ? thanks for your feedback.

Smail.

juli1 commented 11 years ago

Hello,

We have no plan to do it right now. If you have a patch for such a feature, we will be glad to integrate it. Also, we can keep this bug open as a reminder to implement when somebody will work on this aspect of OSATE.

lwrage commented 8 years ago

LUTE has been removed from OSATE.