Changes between Initial Version and Version 1 of PthreadTransformation


Ignore:
Timestamp:
06/16/14 14:27:32 (12 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • PthreadTransformation

    v1 v1  
     1
     2== Pthread to CIVL Transformation ==
     3
     4- pthread_exit(void*)
     5   * _pthread_exit(void*, boolean isMain)
     6