search

UnB-CIC / sle-course

A Software Language Engineering Course using Rascal-MPL
2 stars 5 forks source link

Implement FSM WFR #5

Closed rbonifacio closed 5 years ago

rbonifacio commented 5 years ago

As a user of this module, I would like to verify if a FSM is well formed or not.

luisamaralh commented 5 years ago

The WFR are implemented but it is still not using data "Error" in order to present the violated constrains. We should return an Error list empty if the FSM is well formed. On the other hand, a list of the violated constrains should be presented.