⚲
Project
General
Profile
Sign in
Register
Home
Projects
Help
Search
:
Jump to a project...
All Projects
Open-Source Projects
Projects
Activity
Issues
Spent time
Gantt
Calendar
News
Issues
View all issues
Custom queries
extended view
Issues
Filters
Add filter
Status
Project
Tracker
Priority
Author
Assignee
Target version
Subject
Description
Estimated time
% Done
File
Updated by
Last updated by
Published in build
Issue
Assignee's group
Assignee's role
Target version's Due date
Target version's Status
Created
Updated
Closed
Start date
Due date
Related to
Is duplicate of
Has duplicate
Blocks
Blocked by
Precedes
Follows
Copied to
Copied from
Parent task
Subtasks
Options
Columns
Available Columns
Parent task
Updated
Category
Start date
Due date
Estimated time
Total estimated time
Spent time
Total spent time
% Done
Created
Closed
Last updated by
Related issues
Files
Detected in build
Platform
Published in build
Selected Columns
Project
Tracker
Status
Priority
Subject
Author
Assignee
Target version
Group results by
Project
Tracker
Status
Priority
Author
Assignee
Category
Target version
% Done
Platform
Show
Description
Last notes
Totals
Estimated time
Spent time
Apply
Clear
#
Project
Tracker
Status
Priority
Subject
Author
Assignee
Target version
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
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
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
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
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
5775
Fortress
Bug
Closed
Normal
BitVector.longValue returns incorrect values
Andrei Tatarnikov
Andrei Tatarnikov
Fortress - 0.4
5708
MicroTESK
Bug
Closed
Immediate
MicroTESK build fails: SsaAssembler - symbol Changes is not defined
Andrei Tatarnikov
Artem Kotsynyak
MicroTESK - 2.1
5671
MicroTESK
Bug
New
Urgent
Robustness of test template processing logic must be improved
Andrei Tatarnikov
Andrei Tatarnikov
MicroTESK - 2.2
5668
MicroTESK
Bug
Closed
Immediate
Issues with large memory addresses (48 and 64 bits) must be fixed
Andrei Tatarnikov
Andrei Tatarnikov
MicroTESK - 2.2
5659
MicroTESK
Bug
New
High
Function 'trace' should accept addressing modes as arguments
Andrei Tatarnikov
Andrei Tatarnikov
MicroTESK - 2.2
« Previous
1
2
3
4
Next »
(1-25/79)
Per page:
25
,
50
,
100
Also available in:
Atom
CSV
PDF
CSV export options
Selected Columns
All Columns
Description
Last notes
Loading...