tempest

gereon 9ca0acd0d6 removed obsolete cmake files, renamed license file		13 years ago
..
ParseDtmcTest.cpp	Renaming MRMC to STORM, see #42	13 years ago
ReadLabFileTest.cpp	Renaming MRMC to STORM, see #42	13 years ago
ReadTraFileTest.cpp	Renamed SquareSparseMatrix to SparseMatrix	13 years ago
readme.txt	Some minor changes (especially limiting the range of variables if	13 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!