storm_gtest.cpp File Reference

#include "test/storm_gtest.h"
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/exceptions/GurobiLicenseException.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/GurobiSettings.h"
#include "storm/solver/GurobiLpSolver.h"
#include "storm/utility/solver.h"

Include dependency graph for storm_gtest.cpp:

Go to the source code of this file.

Namespaces
namespace	testing
namespace	testing::internal
namespace	storm
namespace	storm::test

Functions
GTEST_API_ AssertionResult	testing::internal::DoubleNearPredFormat (const char *expr1, const char *expr2, const char *abs_error_expr, storm::RationalNumber val1, storm::RationalNumber val2, storm::RationalNumber abs_error)
void	storm::test::initialize (int *argc, char **argv)
bool	storm::test::testGurobiLicense ()

Variables
bool	storm::test::noGurobi = false