low coverage for sv-benchmarks/c/loops/nec11.c

[izlatkin]

For https://github.com/sosy-lab/sv-benchmarks/blob/master/c/loops/nec11.c it is expected at least one test with static const int inp_5578[] = {1};

now 'while' is not covered

[izlatkin]

nec11.smt2.txt

[grigoryfedyukovich]

Arrays

[izlatkin]

fixed