Array clearing (succeeding)
Verification example in which a input array is "cleared" or "zero-ed" by assigning '0' to each element.
|Features||Arrays, Iteration contracts|
|Path to example file||carp/ZeroArrayIC.java|
|Lines of code||17 lines (comments not included)|
|Lines of specification||5 lines (29.41% of the total)|
|Computation time||23129 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.