Here lists MPI (Message-Passing Interface Library) programs that can
be verified by CIVL (The Concurrency Intermediate Verification
Language).

Note: CIVL now supports checking potential deadlocks. Chekcing
      absolute deadlocks are set by default, adding option
      "-deadlock=potential" enables potential deadlock checking
      mode. The example "head2headSends.c" should be verified in
      potential deadlock checking mode.


To run the programs: Type "make" under this folder Or using CIVL
commands to run the programs CIVL:
http://vsl.cis.udel.edu/civl/test/current/latest/release/


