I see the following error message during PolySpace compilation phase when I use dynamic arrays in my code:
Verifying sample.c "c:\tmp\mds2\sources\sample.c", line 4: error: expression must have a constant value char b[a]; ^ 1 error detected in the compilation of "sample.c".
Best Answer