MicroTESK

The new release contains the following changes:

• Test data is generated taking into account data generated for other instructions.
• Statistics on test program size and test generator performance is collected.
• Test programs are split into parts if they exceed the specified limits on instruction number.

NOTE: The format of MicroTESK command line has changed. Please see the Command-Line Options documenation topic for more information.

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