Counting test

This verification example demonstrates summation patterns, that is, the use of "\sum" expressions to calculate summations over sequences. The program contains both passing and failing verification cases.

General information

ID56
Articlenone
Back-endSilicon
LanguageJava
FeaturesArrays, Sequences, Summation patterns
Sources
Path to example filefloats/TestCount.java
Date2017-06-16

Statistical information

Lines of code44 lines (comments not included)
Lines of specification21 lines (47.73% of the total)
Computation time39674 milliseconds

Example code

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