Changes between Version 6 and Version 7 of VerificationWithContracts


Ignore:
Timestamp:
01/22/16 10:02:39 (10 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v6 v7  
    1717{{{
    1818Contracts for MPI programs are contracts stating specific properties of MPI programs. MPI contracts must be introduced by an
    19 MPI behavior constructor. To be consistent with
     19MPI behavior constructor `\mpi_collective(MPI_Comm, Collective_Kind)` which should be used in a similar way as ACSL
     20 `guards`
    2021}}}