Several succeeding and failing verification examples of accessing parts of a matrix (in kernel fashion).
|Language||OpenMP for C|
|Path to example file||carp/access-sub-matrix.c|
|Lines of code||33 lines (comments not included)|
|Lines of specification||14 lines (42.42% of the total)|
|Computation time||18194 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.