[svcomp] add array-industry-pattern

Open Dario Pinto requested to merge feature/svcomp into master

Merge request reports