AlexandreDecan / sismic

Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
GNU Lesser General Public License v3.0
141 stars 25 forks source link

a working unit test for the microwave example #80

Closed tommens closed 6 years ago

tommens commented 6 years ago

(1) added example of a unit test (containing two test cases) for the microwave example, based on the example given in the sosym paper, with some minor adaptations to make it work again (2) modified and completed the feature files (+tested that they still function correctly) in a way that is compatible with the example of the sosym paper (3) modified the file test_bdd.py in tests directory to take into account the extra feature files (and some file renamings) of step (2), in order to make all automated tests of the CI build work again