wiki:PthreadTransformation

Version 1 (modified by zmanchun, 12 years ago) ( diff )

--

Pthread to CIVL Transformation

  • pthread_exit(void*)
    • _pthread_exit(void*, boolean isMain)
Note: See TracWiki for help on using the wiki.