Project

General

Profile

Actions
Copy link

Feature #11798

closed

Add models and tests for dev_err_probe()

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

Status:
Closed
Priority:
High
Assignee:
Evgeny Novikov
Category:
Environment models
Target version:
3.7
Start date:
08/02/2022
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

dev_err_probe() represents modern API for handling errors in probe(). Nowadays, there is no many related false alarms, but it will get worse when there will be more users of this API.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 2 years ago

  • Status changed from New to Resolved

I did everything necessary in branch dev_err_probe_models_and_tests. Verification of drivers with corresponding false alarms demonstrated only positive regressions (safes or unknowns instead of false alarms). Let's evaluate these changes on a complete test suite.

Actions
Copy link
 #2

Updated by Evgeny Novikov over 2 years ago

  • Status changed from Resolved to Closed

Tests demonstrated expected positive regressions. Moreover, in a couple of cases CPAchecker could detect safes instead of timeouts. I merged the branch to master in 7d6d93626.

Actions
Copy link

Also available in: Atom PDF