Array clearing in C (succeeding)
Verification example in which an array of integers is "cleared" by assigning 0 to each of its elements.
|Language||OpenMP for C|
|Features||Arrays, Iteration contracts|
|Path to example file||carp/zero-loop.c|
|Lines of code||17 lines (comments not included)|
|Lines of specification||7 lines (41.18% of the total)|
|Computation time||12839 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.