Project

General

Profile

2.4

10/28/2016

Features: multi-PE testing, exception handling, test engine composition

84%

43 issues   (35 closed — 8 open)

Time tracking
Estimated time 0.00 hour
Spent time 0.00 hour
Issues by
Bug

22/25
Feature

2/2
Task

11/16
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 #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 #9957: TestCase для нескольких шаблонов, запускает всегда один и тот же шаблон Actions
Bug #9963: debug_la_0000.s:105: Error: junk at end of line, first unrecognized character is `d' Actions
Bug #9982: java.lang.IllegalArgumentException: Bit vector sizes do not match: 1 != 6 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 address 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