|
12 years ago | |
---|---|---|
.. | ||
prctl_files | 12 years ago | |
.gitignore | 12 years ago | |
CslParserTest.cpp | 12 years ago | |
LtlParserTest.cpp | 12 years ago | |
ParseMdpTest.cpp | 12 years ago | |
ParsePrismTest.cpp | 12 years ago | |
PrctlParserTest.cpp | 12 years ago | |
ReadLabFileTest.cpp | 12 years ago | |
ReadTraFileTest.cpp | 12 years ago | |
readme.txt | 12 years ago |
readme.txt
Note: *.tra-Files starting with "wrong_format" are to produce an error when
being parsed. Hence, spelling errors and wrong formats are on purpose.
DO NOT CORRECT THEM!