Changes between Initial Version and Version 1 of CIVLPragmas


Ignore:
Timestamp:
06/06/14 09:59:12 (12 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CIVLPragmas

    v1 v1  
     1CIVL prgamas
     2
     3- assumption
     4
     5  #pragma CIVL $assume EXPRESSION;
     6
     7  e.g. `#pragma CIVL $assume NPROCS > 1 && NPROCS < 6;`
     8
     9- input variable
     10
     11   #pragma CIVL $input TYPE NAME;
     12
     13   e.g:
     14   {{{
     15   #pragma CIVL $input int NBLOCKS;
     16   int NBLOCKS = 5;
     17   }}}
     18
     19   The pragma tells the transformer to make NBLOCKS an input variable and ignore the initialization expression `5`