Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
MarkovAutomatonSparseTransitionParserTest.cpp File Reference
Include dependency graph for MarkovAutomatonSparseTransitionParserTest.cpp:

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)
 

Macro Definition Documentation

◆ CHOICE_COUNT

#define CHOICE_COUNT   7ul

◆ STATE_COUNT

#define STATE_COUNT   6ul

Function Documentation

◆ TEST() [1/5]

TEST ( MarkovAutomatonSparseTransitionParserTest  ,
BasicParsing   
)

◆ TEST() [2/5]

TEST ( MarkovAutomatonSparseTransitionParserTest  ,
DontFixDeadlocks   
)

◆ TEST() [3/5]

TEST ( MarkovAutomatonSparseTransitionParserTest  ,
FixDeadlocks   
)

◆ TEST() [4/5]

TEST ( MarkovAutomatonSparseTransitionParserTest  ,
NonExistingFile   
)

◆ TEST() [5/5]

TEST ( MarkovAutomatonSparseTransitionParserTest  ,
Whitespaces   
)