Domain of option types
This verification example contains a (Silver) domain for option types, as well as a testing method that use the axioms.
|Path to example file||domains/option.sil|
|Lines of code||31 lines (comments not included)|
|Lines of specification||3 lines (9.68% of the total)|
|Computation time||14928 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.