OpenMP: Array blanking

Using a parallel for loop in OpenMP to blank an array.

General information

ID114
Articlenone
Back-endSilicon
LanguageOpenMP for C
FeaturesArrays, Iteration contracts, Pragmas, Quantified permissions
Sources
Path to example fileopenmp/zero-spec.c
Date2017-06-20

Statistical information

Lines of code39 lines (comments not included)
Lines of specification8 lines (20.51% of the total)
Computation time16228 milliseconds

Example code

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