Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
4805 TestBase Task New Normal Top-level test situations of instructions Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
6345 MicroTESK Task New Normal Support floating-point numbers in trace "". Alexander Protsenko Andrei Tatarnikov Actions
8186 MicroTESK Task New Normal Full support for 'struct' in nml Alexander Protsenko Andrei Tatarnikov Actions
4900 MicroTESK Task New High Printing information on the model should be possible 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
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov 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
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5421 Fortress Task Open Normal Utility methods on expression nodes Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
6423 Fortress Task New Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
7564 MicroTESK Task New Normal "How to build MicroTESK" guide for developers in project Wiki Sergey Smolov Andrei Tatarnikov Actions
(51-63/63) Per page: 25, 50, 100

Also available in: Atom CSV PDF