DeterministicSparseTransitionParserTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm-parsers/parser/DeterministicSparseTransitionParser.h"
#include "storm/exceptions/FileIoException.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/exceptions/WrongFormatException.h"
#include "storm/settings/SettingMemento.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/BuildSettings.h"
#include "storm/storage/SparseMatrix.h"

Include dependency graph for DeterministicSparseTransitionParserTest.cpp:

Go to the source code of this file.

Functions
	TEST (DeterministicSparseTransitionParserTest, NonExistingFile)
	TEST (DeterministicSparseTransitionParserTest, BasicTransitionsParsing)
	TEST (DeterministicSparseTransitionParserTest, BasicTransitionsRewardsParsing)
	TEST (DeterministicSparseTransitionParserTest, Whitespaces)
	TEST (DeterministicSparseTransitionParserTest, MixedTransitionOrder)
	TEST (DeterministicSparseTransitionParserTest, FixDeadlocks)
	TEST (DeterministicSparseTransitionParserTest, DontFixDeadlocks)
	TEST (DeterministicSparseTransitionParserTest, DoubledLines)
	TEST (DeterministicSparseTransitionParserTest, RewardForNonExistentTransition)

Function Documentation

TEST() [1/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		BasicTransitionsParsing
	)

Definition at line 25 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [2/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		BasicTransitionsRewardsParsing
	)

Definition at line 88 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [3/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		DontFixDeadlocks
	)

Definition at line 208 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [4/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		DoubledLines
	)

Definition at line 217 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [5/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		FixDeadlocks
	)

Definition at line 186 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [6/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		MixedTransitionOrder
	)

Definition at line 173 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [7/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		NonExistingFile
	)

Definition at line 13 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [8/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		RewardForNonExistentTransition
	)

Definition at line 225 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [9/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		Whitespaces
	)

Definition at line 154 of file DeterministicSparseTransitionParserTest.cpp.