MicroTESK

The new release contains the following changes:

• Bug fix in engine for constraint-based test data generation

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

The new release contains the following changes:

• Enhancements in the branch engine
• 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 excluded elements in revision configuration files
• 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:

• 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 configuration files describing relations between revisions
• Support for operation templates in nML
• Support for new nML operators: is_type, type_of, and size_of
• Support for bitfields in MMU constraints (test templates)
• 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 revisions in nML and MMU specifications
• Integration of generation engines (branch and memory)
• Test template multiple_engines.rb demonstrating how to mix ALU, BPU and MMU constraints in a single sequence (miniMIPS)
• 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:

• Test template int_exception_branch.rb demonstrating how to mix BPU and ALU constraints (miniMIPS)
• Test template memory_situation2.rb demonstrating how to mix MMU and ALU constraints (miniMIPS)
• 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:

• Example templates for BPU testing (miniMIPS)
• 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:

• 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 generation of GCC linker scripts for test programs
• Bug fixes and general improvements

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