2.4 over 3 years late (10/28/2016) Features: multi-PE testing, exception handling, basic documentation 66% 44 issues (29 closed — 15 open) Related issues Bug #7679: New section in ChangeLog required Actions Bug #7680: Error: Failed to load the ru.ispras.microtesk.model.minimips.mmu.sim.Model Actions Bug #7681: README file is incorrect Actions Bug #7685: warning(24): template error: context [/outputFile /parser /genericParser /region__/genericParser__members /region__/genericParser__members] 32:3 no such property or can't access: Actions Bug #7690: Exception handler is not handled if it is not the first element in the list of exception describe in test templates Actions Bug #7730: [tarmac-logger] missing "<cpu>" tag Actions Bug #7931: solver - error: reference not found (java 1.8) Actions Bug #8061: Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Actions Bug #8455: Test Document Actions Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). Actions Bug #8670: Address 0xffffffffa0002380 is unallocated. Simulation is paused until it is allocated. Actions Bug #8674: Incorrect memory preparator in miniMIPS demo Actions Bug #8694: Parsing an empty *.mmu file causes NullPointerException Actions Bug #8695: Parsing an mmu-file with no mmu declaration causes IllegalArgumentException Actions Bug #8696: Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Actions Bug #8697: Type mismatch in an mmu file causes NullPointerException Actions Bug #8701: Error in the mode.syntax() method Actions Bug #9314: Undesired behavior of situation('random', :size => 32, :sign_extend => true) Actions Bug #9336: MicroTESK is not able to disassemble euclid binary (RISC-V) Actions Bug #9390: Bug in code allocation Actions Bug #9395: Symexecute не учитывает неявные преобразования типов в nml моделях Actions Bug #9437: ru.ispras.microtesk.model.minimips.BufferPreparatorTestCase: QEMU4V crashes with general protection error on this test program Actions Bug #9450: Неправильная последовательность бит в memory buffer Actions Bug #9471: ERROR (SEMANTIC): The given bitfield expressions cannot be reduced to constant value Actions Bug #9910: Symbolic executor fails to construct CFG Actions Bug #9937: *TestCase для нескольких шаблонов (*.rb) Actions Feature #7665: assert support Actions Feature #8939: [autogen] New option 'base-template-path' must be supported. Actions Task #4812: Exception handler definition Actions Task #7641: Basic support for multiple-PE testing Actions Task #7644: Utility for Tarmac trace comparison Actions Task #7645: Instruction decoder implementation Actions Task #7646: Structures in nML Actions Task #7649: Iterator-based implementation of MMU path enumeration Actions Task #7655: Documentation describing the overall generation flow Actions Task #7678: Generation of LLVM configuration files from nML specifications Actions Task #7726: Support for binary masks in preparators Actions Task #7729: On-demand memory access path exploration (coverage extraction) Actions Task #8481: Need a way to specify the termination addresss for the test program. Actions Task #8672: Renaming nontaken to nonexecuted in test templates Actions Task #8691: Sign- and zero-extend functions in preparators Actions Task #8693: Construct sizeof(type) Actions Task #8698: Adding makefiles to MicroTESK demos Actions Task #9338: Instruction decoding hints Actions