Recursive trees: Deleting smallest element
Verification example in which the smallest element of a tree is recursively removed.
|Path to example file||witnesses/TreeRecursiveSilver.java|
|Lines of code||36 lines (comments not included)|
|Lines of specification||19 lines (52.78% of the total)|
|Computation time||19860 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.