Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7403 MicroTESK Bug New Normal The expression cannot be evaluated to a boolean value Alexander Protsenko Andrei Tatarnikov 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
8697 MicroTESK Bug New Normal Type mismatch in an mmu file causes NullPointerException Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 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
6379 MicroTESK Bug New Normal Using if-then-else in syntax causes an error Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
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
6261 MicroTESK Bug New Low write method (segment) Alexander Protsenko Andrei Tatarnikov Actions
8587 MicroTESK Feature New Normal ISA subsets Sergey Smolov Andrei Tatarnikov Actions
5596 Fortress Feature New Low Генерация случайных значений, удовлетворяющих определённым условиям Igor Melnichenko Andrei Tatarnikov Fortress - 0.4 Actions
5377 Fortress Feature Open Normal Не поддерживается работа с несколькими CalculatorEngine Alexander Kamkin Andrei Tatarnikov Fortress - 0.4 Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov 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
5674 MicroTESK Task New Urgent Description of test data generation mechanisms (test situation processing, constraint solving) Andrei Tatarnikov 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
8186 MicroTESK Task New Normal Full support for 'struct' in nml Alexander Protsenko Andrei Tatarnikov Actions
7564 MicroTESK Task New Normal "How to build MicroTESK" guide for developers in project Wiki Sergey Smolov Andrei Tatarnikov Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 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
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
4900 MicroTESK Task New High Printing information on the model should be possible Andrei Tatarnikov 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
(26-50/63) Per page: 25, 50, 100

Also available in: Atom CSV PDF