Changes between Version 14 and Version 15 of VerificationWithContracts


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

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v14 v15  
    1717
    1818== Notations of MPI contracts ==
    19 `MPI Collective Block`
     19`MPI-Collective-Block`
    2020{{{
    2121Collective-signature ::= "\mpi_collective(MPI_Comm, COLLECTIVE_KIND)";
    2222Collective-body ::= (ACSL-clause)* ;
    2323Collective-block ::= Collective-signature : Collective-body;
    24 }}}
     24}}}
     25
     26`MPI-Empty-In` && `MPI-Empty-Out`  expressions
     27{{{
     28
     29}}}