MicroTESK

The new release contains the following changes:

• Branch engine: parameter limit was renamed to branch_exec_limit
• Branch engine: new parameter trace_count_limit that bounds the number of execution traces was introduced
• Test templates: support for named preparators was implemented
• Test templates: atomic was renamed to sequence
• nML translator: some general improvements were made

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