tempest

dehnert e52379bb54 Added XCode stuff to .gitignore. Fixed a few tests to compile with clang under -Werror.		12 years ago
..
ParseDtmcTest.cpp	The DeterministicSparseTransitionParser.cpp was still broken, rewrote it in a simpler and more convenient way.	12 years ago
ParseMdpTest.cpp	Added XCode stuff to .gitignore. Fixed a few tests to compile with clang under -Werror.	12 years ago
ReadLabFileTest.cpp	Added XCode stuff to .gitignore. Fixed a few tests to compile with clang under -Werror.	12 years ago
ReadTraFileTest.cpp	Added XCode stuff to .gitignore. Fixed a few tests to compile with clang under -Werror.	12 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!