Changes between Version 25 and Version 26 of Next-GenOpenMPTransformation


Ignore:
Timestamp:
05/20/19 20:11:45 (7 years ago)
Author:
ziqing
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Next-GenOpenMPTransformation

    v25 v26  
    175175  * The CIVL back-end runs the sequentialized program and detects the array out-of-bound access.
    176176
    177 * Example 3
     177==  The Current Approach For Model Checking OpenMP Programs ==
     178* Example:
    178179{{{
    179180#include <omp.h>
    … …  
    225226  }}}
    226227
    227 == Capture Read / Write at Runtime ==
     228== The New Approach for Model Checking OpenMP programs ==
     229* Using CIVL's new infrastructure that captures reads / writes at runtime
    228230* If the OpenMP Simplifier fails to sequentialize a program,  transform the OpenMP program to the following form for model checking:
    229231{{{