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.

General Information

  • Backend: Silicon
  • Language: C / OpenMP / OpenCL
  • Features: Iteration contracts, Arrays, Matrices, Loop parallelisations
  • Path to Example File: arrays/basic-examples.c
  • Should Verify: Yes
  • Date: 2017-06-15
  • Lines of Code: 233 (comments not included)
  • Lines of Specification: 101 (43.3% of total)
  • Computation Time: 62.7 seconds