diff --git a/tests/info/test_info.py b/tests/info/test_info.py index 91e8091..25bbaf0 100644 --- 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()