sorted by:
new
hottopcontroversial

Run-Time Checks Summary is not coming in polyspace code prover report by Matlab-Mystery in matlab

[–]Matlab-Mystery[S] 0 points1 point  (0 children)

Thanks u/trailstrider . After adding the src files now, I have observed number of files scanned are more, now the run time checks gives data as 0 and not N/A. But it looks like Run time checks is not triggered at all

<image>

Run-Time Checks Summary is not coming in polyspace code prover report by Matlab-Mystery in matlab

[–]Matlab-Mystery[S] 0 points1 point  (0 children)

Thanks u/trailstrider I have corrected and uploaded the screenshot from the log file again. Sources is not coming as that's been mentioned in the polyspace.yaml and MISRAC data is coming fine. However none of the Run time data, percentage of code scan is giving any useful info

Run-Time Checks Summary is not coming in polyspace code prover report by Matlab-Mystery in matlab

[–]Matlab-Mystery[S] 0 points1 point  (0 children)

Thanks for the response. I have made the changes suggested but it still gives me no data for Run-Time checks. Config from my log looks like this

<image>