JaniParserTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm-parsers/api/model_descriptions.h"
#include "storm-parsers/parser/JaniParser.h"
#include "storm/exceptions/InvalidArgumentException.h"
#include "storm/logic/Formulas.h"
#include "storm/storage/jani/Model.h"
#include "storm/storage/jani/ModelType.h"
#include "storm/storage/jani/Property.h"

Include dependency graph for JaniParserTest.cpp:

Go to the source code of this file.

Functions
	TEST (JaniParser, DieExampleTest)
	TEST (JaniParser, DieArrayExampleTest)
	TEST (JaniParser, FTWCTest)
	TEST (JaniParser, DieArrayNestedExampleTest)
	TEST (JaniParser, UnassignedVariablesTest)
	TEST (JaniParser, TrigonometryAndTranscendentalNumbersTest)
	TEST (JaniParser, MultiobjectiveTest)

Function Documentation

TEST() [1/7]

TEST	(	JaniParser	,
		DieArrayExampleTest	)

Definition at line 39 of file JaniParserTest.cpp.

TEST() [2/7]

TEST	(	JaniParser	,
		DieArrayNestedExampleTest	)

Definition at line 63 of file JaniParserTest.cpp.

TEST() [3/7]

TEST	(	JaniParser	,
		DieExampleTest	)

Definition at line 12 of file JaniParserTest.cpp.

TEST() [4/7]

TEST	(	JaniParser	,
		FTWCTest	)

Definition at line 48 of file JaniParserTest.cpp.

TEST() [5/7]

TEST	(	JaniParser	,
		MultiobjectiveTest	)

Definition at line 91 of file JaniParserTest.cpp.

TEST() [6/7]

TEST	(	JaniParser	,
		TrigonometryAndTranscendentalNumbersTest	)

Definition at line 80 of file JaniParserTest.cpp.

TEST() [7/7]

TEST	(	JaniParser	,
		UnassignedVariablesTest	)

Definition at line 72 of file JaniParserTest.cpp.