This folder contains Fortran examples including:
  All examples in badExamples verified by CIVL will report a kind of violation.
  
  All examples in provesaExamples are provided by PROVESA organization, which
  is used to validate the correctness of the processing of Fortran program in 
  CIVL.