# Histogram with summations

Verification example of a method that calculates the histogram of an input array a. Summation patterns (i.e. the use of "\sum" expressions) are used in the verification.

### General information

ID 58 none Silicon Java Arrays, Sequences, Summation patterns floats/TestHist.java 2017-06-16

### Statistical information

Lines of code 34 lines (comments not included) 15 lines (44.12% of the total) 71529 milliseconds

### Example code

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