NondeterministicSparseTransitionParserTest.cpp File Reference

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

Include dependency graph for NondeterministicSparseTransitionParserTest.cpp:

Go to the source code of this file.

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

Function Documentation

TEST() [1/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		BasicTransitionsParsing
	)

Definition at line 34 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [2/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		BasicTransitionsRewardsParsing
	)

Definition at line 125 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [3/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		DontFixDeadlocks
	)

Definition at line 268 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [4/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		DoubledLines
	)

Definition at line 277 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [5/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		FixDeadlocks
	)

Definition at line 227 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [6/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		MixedTransitionOrder
	)

Definition at line 214 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [7/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		NonExistingFile
	)

Definition at line 22 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [8/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		RewardForNonExistentTransition
	)

Definition at line 284 of file NondeterministicSparseTransitionParserTest.cpp.

TEST() [9/9]

TEST	(	NondeterministicSparseTransitionParserTest	,
		Whitespaces
	)

Definition at line 192 of file NondeterministicSparseTransitionParserTest.cpp.