• Новая версия VeriTool.
• Автоматический сбор непредвиденных реакций.
• Добалены макроопределение CPPTESK_SET_DEBUG_LOGFILE(filename) для дублирования отладочной печати в файл.
• Реавлизована базовая версия плагина Eclipse IDE.

Инструмент можно скачать на странице http://forge.ispras.ru/projects/cpptesk-toolkit/files.