Simulink Code Inspector look-up table problem

Hi,

When I want to verify the generated code with Simulink Code Inspector, I get a report that the whole code and model is verified.

However, the Code Inspector report shows some blocks under the heading ‘Functions which need to be manually verified’.

These bloks are 1-D look-up tables.

Why do the blocks appear under the heading ‘Functions which need to be manually verified' even though the entire report is produced as verified?

If Code Inspector cannot verify these blocks, why doesn't they appear in the report as not verified?

How can i verify these bloks?

Thanks.

Answer 1

[Kavya Vuriti]

Hi,

For the lookup table block, SLCI verifies the function call only, not the function body in releases before R2019a. The function body will need to be manually verified. The function body is generated in the shared utilities folder.

Code inspection support for nD-Lookup Table is added from R2019a.

[Furkan Bayrak]

Hi Kavya,

Is there a plan, that can automatically verify the function body in the future Matlab versions?

Thanks.

Furkan

[Kavya Vuriti]

In case you have only simulink blocks in your model, this is the list of blocks which are supported by code inspector. For all other blocks, function body will need to be manually verified.