Polyspace throws issue after run completed.Cant download the result

1 次查看（过去 30 天）

Shyam Prasad M 2020-2-18

评论： Anirban 2020-2-20

File pst_file_stub.c line 10255

Error: the size of an array must be greater than zero

char chk___pst_t_110595[(sizeof(struct __pst_t_110595)==2184888) ? 1 : -1] ;

Issue in pst_file_stub.c ,How to overcome this kind of issue.Whats the root cause ??

Anirban 2020-2-20

Please contact MathWorks Technical Support with this question:

The root cause and solution depends on the Polyspace version used, the analysis configuration and the source code.

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

Find the treasures in MATLAB Central and discover how the community can help you!

Translated by