Verifying goto (failing)
Failing verification example in which a program is verified that uses goto's and labels.
|Path to example file||goto/goto1.pvl|
|Lines of code||14 lines (comments not included)|
|Lines of specification||2 lines (14.29% of the total)|
|Computation time||18043 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.