SparseStateRewardParserTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include <cmath>
#include "storm-parsers/parser/SparseStateRewardParser.h"
#include "storm/exceptions/FileIoException.h"
#include "storm/exceptions/OutOfRangeException.h"
#include "storm/exceptions/WrongFormatException.h"

Include dependency graph for SparseStateRewardParserTest.cpp:

Go to the source code of this file.

Functions
	TEST (SparseStateRewardParserTest, NonExistingFile)
double	round (double val, int precision)
	TEST (SparseStateRewardParserTest, BasicParsing)
	TEST (SparseStateRewardParserTest, Whitespaces)
	TEST (SparseStateRewardParserTest, DoubledLines)
	TEST (SparseStateRewardParserTest, RewardForNonExistentState)

Function Documentation

round()

double round	(	double	val,
		int	precision
	)

Definition at line 24 of file SparseStateRewardParserTest.cpp.

TEST() [1/5]

TEST	(	SparseStateRewardParserTest	,
		BasicParsing
	)

Definition at line 31 of file SparseStateRewardParserTest.cpp.

TEST() [2/5]

TEST	(	SparseStateRewardParserTest	,
		DoubledLines
	)

Definition at line 53 of file SparseStateRewardParserTest.cpp.

TEST() [3/5]

TEST	(	SparseStateRewardParserTest	,
		NonExistingFile
	)

Definition at line 18 of file SparseStateRewardParserTest.cpp.

TEST() [4/5]

TEST	(	SparseStateRewardParserTest	,
		RewardForNonExistentState
	)

Definition at line 65 of file SparseStateRewardParserTest.cpp.

TEST() [5/5]

TEST	(	SparseStateRewardParserTest	,
		Whitespaces
	)

Definition at line 42 of file SparseStateRewardParserTest.cpp.