Changes between Version 13 and Version 14 of VerificationWithContracts


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

--

Legend:

Unmodified
Added
Removed
Modified

  • VerificationWithContracts

    v13 v14  
    2020{{{
    2121Collective-signature ::= "\mpi_collective(MPI_Comm, COLLECTIVE_KIND)";
    22 Collective-body ::= (ACSL clause)* ;
     22Collective-body ::= (ACSL-clause)* ;
    2323Collective-block ::= Collective-signature : Collective-body;
    2424}}}