Check storm version

8 years ago · 039427b541
1 changed files with 3 additions and 0 deletions
--- a/tests/info/test_info.py
+++ b/tests/info/test_info.py
@ -7,3 +7,6 @@ class TestInfo:
        assert isinstance(stormpy.info.Version.short, str) and "." in stormpy.info.Version.short
        assert isinstance(stormpy.info.Version.long, str) and "Version" in stormpy.info.Version.long
        assert isinstance(stormpy.info.Version.build_info, str) and "Compiled" in stormpy.info.Version.build_info
+
+    def test_version_equal(self):
+        assert stormpy.info.Version.short == stormpy.info.storm_version()