SettingsManagerTest.cpp File Reference

#include "test/storm_gtest.h"
#include "storm/exceptions/OptionParserException.h"
#include "storm/settings/ArgumentBuilder.h"
#include "storm/settings/OptionBuilder.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/ModuleSettings.h"

Include dependency graph for SettingsManagerTest.cpp:

Go to the source code of this file.

Functions
	TEST (SettingsManagerTest, ValueWithLeadingDashLongOption)
	TEST (SettingsManagerTest, ValueWithLeadingDashShortOption)
	TEST (SettingsManagerTest, ValueWithLeadingDashFollowedByKnownOption)
	TEST (SettingsManagerTest, KnownOptionNotSwallowedAsValue)

Function Documentation

TEST() [1/4]

TEST	(	SettingsManagerTest	,
		KnownOptionNotSwallowedAsValue	)

Definition at line 64 of file SettingsManagerTest.cpp.

TEST() [2/4]

TEST	(	SettingsManagerTest	,
		ValueWithLeadingDashFollowedByKnownOption	)

Definition at line 59 of file SettingsManagerTest.cpp.

TEST() [3/4]

TEST	(	SettingsManagerTest	,
		ValueWithLeadingDashLongOption	)

Definition at line 49 of file SettingsManagerTest.cpp.

TEST() [4/4]

TEST	(	SettingsManagerTest	,
		ValueWithLeadingDashShortOption	)

Definition at line 54 of file SettingsManagerTest.cpp.