|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
Functions | |
| void | initialize (int *argc, char **argv) |
| bool | testGurobiLicense () |
| void | enableErrorOutput () |
| void | disableOutput () |
Variables | |
| bool | noGurobi = false |
|
inline |
Definition at line 57 of file storm_gtest.h.
|
inline |
Definition at line 50 of file storm_gtest.h.
| void storm::test::initialize | ( | int * | argc, |
| char ** | argv | ||
| ) |
Definition at line 34 of file storm_gtest.cpp.
| bool storm::test::testGurobiLicense | ( | ) |
Definition at line 49 of file storm_gtest.cpp.
| bool storm::test::noGurobi = false |
Definition at line 32 of file storm_gtest.cpp.