MicroTESK

The new release contains the following changes:

• Support for sections (code and data can be placed into regions defined by the .section directive)
• Changes in generator (common mechanism of test situation processing for all generation engines)
• Bug fixes and general improvements

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files