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/WrongFormatException.h"
#include "storm/settings/SettingMemento.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/BuildSettings.h"
#include "storm/storage/SparseMatrix.h"
#include "storm/exceptions/InvalidArgumentException.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 33 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [2/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		BasicTransitionsRewardsParsing
	)

Definition at line 96 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [3/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		DontFixDeadlocks
	)

Definition at line 216 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [4/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		DoubledLines
	)

Definition at line 225 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [5/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		FixDeadlocks
	)

Definition at line 194 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [6/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		MixedTransitionOrder
	)

Definition at line 181 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [7/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		NonExistingFile
	)

Definition at line 21 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [8/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		RewardForNonExistentTransition
	)

Definition at line 233 of file DeterministicSparseTransitionParserTest.cpp.

TEST() [9/9]

TEST	(	DeterministicSparseTransitionParserTest	,
		Whitespaces
	)

Definition at line 162 of file DeterministicSparseTransitionParserTest.cpp.