search

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

Bugfix omar initial states #30

Closed stanleybak closed 8 years ago

stanleybak commented 8 years ago

This is the bugfix for better error messages when initial or forbidden expressions contain variables not defined in the automaton: https://github.com/verivital/hyst/issues/26