Examples are downloaded from LLNL Pthreads tutorial: https://computing.llnl.gov/tutorials/pthreads/exercise.html

Minor modications have been maded in examples so that CIVL can verify them.

arrayLoops.c:
  added _CIVL macros to make NTHREADS/ARRAYSIZE input varaibles;
  added assertion to check the result (sum).





