Project

General

Profile

Actions

Feature #10498

closed

Develop model for v4l2_i2c_subdev_init()

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

Status:
Closed
Priority:
Urgent
Category:
Environment models
Target version:
Start date:
09/16/2020
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

After development of more accurate model for devm memory allocation function there are quite many false alarms due to v4l2_i2c_subdev_init() does not have a definition/model during verification.

Actions #1

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Resolved

I did the model and the test case in branch v4l2_i2c_subdev_init-model. Let's wait for CI.

Actions #2

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in 54182dd1d.

Actions

Also available in: Atom PDF