Actions
Task #5672
closedSupport for UNPREDICTED and UNDEFINED
Start date:
03/03/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
150611
Description
Support for handling branches of instruction logic marked as UNPREDICTED and UNDEFINED:
- In the nML translator (keywords UNPREDICTED or UNDEFINED);
- In the coverage extractor (corresponding constraints)
Updated by Andrei Tatarnikov over 9 years ago
- % Done changed from 0 to 10
The "unpredicted" and "undefined" keywords were supported in the translator: r3227.
Note: The initial implementation is raw and is a subject to review in the future.
Updated by Alexander Kamkin over 9 years ago
- Subject changed from [translator][coverage] Support for UNPREDICTED and UNDEFINED to Support for UNPREDICTED and UNDEFINED
- Category set to MIR
- Target version set to 2.2
Updated by Alexander Kamkin over 9 years ago
- Assignee changed from Andrei Tatarnikov to Artem Kotsynyak
Coverage Extractor should take into account UNPREDICATED and UNDEFINED.
Updated by Artem Kotsynyak over 9 years ago
- Status changed from New to Resolved
- % Done changed from 10 to 100
r3855
Updated by Andrei Tatarnikov over 9 years ago
- Status changed from Resolved to Closed
- Published in build set to 150611
Actions