Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8939 MicroTESK Feature Closed High [autogen] New option 'base-template-path' must be supported. Andrei Tatarnikov Alexander Protsenko MicroTESK - 2.4
8481 MicroTESK Task New Urgent Need a way to specify the termination addresss for the test program. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4
8455 MicroTESK Bug Rejected Normal Test Document Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4
8061 MicroTESK Bug New Normal Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Andrei Tatarnikov
7759 TestBase Bug Closed High Avoid using lambda functions Andrei Tatarnikov Alexander Dyumaev
7690 MicroTESK Bug Closed Urgent Exception handler is not handled if it is not the first element in the list of exception describe in test templates Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4
7678 MicroTESK Task New Normal Generation of LLVM configuration files from nML specifications Andrei Tatarnikov Alexander Ulyanov MicroTESK - 2.4
7628 MicroTESK Bug Closed Immediate Methods 'dist' and 'range' are not supported in data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7534 MicroTESK Task Closed High Configuration option to manage reservation of explicitly specified registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7463 MicroTESK Bug Closed Urgent Correct processing of block structures and code in the root of pre, post and run methods Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7461 MicroTESK Bug Closed Immediate Block-level prologue and epilogue must stay prologue and epilogue when sequences are mixed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
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
7385 MicroTESK Bug Closed Immediate The 'prepare' function does not work with randomly selected registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7300 MicroTESK Task Closed Urgent More timing metrics in generation statistics Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7298 MicroTESK Task Closed Urgent Command-line option to disable simulation on the reference model Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7269 MicroTESK Bug Rejected High Returning from an exception in the last instruction in a test case Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7251 MicroTESK Bug New High A warning or error is needed when a value is truncated Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
7012 MicroTESK Task Closed High Implement means of managing the use of registers in a test program Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
6973 MicroTESK Task Closed High Support for atomic sequences that will never be interrupted/reordered by a compositor/permutator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
6911 MicroTESK Bug New Urgent The "get_address_of" method must work with all label types. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
6910 MicroTESK Bug Closed Immediate The is_global flag for data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
6455 MicroTESK Bug Closed Urgent Implement block-level prologue and epilogue Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
6380 MicroTESK Bug New Normal Possibility to specify initial values for registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
6194 MicroTESK Bug New Normal Automated extraction of addressable unit size Andrei Tatarnikov Andrei Tatarnikov
5990 MicroTESK Bug New High Memory state must be taken into account when generating test data Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5987 MicroTESK Bug Closed High Handling situations when TestBase fails to generate test data (e.g. constraint is UNSAT) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5819 Fortress Task Closed High Calculator for bit vectors Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4
5716 MicroTESK Task Closed High Implement the possibility to process template code multiple times (e.g. atomic (:repeat => N) {}) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
5708 MicroTESK Bug Closed Immediate MicroTESK build fails: SsaAssembler - symbol Changes is not defined Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.1
5678 MicroTESK Task Closed Urgent Support for named branches in ISA specifications Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1
5677 MicroTESK Task New Urgent Examples of templates demonstrating how to create combinatorial tests Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5676 MicroTESK Task Closed Urgent [generator] Random generation - weighting / biasing distribution Andrei Tatarnikov
5674 MicroTESK Task New Urgent Description of test data generation mechanisms (test situation processing, constraint solving) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5673 MicroTESK Task Closed Urgent Memory scalability for large memory ranges (address space for 48 and 64 bit addresses) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5672 MicroTESK Task Closed Urgent Support for UNPREDICTED and UNDEFINED Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.2
5671 MicroTESK Bug New Urgent Robustness of test template processing logic must be improved Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5670 MicroTESK Task Closed Normal Examples of test templates using memory-related test situations (hit, miss) Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.3
5668 MicroTESK Bug Closed Immediate Issues with large memory addresses (48 and 64 bits) must be fixed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5667 MicroTESK Task Closed Urgent Support splitting generated test programs into several source files Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
5666 MicroTESK Task Closed Urgent Estimate generation speed Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.1
5665 Fortress Task Closed Urgent Support for CVC4 Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4
5659 MicroTESK Bug New High Function 'trace' should accept addressing modes as arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5658 MicroTESK Task Closed Normal Need a single entry point for the translator and test generator subsystem Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5657 MicroTESK Task Closed High A command line option for random seed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3
5654 MicroTESK Task Closed Urgent [template] User-defined seed for random generation Andrei Tatarnikov Andrei Tatarnikov
5652 MicroTESK Task New High Better examples of test templates using test situations Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
5650 MicroTESK Bug Rejected High Exception when no test situation is specified. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2
(1-50/79) Per page: 25, 50, 100

Also available in: Atom CSV PDF