Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5785 MicroTESK Task New Normal Too much diagnostics on misprintings Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
5752 MicroTESK Task New Normal Support for macro Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5677 MicroTESK Task New Urgent Examples of templates demonstrating how to create combinatorial tests Andrei Tatarnikov 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
5652 MicroTESK Task New High Better examples of test templates using test situations Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5428 MicroTESK Task Open High Stabilization of source code representation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5421 Fortress Task Open Normal Utility methods on expression nodes Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates 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
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov 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
4805 TestBase Task New Normal Top-level test situations of instructions 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
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4016 MicroTESK Task New Normal The nML Language Reference Alexander Kamkin Andrei Tatarnikov Actions
3993 MicroTESK Task New Normal Description of the nML translator Alexander Kamkin Andrei Tatarnikov Actions
(51-69/69) Per page: 25, 50, 100

Also available in: Atom CSV PDF