Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
6911 MicroTESK Bug New Urgent The "get_address_of" method must work with all label types. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7313 MicroTESK Bug New High Analysis for input/output parameters Mikhail Chupilko Andrei Tatarnikov Actions
5783 MicroTESK Bug New High Problems with multiple concatenation Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
5813 MicroTESK Bug New Normal Support of instance call in left part of assignment Mikhail Chupilko Andrei Tatarnikov Actions
7229 MicroTESK Bug New Normal Unsupported assignment to mode Mikhail Chupilko Andrei Tatarnikov Actions
6025 MicroTESK Bug New Normal Usage of format with signed values Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
5966 MicroTESK Bug New Normal mark shell scripts as executable in the distribution tar.gz archive Sergey Smolov Andrei Tatarnikov MicroTESK - 2.2 Actions
5377 Fortress Feature Open Normal Не поддерживается работа с несколькими CalculatorEngine Alexander Kamkin Andrei Tatarnikov Fortress - 0.4 Actions
5193 MicroTESK Feature New Low Test templates in Python Andrei Tatarnikov Andrei Tatarnikov Actions
5596 Fortress Feature New Low Генерация случайных значений, удовлетворяющих определённым условиям Igor Melnichenko Andrei Tatarnikov Fortress - 0.4 Actions
8587 MicroTESK Feature New Normal ISA subsets Sergey Smolov Andrei Tatarnikov Actions
8693 MicroTESK Task New Normal Construct sizeof(type) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
6068 MicroTESK Task New Normal Description of complex situations Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5301 MicroTESK Task New Normal Description of the Java template interface Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
3993 MicroTESK Task New Normal Description of the nML translator Alexander Kamkin Andrei Tatarnikov Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4804 TestBase Task New Normal Manual description of test situations in Java and XML Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4814 MicroTESK Task New Normal Refactoring of L-expressions and memory model Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
8691 MicroTESK Task New Normal Sign- and zero-extend functions in preparators Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
5428 MicroTESK Task Open High Stabilization of source code representation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
5752 MicroTESK Task New Normal Support for macro Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
(26-50/69) Per page: 25, 50, 100

Also available in: Atom CSV PDF