Changes between Version 12 and Version 13 of VerificationWithContracts


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

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v12 v13  
    1717
    1818== Notations of MPI contracts ==
    19 `MPI collective block`
     19`MPI Collective Block`
    2020{{{
    21 
    22 
     21Collective-signature ::= "\mpi_collective(MPI_Comm, COLLECTIVE_KIND)";
     22Collective-body ::= (ACSL clause)* ;
     23Collective-block ::= Collective-signature : Collective-body;
    2324}}}