OpenMP: Array copying

A simple OpenMP program that performs an array copy in parallel (via parallel for-loops, annotated with pragmas).

General information

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

Statistical information

Lines of code54 lines (comments not included)
Lines of specification8 lines (14.81% of the total)
Computation time15439 milliseconds

Example code

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