CTESK 2.5 Released
The beta version of CTESK 2.5 has been published.
The main new features are:
  • Full integration of CTESK tool in Eclipse+CDT (C/C++ Development Tools) IDE.
  • Advanced facilities of test coverage definition and achieved coverage acquisition.
  • The run-time support library implementation in C to improve the compatiblility of the binary library files with diffrenet versions of gcc compiler.
  • Improved support of C programming language and its gcc extensions by the translator of specifications.
  • Significant improvement of tools's speed and stability especially for large test suites.
The latest version of the CTESK toolkit CTESK 2.5, is now available for download.
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences