Artifact for 'Dynamic Contract Analysis for Parallel Programming Models: Evaluation on MPI and OpenSHMEM'

This dataset contains the results presented in 'Dynamic Contract Analysis for Parallel Programming Models: Evaluation on MPI and OpenSHMEM', as well as the scripts necessary to reproduce them. For the up-to-date CoVer(-Dynamic) source code, see https://github.com/tudasc/CoVer