Project

General

Profile

News

MicroTESK 2.2.10 beta released

Added by Andrei Tatarnikov over 2 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

(91-100/121)

Also available in: Atom