Project

General

Profile

MicroTESK 2.4.40 released

MicroTESK 2.4.40 has been released.
Added by Andrei Tatarnikov 5 months ago

The new release contains the following changes:

  • Support for automated generation of test templates
  • Templates: methods rev_id and is_rev to get information on revisions supported by the model
  • Templates: support for global labels (the global_label method)
  • Templates: support for numeric labels
  • Templates: support for weak symbols (the weak method)
  • Templates: new method set_default_mode_allocator(allocator)
  • Templates: runtime methods to trace the state of registers and memory (instead of hand-written observers)
  • Number of bug fixes and code improvements

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


Comments