Feature #6764
closedRewrite LDV Tools new envgen environment model specifications for EMG
0%
Description
There are several dozens of specifications and corresponding tests have been developed for LDV Tools new environment generator. On base of that specifications new interface categories specifications and event categories specifications should be implemented for Klever EMG.
Updated by Alexey Khoroshilov over 8 years ago
- Subject changed from Rewrite LDV Tools new envgen environment model specifications specifications for EMG to Rewrite LDV Tools new envgen environment model specifications for EMG
Updated by Evgeny Novikov almost 8 years ago
- Assignee set to Ilja Zakharov
- Priority changed from Normal to Urgent
It's time to do it! Don't forget about a comprehensive test suite!
Updated by Ilja Zakharov almost 8 years ago
- Priority changed from Urgent to High
Updated by Ilja Zakharov almost 8 years ago
- Status changed from New to Resolved
I have ported all specifications except workqueues finally and the whole test set. By the way timers and workqueues are not supported by EMG and CPAchecker anyway: the first requires support of macro functions and the second one lacks analysis of structure fields to extract callbacks.
Intend to close the bug, since there is a separate one for workqueues in particular.
All specifications are in 'emg-porting-specs' branch.
Updated by Evgeny Novikov almost 8 years ago
- Status changed from Resolved to Closed
- Priority changed from High to Urgent
I merged the given branch in a785952 to master.
The priority wasn't estimated properly before, since lack of environment model specifications caused a plenty of false alarms before.