MATLAB: Simulink Code Inspector look-up table problem

Question

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

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.