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

Small fixes #43

Closed MaxGaukler closed 5 years ago

MaxGaukler commented 5 years ago

I found some minor bugs, mainly regarding dependencies; here's a pull request to fix these. All tests pass for me (I only have SpaceEx, Hylaa, flowstar installed, but that should be enough).