Backward dependencies (error 1)

Verification example with backward loop dependencies that does not verify.

General Information

  • Backend: Silicon
  • Language: C / OpenMP / OpenCL
  • Features: Iteration contracts, Arrays, Loop parallelisations
  • Path to Example File: arrays/backward-dep-e1.c
  • Should Verify: No
  • Date: 2017-06-15
  • Lines of Code: 35 (comments not included)
  • Lines of Specification: 17 (48.6% of total)
  • Computation Time: 14.7 seconds