Storm
A Modern Probabilistic Model Checker
|
#include "storm-config.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/BuildSettings.h"
#include "test/storm_gtest.h"
#include <vector>
#include "storm-parsers/parser/MarkovAutomatonParser.h"
#include "storm-parsers/parser/MarkovAutomatonSparseTransitionParser.h"
#include "storm-parsers/util/cstring.h"
#include "storm/exceptions/FileIoException.h"
#include "storm/exceptions/WrongFormatException.h"
#include "storm/settings/SettingMemento.h"
Go to the source code of this file.
Macros | |
#define | STATE_COUNT 6ul |
#define | CHOICE_COUNT 7ul |
Functions | |
TEST (MarkovAutomatonSparseTransitionParserTest, NonExistingFile) | |
TEST (MarkovAutomatonSparseTransitionParserTest, BasicParsing) | |
TEST (MarkovAutomatonSparseTransitionParserTest, Whitespaces) | |
TEST (MarkovAutomatonSparseTransitionParserTest, FixDeadlocks) | |
TEST (MarkovAutomatonSparseTransitionParserTest, DontFixDeadlocks) | |
#define CHOICE_COUNT 7ul |
Definition at line 23 of file MarkovAutomatonSparseTransitionParserTest.cpp.
#define STATE_COUNT 6ul |
Definition at line 22 of file MarkovAutomatonSparseTransitionParserTest.cpp.
TEST | ( | MarkovAutomatonSparseTransitionParserTest | , |
BasicParsing | |||
) |
Definition at line 32 of file MarkovAutomatonSparseTransitionParserTest.cpp.
TEST | ( | MarkovAutomatonSparseTransitionParserTest | , |
DontFixDeadlocks | |||
) |
Definition at line 210 of file MarkovAutomatonSparseTransitionParserTest.cpp.
TEST | ( | MarkovAutomatonSparseTransitionParserTest | , |
FixDeadlocks | |||
) |
Definition at line 190 of file MarkovAutomatonSparseTransitionParserTest.cpp.
TEST | ( | MarkovAutomatonSparseTransitionParserTest | , |
NonExistingFile | |||
) |
Definition at line 25 of file MarkovAutomatonSparseTransitionParserTest.cpp.
TEST | ( | MarkovAutomatonSparseTransitionParserTest | , |
Whitespaces | |||
) |
Definition at line 111 of file MarkovAutomatonSparseTransitionParserTest.cpp.