Domain of floats
This verification example contains a domain of floats, together with a testing method that uses the floats.
|Path to example file||domains/float.sil|
|Lines of code||58 lines (comments not included)|
|Lines of specification||5 lines (8.62% of the total)|
|Computation time||25844 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.