search

symphonytool / symphony

The Symphony IDE
5 stars 4 forks source link

Model checker crash on Simpler-register example #228

Closed pglvdm closed 10 years ago

pglvdm commented 10 years ago

This problem appears in: Version: 0.3.1-SNAPSHOT Build date: 2014 May 27 11:46 CEST Git commit description: Dev/0.3.1-181-g08c7964

adalbertocajueiro commented 10 years ago

This problem has been fixed in version 0.3.3.