MicroTESK 2.2.10 beta released

MicroTESK 2.2.10 beta has been released.
Added by Andrei Tatarnikov almost 9 years ago

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

MicroTESK