C++TESK Testing ToolKit v1.0.11 released
C++TESK Testing ToolKit v1.0.11 has been released. The following things have been done.
C++TESK Testing ToolKit v1.0.11 has been released. The following things have been done.
- Simple heuristic to avoid getting caught in an endless loop during non-deterministic graph traversal has been implemented
- Command line parameter --print-progress turning on the traversal progress printing has been added
- Example cache_coherence has been included to demonstrate methods for state abstraction and non-deterministic graph traversal
- One mistake in distributed test launching has been fixed
- Scripts have been improved
The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
Comments