You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

8 lines
187 B

  1. import stormpy
  2. from stormpy.info import info
  3. class TestInfo:
  4. def test_version(self):
  5. s = info.Version.short
  6. s = info.Version.long
  7. s = info.Version.build_info