OpenMP: Vector addition (single)

Simple verification test case with a single vectorised loop. We verify that after executing the loop every element of the array has its value increased by one.

General information

ID110
Articlenone
Back-endSilicon
LanguagePVL
FeaturesArrays, Loop vectorisation, Quantified permissions
Sources
Path to example fileopenmp/parvec.pvl
Date2017-06-20

Statistical information

Lines of code14 lines (comments not included)
Lines of specification3 lines (21.43% of the total)
Computation time25708 milliseconds

Example code

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