Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7685 MicroTESK Bug New Urgent warning(24): template error: context [/outputFile /parser /genericParser /region__/genericParser__members /region__/genericParser__members] 32:3 no such property or can't access: Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
6911 MicroTESK Bug New Urgent The "get_address_of" method must work with all label types. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5674 MicroTESK Task New Urgent Description of test data generation mechanisms (test situation processing, constraint solving) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
8481 MicroTESK Task New Urgent Need a way to specify the termination addresss for the test program. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
5677 MicroTESK Task New Urgent Examples of templates demonstrating how to create combinatorial tests Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
7418 MicroTESK Bug New Urgent Reset the state of the model before starting generating a new test program fle Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5671 MicroTESK Bug New Urgent Robustness of test template processing logic must be improved Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
6326 MicroTESK Bug New High If an nml file contains no operations, translation fails with NPE Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
5652 MicroTESK Task New High Better examples of test templates using test situations Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5990 MicroTESK Bug New High Memory state must be taken into account when generating test data Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5659 MicroTESK Bug New High Function 'trace' should accept addressing modes as arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4900 MicroTESK Task New High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
7251 MicroTESK Bug New High A warning or error is needed when a value is truncated Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5783 MicroTESK Bug New High Problems with multiple concatenation Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
7313 MicroTESK Bug New High Analysis for input/output parameters Mikhail Chupilko Andrei Tatarnikov Actions
5428 MicroTESK Task Open High Stabilization of source code representation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
4814 MicroTESK Task New Normal Refactoring of L-expressions and memory model Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
4016 MicroTESK Task New Normal The nML Language Reference Alexander Kamkin Andrei Tatarnikov Actions
6223 MicroTESK Task New Normal User-defined template-oriented extensions (plugins) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
6333 MicroTESK Bug New Normal NmlTreeWalker.g: node from line 0:0 no viable alternative at input Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6378 MicroTESK Bug New Normal No way to jump from epilogue to a label defined in prologue Alexander Kamkin Andrei Tatarnikov Actions
(1-25/69) Per page: 25, 50, 100

Also available in: Atom CSV PDF