Add Reach presets for STG verification
Registered by
Danil Sokolov
The following presets can be useful:
- Consistency
- Output persistency
- CSC and USC
- Normalicy
Blueprint information
- Status:
- Complete
- Approver:
- None
- Priority:
- Medium
- Drafter:
- Danil Sokolov
- Direction:
- Approved
- Assignee:
- Danil Sokolov
- Definition:
- Approved
- Series goal:
- None
- Implementation:
- Implemented
- Milestone target:
- 3.0.1
- Started by
- Danil Sokolov
- Completed by
- Danil Sokolov
Whiteboard
(?)
Work Items
Work items:
Correct the output message on user presets: DONE
Add Reach presets for Consistency and Output Persistency: DONE
Consider the usefulness of Reach presets for USC, CSC and Normalicy: DONE