storm_gtest.cpp File Reference

#include "test/storm_gtest.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	storm
	LabParser.cpp.
namespace	storm::test

Functions
bool	storm::test::testGurobiLicense ()

Variables
bool	storm::test::noGurobi = false