Verifying several operations (e.g. append, clone, concatenate, prepend, etc.) on a linked list structure.
|Path to example file||lists/linkedlist.pvl|
|Lines of code||215 lines (comments not included)|
|Lines of specification||98 lines (45.58% of the total)|
Note, verification may take a while and has a time-out of 20 seconds.