MicroTESK 2.2.10 beta released

Added by Andrei Tatarnikov almost 5 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:


Also available in: Atom