EnvironmentBuilderTest.cpp File Reference

#include "test/storm_gtest.h"
#include <limits>
#include "storm/environment/Environment.h"
#include "storm/environment/dd/AllDdEnvironments.h"
#include "storm/environment/exploration/ExplorationEnvironment.h"
#include "storm/environment/modelchecker/AllModelCheckerEnvironments.h"
#include "storm/environment/solver/AllSolverEnvironments.h"
#include "storm/environment/solver/SolverEnvironment.h"
#include "storm/settings/EnvironmentBuilder.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/CoreSettings.h"
#include "storm/settings/modules/GeneralSettings.h"

Include dependency graph for EnvironmentBuilderTest.cpp:

Go to the source code of this file.

Functions
	TEST (EnvironmentBuilderTest, TopLevelEnvironmentMatchesDefault)
	TEST (EnvironmentBuilderTest, SolverEnvironmentMatchesDefault)
	TEST (EnvironmentBuilderTest, ModelCheckerEnvironmentMatchesDefault)
	TEST (EnvironmentBuilderTest, DdAndExplorationEnvironmentMatchDefault)
	TEST (EnvironmentBuilderTest, BuildsEnvironmentFromSettings)
	TEST (EnvironmentBuilderTest, SoundFlagIsResetByRestoreDefaults)

Function Documentation

TEST() [1/6]

TEST	(	EnvironmentBuilderTest	,
		BuildsEnvironmentFromSettings	)

Definition at line 194 of file EnvironmentBuilderTest.cpp.

TEST() [2/6]

TEST	(	EnvironmentBuilderTest	,
		DdAndExplorationEnvironmentMatchDefault	)

Definition at line 175 of file EnvironmentBuilderTest.cpp.

TEST() [3/6]

TEST	(	EnvironmentBuilderTest	,
		ModelCheckerEnvironmentMatchesDefault	)

Definition at line 143 of file EnvironmentBuilderTest.cpp.

TEST() [4/6]

TEST	(	EnvironmentBuilderTest	,
		SolverEnvironmentMatchesDefault	)

Definition at line 42 of file EnvironmentBuilderTest.cpp.

TEST() [5/6]

TEST	(	EnvironmentBuilderTest	,
		SoundFlagIsResetByRestoreDefaults	)

Definition at line 207 of file EnvironmentBuilderTest.cpp.

TEST() [6/6]

TEST	(	EnvironmentBuilderTest	,
		TopLevelEnvironmentMatchesDefault	)

Definition at line 35 of file EnvironmentBuilderTest.cpp.