MicroTESK

The new release contains the following changes:

• Basic support for MMU-directed test program generation was implemented
• Some bug fixes and general improvements were made

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