Forward dependencies (error 1)
Verification example with forward loop dependencies that does not verify (the example is included for testing puposes).
|Language||OpenMP for C|
|Features||Arrays, Iteration contracts, Loop parallelisations|
|Path to example file||arrays/forward-dep-e1.c|
|Lines of code||32 lines (comments not included)|
|Lines of specification||13 lines (40.63% of the total)|
|Computation time||14115 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.