Feature #11798
closed
Add models and tests for dev_err_probe()
Added by Evgeny Novikov over 1 year ago.
Updated over 1 year ago.
Category:
Environment models
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.
- 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.
- 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.
Also available in: Atom
PDF