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

test coverage for Python code #58

Closed MaxGaukler closed 4 years ago

MaxGaukler commented 4 years ago

This adds a coverage report for all Python code and strengthens the integration tests. (Currently, some tools failed with timeout for every single system in the integration test, so the result parsing was never tested. This could be seen from rather bad test coverage. Now, some simple models are run to completion.)

It seems that most basic features of hypy are now tested. There are still a few relevant gaps (e.g., parsing the INTV output of SpaceEx), so in total the coverage is 69%, whereas it could be around 85% with reasonable effort (maybe one workday). The remaining 15% are rare edge cases (e.g., error handling), which are in my opinion not worth the effort.

My plan would be to continue by making the code compatible with Python 3, while preserving Python 2 compatibility.

ttj commented 4 years ago

Thanks! Sorry I'm just getting to this. This seems to have a conflict in the Dockerfile that couldn't merge automatically, could you please look and correct?

MaxGaukler commented 4 years ago

fixed.