verivital / hyst

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

Improve hypy pysim output #46

Closed MaxGaukler closed 5 years ago

MaxGaukler commented 5 years ago

If pysim is called via hypy with parse_output=True, the output was None due to a bug. This change fixes the bug and adds additional output: Not only the simulation results, but also interval bounds and variable names are now returned in hypy.Engine('pysim').run()['output'].

This should simplify future unit-testing and numerically comparing tools.

Unittests pass (if this pull request is combined with my other requests for fixing bugs in the unittests).