When I run verification with Polyspace R2012b, there is an error like this: "No code found for the system xxxx. Before running the verification, generate code using TargetLink"

When I run verification with Polyspace R2012b in MatlabR2013b, there is an error like this: "No code found for the system xxxx. Before running the verification, generate code using TargetLink".However, I am sure that I have generate the codes by Targetlink.

Answer 1

[Nick Sarnie]

Hi Augus,

It is possible to receive this error if the code has only been generated for one subsystem, and not the entire model.

If this is the case, please call Polyspace using the following steps:

1) Right click on the subsystem

2) Choose Polyspace->Polyspace for TargetLink from the menu

[augus liu]

Hi Nick, Firstly, thanks for your answer. However, when I click the subsystem with my Polyspace R2012b in Matlab R2013b, it does not have the options about"Polyspace->Polyspace for TargetLink from the menu". Can you tell me how I can get this options?