Exponentials

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).

General information

ID89
Articlenone
Back-endChalice
LanguageJava
Features
Sources
Path to example filemanual/exp.pvl
Date2017-06-20

Statistical information

Lines of code21 lines (comments not included)
Lines of specification6 lines (28.57% of the total)
Computation timeunknown

Example code

Note, verification may take a while and has a time-out of 20 seconds.