Actions
Feature #9580
closedDevelop detailed EMG specifications for Serial drivers
Start date:
04/01/2019
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
For demonstration purposed one should develop specifications of different kinds to call all entry points of Serial drivers. This would allow to support our claims about ability to improve precision of specifications and combine manually-written and generated specifications sets.
Updated by Ilja Zakharov over 5 years ago
- Status changed from New to Resolved
Fixed in the "new-env-models" branch.
Updated by Evgeny Novikov over 5 years ago
- Status changed from Resolved to Closed
After several iterations of various fixes tests passed, so, I merged the branch to master in 0dff9a3ec.
Do not forget to populate updated verification jobs!
Actions