C++TESK Testing ToolKit v1.0.14 released
C++TESK Testing ToolKit v1.0.14 has been released. A number of new features have been implemented.
  • New version of VeriTool.
  • Automatic catcher of unexpected reactions.
  • Macro CPPTESK_SET_DEBUG_LOGFILE(filename) to duplicate debug output into a file.
  • Basic Eclipse IDE plugin.

The toolkit can be downloaded from the page http://forge.ispras.ru/projects/cpptesk-toolkit/files.
 
Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences