pull request for classification and passtest bug fixes

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

http://verivital.com/hyst/

Other

15 stars 18 forks source link

Closed stanleybak closed 8 years ago

stanleybak commented 8 years ago

merged luan's changes and added passtest fixes. All tests pass now.