This verification example shows how to verify code with exponentials (that is, code that uses the binary `^^` operator). This example currently does not verify (not quite sure if it ever did).
|Path to example file||manual/exp.pvl|
|Lines of code||21 lines (comments not included)|
|Lines of specification||6 lines (28.57% of the total)|
Note, verification may take a while and has a time-out of 20 seconds.