Project

General

Profile

Feature #9580

Develop detailed EMG specifications for Serial drivers

Added by Ilja Zakharov about 2 months ago. Updated about 2 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment model
Target version:
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.

History

#1

Updated by Ilja Zakharov about 2 months ago

  • Status changed from New to Resolved

Fixed in the "new-env-models" branch.

#2

Updated by Evgeny Novikov about 2 months 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!

Also available in: Atom PDF