From 039427b541e44a9855884d08fe080f86e7d15e12 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 2 Aug 2017 18:16:05 +0200 Subject: [PATCH] Check storm version --- tests/info/test_info.py | 3 +++ 1 file changed, 3 insertions(+) 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()