Forward dependencies (error 1)

Verification example with forward loop dependencies that does not verify (the example is included for testing puposes).

General Information

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