Changes between Version 5 and Version 6 of VerificationWithContracts


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

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v5 v6  
    1616== Contracts for MPI programs ==
    1717{{{
    18 Contracts 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
     18Contracts for MPI programs are contracts stating specific properties of MPI programs. MPI contracts must be introduced by an
     19MPI behavior constructor. To be consistent with
    1920}}}