StormVersion¶

Warning

The stormpy developer API is internal and can be subject to change.

class StormVersion¶

Bases: pybind11_object

Version information for Storm

static build_info() → str¶: Build info for Storm.

git_revision_hash = 'GITDIR-NOTFOUND'¶

static long_version_string() → str¶: Storm version in long representation.

static short_version_string() → str¶: Storm version in short representation.

version_dev = True¶

version_major = 2¶

version_minor = 0¶

version_patch = 0¶

version_tweak = 2¶