Basic C example
This file shows how arrays and matrices can be initialized to 0 and/or copied. There are also various failing mutants in this directory, but those are on per file for testing purposes.
|Language||OpenMP for C|
|Features||Arrays, Iteration contracts, Loop parallelisations, Matrices|
|Path to example file||arrays/basic-examples.c|
|Lines of code||233 lines (comments not included)|
|Lines of specification||101 lines (43.35% of the total)|
|Computation time||62689 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.