MicroTESK

The new release contains the following changes:

• Support for self-checking test program generation was implemented (use the '--self-checks' option)
• Some bug fixes and general improvements were made

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