Changes between Version 4 and Version 5 of VerificationWithContracts


Ignore:
Timestamp:
01/22/16 09:16:42 (10 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v4 v5  
    1414from supporting part of them.
    1515}}}
     16== Contracts for MPI programs ==
     17{{{
     18Contracts for MPI programs are contracts stating specific properties of MPI programs. MPI contracts must be introduced by an MPI behavior constructor. To be consistent with
     19}}}