MicroTESK

The new release contains the following changes:

• Test Templates: support for global code sections, global labels and control transfers between global sections (*)
• New test template example for miniMIPS external_labels.rb

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

What's new (*):

Global (or External) Code

External code is code defined outside blocks describing test cases. It can contain labels. These labels are visible from other external code sections and can be used to perform control transfers in a backward direction (to earlier generate code). See, the external_labels.rb (miniMIPS) template for an example.