OpenMP: Vector addition (PVL)

Simple test case for a vector block. Note that vector blocks do not require iteration contracts.

General Information

• Backend: Silicon
• Language: PVL
• Features: Arrays, Quantified permissions, Loop vectorisation
• Path to Example File: openmp/addvec1.pvl
• Should Verify: Yes
• Date: 2017-06-20
• Lines of Code: 17 (comments not included)
• Lines of Specification: 8 (47.1% of total)
• Computation Time: 25.0 seconds