Artifact for 'Verifying MPI API Usage Requirements with Contracts'

This dataset contains the results presented in 'Verifying MPI API Usage Requirements with Contracts', as well as the scripts necessary to reproduce them. See README.md after extracting the archive for details. For the up-to-date tool source code, see https://github.com/tudasc/CoVer