Changes between Version 1 and Version 2 of CIVLPragmas

Timestamp:

07/29/14 14:05:05 (12 years ago)

Author:

zmanchun

Comment:

--

CIVLPragmas

@@ -7 +7 @@
   e.g. `#pragma CIVL $assume NPROCS > 1 && NPROCS < 6;`
 
-- input variable
+- input/output variable
 
-   #pragma CIVL $input TYPE NAME;
+   #pragma CIVL $input/$output TYPE NAME;
 
    e.g: