This folder contains examples of translating MPI+Pthread programs into CIVL model.
Running "make" will execute the verification of all CIVL models in this folder.