MicroTESK

The new release contains the following changes:

• Data generated for test programs (defined in 'data' blocks) now can be placed into separate files
• Several bug fixes and general improvements were made

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

The new release contains the following changes:

• Several bug fixes and improvements were made

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

The new release contains the following changes:

• Possibility to specify test case level prologue and epilogue in test templates was implemented
• Possibility to specify calls of pseudo instructions in test templates was implemented
• The functionality of 'align' and 'org' methods (test templates) was improved
• CVC4 is now used as the default SMT solver
• Z3_PATH and CVC4_PATH environment variables can now be used to specify path to corresponding SMT solver executable
• Several bug fixes and general improvements were made

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

The new release contains the following changes:

• Support for '.org' and '.align' directives in test templates
• Better handling of the 'undefined' and 'unpredicted' situations
• Several bug fixes and general improvements

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

The new release contains the following changes:

• Support for preprocessor directives
• Support for exception handling
• Support for tracking instruction addresses during simulation (including tracking addresses in indirect branches)

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

The new release contains the following changes:

• Data file generation feature was implemented
• Several bug fixes and general improvements were made

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

The new release contains the following changes:

• Support for large memory addresses (e.g 48 and 64 bits) was improved
• Support for overloaded preparators was implemented
• Support for operation and addressing mode groups in test templates was implemented
• Support for user-defined test data generator extensions (in Java) was implemented
• Improved console output format (use the --verbose option)
• Several bug fixes and general improvements were made

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

The new release contains the following changes:

• Basic support for Tarmac was implemented (logging is enabled with the '--tarmac-log' option)
• Support for large memory addresses (e.g 48 and 64 bits) was implemented

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

The new release contains the following changes:

• Possibility to select test situations in random manner was implemented.
• Randomization of operands of instructions with unspecified situations was supported.
• Architecture-specific settings (set up with '--arch-dirs' option) were established.
• Support for random register allocation was implemented.
• Options '--comments-enabled' and '--comments-enabled' for enabling/disabling printing comments to test programs were added.
• Option '--solver-debug' for enabling debug output of SMT solvers was added.
• Functionality of the 'include' directive was improved.
• Format of generated test programs was enhanced.
• Behavior improvement: if a preparator for an addressing mode is not specified, test generation is no aborted.
• Several bug fixes and general improvements were made.

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

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