Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::test Namespace Reference

Functions

bool testGurobiLicense ()
 
void initialize (int *argc, char **argv)
 
void enableErrorOutput ()
 
void disableOutput ()
 

Variables

bool noGurobi = false
 

Function Documentation

◆ disableOutput()

void storm::test::disableOutput ( )
inline

Definition at line 71 of file storm_gtest.h.

◆ enableErrorOutput()

void storm::test::enableErrorOutput ( )
inline

Definition at line 64 of file storm_gtest.h.

◆ initialize()

void storm::test::initialize ( int *  argc,
char **  argv 
)
inline

Definition at line 49 of file storm_gtest.h.

◆ testGurobiLicense()

bool storm::test::testGurobiLicense ( )

Definition at line 12 of file storm_gtest.cpp.

Variable Documentation

◆ noGurobi

bool storm::test::noGurobi = false

Definition at line 10 of file storm_gtest.cpp.