Project

General

Profile

Actions

Feature #10744

closed

Develop model for "current"

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
High
Category:
Environment models
Target version:
Start date:
03/10/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Sometimes drivers do something depending on a current PID. Due to it is obtained using inline Assebler, verification tools can not reason properly about that.

Actions #1

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Resolved

I did this in branch model-for-current. Let's wait for CI results.

Actions #2

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

After some improvements the new model passed tests. I merged the branch to master in 458cd2252.

Actions

Also available in: Atom PDF