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.
|Features||Arrays, Loop vectorisation, Quantified permissions|
|Path to example file||openmp/parvec.pvl|
|Lines of code||14 lines (comments not included)|
|Lines of specification||3 lines (21.43% of the total)|
|Computation time||25708 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.