Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm-version.h
Go to the documentation of this file.
1#pragma once
2
3#include <sstream>
4#include <string>
5
6namespace storm {
7
10 const static unsigned versionMajor;
11
13 const static unsigned versionMinor;
14
16 const static unsigned versionPatch;
17
19 const static bool versionDev;
20
22 const static std::string gitRevisionHash;
23
24 enum class DirtyState {
25 Clean,
26 Dirty,
27 Unknown
28 };
29
31 const static DirtyState dirty;
32
34 const static std::string systemName;
35
37 const static std::string systemVersion;
38
40 const static std::string cxxCompiler;
41
43 const static std::string cxxFlags;
44
45 static std::string shortVersionString() {
46 std::stringstream sstream;
47 sstream << versionMajor << "." << versionMinor << "." << versionPatch;
48 if (versionDev) {
49 sstream << " (dev)";
50 }
51 return sstream.str();
52 }
53
54 static std::string longVersionString() {
55 std::stringstream sstream;
56 sstream << "Version " << shortVersionString();
57 if (!gitRevisionHash.empty()) {
58 sstream << " build from revision " << gitRevisionHash;
59 } else {
60 sstream << " built from archive";
61 }
62 switch (dirty) {
64 sstream << " (clean)";
65 break;
67 sstream << " (dirty)";
68 break;
69 default:
70 sstream << " (potentially dirty)";
71 break;
72 }
73 return sstream.str();
74 }
75
76 static std::string buildInfo() {
77 std::stringstream sstream;
78 sstream << "Compiled on " << systemName << " " << systemVersion << " using " << cxxCompiler << " with flags '" << cxxFlags << "'";
79 return sstream.str();
80 }
81};
82} // namespace storm
LabParser.cpp.
Definition cli.cpp:18
static std::string longVersionString()
@ Unknown
some files were modified
@ Dirty
no files were modified in the checkout
static const unsigned versionPatch
The patch version of Storm.
static const std::string gitRevisionHash
The short hash of the git commit this build is based on.
static const bool versionDev
Flag indicating if the version of Storm is a development version.
static const std::string systemName
The system which has compiled Storm.
static const std::string cxxCompiler
The compiler version that was used to build Storm.
static const DirtyState dirty
Indicates whether files were modified.
static const std::string systemVersion
The system version which has compiled Storm.
static std::string shortVersionString()
static std::string buildInfo()
static const std::string cxxFlags
The flags that were used to build Storm.
static const unsigned versionMajor
The major version of Storm.
static const unsigned versionMinor
The minor version of Storm.