OpenMP: Array copying
A simple OpenMP program that performs an array copy in parallel (via parallel for-loops, annotated with pragmas).
|Language||OpenMP for C|
|Features||Arrays, Iteration contracts, Loop parallelisations, Pragmas, Quantified permissions|
|Path to example file||openmp/copy-spec.c|
|Lines of code||54 lines (comments not included)|
|Lines of specification||8 lines (14.81% of the total)|
|Computation time||15439 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.