All instances of coRW1 in blcr

CycleObjectsSource locationsSource events
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:195R:thread_state (libcr/cr_async.c:195 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:195R:thread_state (libcr/cr_async.c:195 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:196R:thread_state (libcr/cr_async.c:196 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:195R:thread_state (libcr/cr_async.c:195 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:195R:thread_state (libcr/cr_async.c:195 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:196R:thread_state (libcr/cr_async.c:196 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:195R:thread_state (libcr/cr_async.c:195 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:195R:thread_state (libcr/cr_async.c:195 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:196R:thread_state (libcr/cr_async.c:196 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:85 tests/readdir.c:68R:scan::1::prev_pos (tests/readdir.c:68 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfiscan::1::prev_postests/readdir.c:69 tests/readdir.c:85R:scan::1::prev_pos (tests/readdir.c:69 function scan thread 0) W:scan::1::prev_pos (tests/readdir.c:85 function scan thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:570R:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0) W:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:570R:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0) W:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:370R:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:370R:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:370R:__CPROVER_memory_leak (tests/crut_util.c:370 function crut_find_testsdir thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:370 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:383R:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:383R:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:386R:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:386R:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:530R:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:530R:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:530R:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:530R:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:530R:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:530R:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:530R:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:533R:__CPROVER_malloc_object (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:533R:__CPROVER_malloc_is_new_array (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:404R:__CPROVER_memory_leak (tests/crut_util.c:404 function crut_find_cmd thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:404 function crut_find_cmd thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:406R:__CPROVER_deallocated (tests/crut_util.c:406 function crut_find_cmd thread 0) W:__CPROVER_deallocated (tests/crut_util.c:406 function crut_find_cmd thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:406R:__CPROVER_deallocated (tests/crut_util.c:406 function crut_find_cmd thread 0) W:__CPROVER_deallocated (tests/crut_util.c:406 function crut_find_cmd thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:406R:__CPROVER_memory_leak (tests/crut_util.c:406 function crut_find_cmd thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:406 function crut_find_cmd thread 0)
PosRW Rfi__CPROVER_deallocatedtests/save_aux.c:92R:__CPROVER_deallocated (tests/save_aux.c:92 function main thread 0) W:__CPROVER_deallocated (tests/save_aux.c:92 function main thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/save_aux.c:92R:__CPROVER_malloc_size (tests/save_aux.c:92 function main thread 0) W:__CPROVER_malloc_size (tests/save_aux.c:92 function main thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-close:35 <builtin-library>-close:37R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:37 function close thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-read:52 <builtin-library>-read:66R:__CPROVER_pipes (<builtin-library>-read:52 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:66 function read thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-read:59 <builtin-library>-read:61R:__CPROVER_pipes (<builtin-library>-read:59 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:61 function read thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-read:61R:__CPROVER_pipes (<builtin-library>-read:61 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:61 function read thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-read:64 <builtin-library>-read:66R:__CPROVER_pipes (<builtin-library>-read:64 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:66 function read thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137R:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137R:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:87R:callback1::1::count (tests/failed_cb2.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:101R:callback1::1::count (tests/failed_cb2.c:101 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137 tests/failed_cb2.c:115R:callback1::1::count (tests/failed_cb2.c:115 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb2.c:137R:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0) W:callback1::1::count (tests/failed_cb2.c:137 function callback1 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:150R:callback2::1::count (tests/failed_cb2.c:150 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:150R:callback2::1::count (tests/failed_cb2.c:150 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:164R:callback2::1::count (tests/failed_cb2.c:164 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:164R:callback2::1::count (tests/failed_cb2.c:164 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:178R:callback2::1::count (tests/failed_cb2.c:178 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:178R:callback2::1::count (tests/failed_cb2.c:178 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197R:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:150R:callback2::1::count (tests/failed_cb2.c:150 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:150R:callback2::1::count (tests/failed_cb2.c:150 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:164R:callback2::1::count (tests/failed_cb2.c:164 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:164R:callback2::1::count (tests/failed_cb2.c:164 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:178R:callback2::1::count (tests/failed_cb2.c:178 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:178R:callback2::1::count (tests/failed_cb2.c:178 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197R:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:150R:callback2::1::count (tests/failed_cb2.c:150 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:150R:callback2::1::count (tests/failed_cb2.c:150 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:164R:callback2::1::count (tests/failed_cb2.c:164 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:164R:callback2::1::count (tests/failed_cb2.c:164 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:178R:callback2::1::count (tests/failed_cb2.c:178 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197 tests/failed_cb2.c:178R:callback2::1::count (tests/failed_cb2.c:178 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rficallback2::1::counttests/failed_cb2.c:197R:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0) W:callback2::1::count (tests/failed_cb2.c:197 function callback2 thread 0)
PosRW Rfifilenametests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:114 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120R:filename (tests/get_info.c:120 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:114 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120R:filename (tests/get_info.c:120 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:114 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120R:filename (tests/get_info.c:120 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:114 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120R:filename (tests/get_info.c:120 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:114 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120R:filename (tests/get_info.c:120 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:114 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:114R:filename (tests/get_info.c:114 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120 tests/get_info.c:115R:filename (tests/get_info.c:115 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfifilenametests/get_info.c:120R:filename (tests/get_info.c:120 function get_info_setup_generic thread 0) W:filename (tests/get_info.c:120 function get_info_setup_generic thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:570R:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0) W:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:570R:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0) W:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:370R:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:370R:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:370 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:370R:__CPROVER_memory_leak (tests/crut_util.c:370 function crut_find_testsdir thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:370 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:382R:__CPROVER_deallocated (tests/crut_util.c:382 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:382 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:382R:__CPROVER_deallocated (tests/crut_util.c:382 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:382 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:382R:__CPROVER_memory_leak (tests/crut_util.c:382 function crut_find_testsdir thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:382 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:383R:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:383R:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:383 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:383R:__CPROVER_memory_leak (tests/crut_util.c:383 function crut_find_testsdir thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:383 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:386R:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:386R:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:152R:__CPROVER_malloc_object (tests/crut_wrapper.c:152 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:152 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:152R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:152 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:152 function setup thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:153R:crut_argc (tests/crut_wrapper.c:153 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:153 function setup thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:153R:crut_argc (tests/crut_wrapper.c:153 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:153 function setup thread 0)
PosRW Rficrut_argumentstests/crut_wrapper.c:163R:crut_arguments (tests/crut_wrapper.c:163 function setup thread 0) W:crut_arguments (tests/crut_wrapper.c:163 function setup thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:530R:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:530R:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:530R:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:530R:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:530R:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:530R:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:530R:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:530R:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:533R:__CPROVER_deallocated (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:533R:__CPROVER_malloc_object (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:533R:__CPROVER_malloc_size (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:533R:__CPROVER_malloc_is_new_array (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:164R:crut_argc (tests/crut_wrapper.c:164 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:164 function setup thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:164R:crut_argc (tests/crut_wrapper.c:164 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:164 function setup thread 0)
PosRW Rficrut_argumentstests/crut_wrapper.c:167R:crut_arguments (tests/crut_wrapper.c:167 function setup thread 0) W:crut_arguments (tests/crut_wrapper.c:167 function setup thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:168R:crut_argc (tests/crut_wrapper.c:168 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:168 function setup thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:168R:crut_argc (tests/crut_wrapper.c:168 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:168 function setup thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:177R:__CPROVER_malloc_object (tests/crut_wrapper.c:177 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:177 function setup thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:177R:__CPROVER_malloc_size (tests/crut_wrapper.c:177 function setup thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:177 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:177R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:177 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:177 function setup thread 0)
PosRW Rfiopt_verbosetests/crut_wrapper.c:193R:opt_verbose (tests/crut_wrapper.c:193 function setup thread 0) W:opt_verbose (tests/crut_wrapper.c:193 function setup thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:187R:__CPROVER_malloc_object (tests/crut_wrapper.c:187 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:187 function setup thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:187R:__CPROVER_malloc_size (tests/crut_wrapper.c:187 function setup thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:187 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:187R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:187 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:187 function setup thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:152R:__CPROVER_deallocated (tests/crut_wrapper.c:152 function setup thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:152 function setup thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:152R:__CPROVER_malloc_object (tests/crut_wrapper.c:152 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:152 function setup thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:152R:__CPROVER_malloc_size (tests/crut_wrapper.c:152 function setup thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:152 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:152R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:152 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:152 function setup thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:156R:__CPROVER_deallocated (tests/crut_wrapper.c:156 function setup thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:156 function setup thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:156R:__CPROVER_malloc_object (tests/crut_wrapper.c:156 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:156 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:156R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:156 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:156 function setup thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:157R:crut_argc (tests/crut_wrapper.c:157 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:157 function setup thread 0)
PosRW Rficrut_argctests/crut_wrapper.c:157R:crut_argc (tests/crut_wrapper.c:157 function setup thread 0) W:crut_argc (tests/crut_wrapper.c:157 function setup thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:156R:__CPROVER_malloc_object (tests/crut_wrapper.c:156 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:156 function setup thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:156R:__CPROVER_malloc_size (tests/crut_wrapper.c:156 function setup thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:156 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:156R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:156 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:156 function setup thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:159R:__CPROVER_deallocated (tests/crut_wrapper.c:159 function setup thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:159 function setup thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:159R:__CPROVER_malloc_object (tests/crut_wrapper.c:159 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:159 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:159R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:159 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:159 function setup thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:159R:__CPROVER_malloc_object (tests/crut_wrapper.c:159 function setup thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:159 function setup thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:159R:__CPROVER_malloc_size (tests/crut_wrapper.c:159 function setup thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:159 function setup thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:159R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:159 function setup thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:159 function setup thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:280R:__CPROVER_deallocated (tests/crut_wrapper.c:280 function get_test_names thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:280 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:280R:__CPROVER_malloc_object (tests/crut_wrapper.c:280 function get_test_names thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:280 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:280R:__CPROVER_malloc_size (tests/crut_wrapper.c:280 function get_test_names thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:280 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:280R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:280 function get_test_names thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:280 function get_test_names thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:287R:__CPROVER_memory_leak (tests/crut_wrapper.c:287 function get_test_names thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:287 function get_test_names thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:490R:__CPROVER_deallocated (tests/crut_util.c:490 function crut_getline thread 0) W:__CPROVER_deallocated (tests/crut_util.c:490 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:490R:__CPROVER_malloc_object (tests/crut_util.c:490 function crut_getline thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:490 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:490R:__CPROVER_malloc_size (tests/crut_util.c:490 function crut_getline thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:490 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:490R:__CPROVER_malloc_is_new_array (tests/crut_util.c:490 function crut_getline thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:490 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:500R:__CPROVER_malloc_object (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:500R:__CPROVER_malloc_is_new_array (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:500R:__CPROVER_memory_leak (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:500R:__CPROVER_malloc_object (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:500R:__CPROVER_malloc_size (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:500R:__CPROVER_malloc_object (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:500R:__CPROVER_malloc_is_new_array (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:500R:__CPROVER_memory_leak (tests/crut_util.c:500 function crut_getline thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:500 function crut_getline thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:293R:__CPROVER_deallocated (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:293R:__CPROVER_malloc_object (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:293R:__CPROVER_malloc_size (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:293R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:293R:__CPROVER_memory_leak (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:293R:__CPROVER_malloc_object (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:293R:__CPROVER_malloc_size (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_wrapper.c:293R:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_wrapper.c:293R:__CPROVER_malloc_object (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_object (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_wrapper.c:293R:__CPROVER_malloc_size (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_malloc_size (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:293R:__CPROVER_deallocated (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:293R:__CPROVER_deallocated (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:293R:__CPROVER_memory_leak (tests/crut_wrapper.c:293 function get_test_names thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:293 function get_test_names thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:297R:__CPROVER_deallocated (tests/crut_wrapper.c:297 function get_test_names thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:297 function get_test_names thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:297R:__CPROVER_deallocated (tests/crut_wrapper.c:297 function get_test_names thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:297 function get_test_names thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:297R:__CPROVER_memory_leak (tests/crut_wrapper.c:297 function get_test_names thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:297 function get_test_names thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-close:35 <builtin-library>-close:37R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:37 function close thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-close:38 <builtin-library>-close:35R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:38 function close thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:378R:__CPROVER_deallocated (tests/crut_wrapper.c:378 function try_restart thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:378 function try_restart thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:378R:__CPROVER_deallocated (tests/crut_wrapper.c:378 function try_restart thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:378 function try_restart thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:378R:__CPROVER_memory_leak (tests/crut_wrapper.c:378 function try_restart thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:378 function try_restart thread 0)
PosRW Rfi__CPROVER_deallocatedlibcr/cr_request.c:218R:__CPROVER_deallocated (libcr/cr_request.c:218 function do_fetch_log thread 0) W:__CPROVER_deallocated (libcr/cr_request.c:218 function do_fetch_log thread 0)
PosRW Rfi__CPROVER_malloc_objectlibcr/cr_request.c:218R:__CPROVER_malloc_object (libcr/cr_request.c:218 function do_fetch_log thread 0) W:__CPROVER_malloc_object (libcr/cr_request.c:218 function do_fetch_log thread 0)
PosRW Rfi__CPROVER_memory_leaklibcr/cr_request.c:226R:__CPROVER_memory_leak (libcr/cr_request.c:226 function do_fetch_log thread 0) W:__CPROVER_memory_leak (libcr/cr_request.c:226 function do_fetch_log thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:403R:__CPROVER_memory_leak (tests/crut_wrapper.c:403 function try_cpr thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:403 function try_cpr thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:416R:__CPROVER_deallocated (tests/crut_wrapper.c:416 function run_crut_tests thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:416 function run_crut_tests thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:416R:__CPROVER_deallocated (tests/crut_wrapper.c:416 function run_crut_tests thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:416 function run_crut_tests thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:416R:__CPROVER_memory_leak (tests/crut_wrapper.c:416 function run_crut_tests thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:416 function run_crut_tests thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:418R:__CPROVER_deallocated (tests/crut_wrapper.c:418 function run_crut_tests thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:418 function run_crut_tests thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:418R:__CPROVER_deallocated (tests/crut_wrapper.c:418 function run_crut_tests thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:418 function run_crut_tests thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:418R:__CPROVER_memory_leak (tests/crut_wrapper.c:418 function run_crut_tests thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:418 function run_crut_tests thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:434R:__CPROVER_memory_leak (tests/crut_wrapper.c:434 function main thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:434 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:437R:__CPROVER_deallocated (tests/crut_wrapper.c:437 function main thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:437 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:437R:__CPROVER_deallocated (tests/crut_wrapper.c:437 function main thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:437 function main thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:437R:__CPROVER_memory_leak (tests/crut_wrapper.c:437 function main thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:437 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:200R:__CPROVER_deallocated (tests/crut_wrapper.c:200 function cleanup thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:200 function cleanup thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_wrapper.c:200R:__CPROVER_deallocated (tests/crut_wrapper.c:200 function cleanup thread 0) W:__CPROVER_deallocated (tests/crut_wrapper.c:200 function cleanup thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:200R:__CPROVER_memory_leak (tests/crut_wrapper.c:200 function cleanup thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:200 function cleanup thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_wrapper.c:201R:__CPROVER_memory_leak (tests/crut_wrapper.c:201 function cleanup thread 0) W:__CPROVER_memory_leak (tests/crut_wrapper.c:201 function cleanup thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfimy_eventtests/hooks.c:103 tests/hooks.c:102R:my_event (tests/hooks.c:102 function my_hook thread 0) W:my_event (tests/hooks.c:103 function my_hook thread 0)
PosRW Rfimy_eventtests/hooks.c:103 tests/hooks.c:102R:my_event (tests/hooks.c:102 function my_hook thread 0) W:my_event (tests/hooks.c:103 function my_hook thread 0)
PosRW Rfimy_eventtests/hooks.c:103 tests/hooks.c:102R:my_event (tests/hooks.c:102 function my_hook thread 0) W:my_event (tests/hooks.c:103 function my_hook thread 0)
PosRW Rfiflagtests/cr_signal.c:77 tests/cr_signal.c:73R:flag (tests/cr_signal.c:73 function catcher thread 0) W:flag (tests/cr_signal.c:77 function catcher thread 0)
PosRW Rfiflagtests/cr_signal.c:77 tests/cr_signal.c:73R:flag (tests/cr_signal.c:73 function catcher thread 0) W:flag (tests/cr_signal.c:77 function catcher thread 0)
PosRW Rfiflagtests/cr_signal.c:77 tests/cr_signal.c:73R:flag (tests/cr_signal.c:73 function catcher thread 0) W:flag (tests/cr_signal.c:77 function catcher thread 0)
PosRW Rfiflagtests/cr_signal.c:77 tests/cr_signal.c:73R:flag (tests/cr_signal.c:73 function catcher thread 0) W:flag (tests/cr_signal.c:77 function catcher thread 0)
PosRW Rfiflagtests/cr_signal.c:77 tests/cr_signal.c:73R:flag (tests/cr_signal.c:73 function catcher thread 0) W:flag (tests/cr_signal.c:77 function catcher thread 0)
PosRW Rfiflagtests/cr_signal.c:77 tests/cr_signal.c:73R:flag (tests/cr_signal.c:73 function catcher thread 0) W:flag (tests/cr_signal.c:77 function catcher thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:196R:thread_state (libcr/cr_async.c:196 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:196R:thread_state (libcr/cr_async.c:196 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rfithread_statelibcr/cr_async.c:240 libcr/cr_async.c:196R:thread_state (libcr/cr_async.c:196 function thread_init thread 0) W:thread_state (libcr/cr_async.c:240 function thread_init thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109R:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109R:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:59R:callback1::1::count (tests/failed_cb.c:59 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:73R:callback1::1::count (tests/failed_cb.c:73 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109 tests/failed_cb.c:87R:callback1::1::count (tests/failed_cb.c:87 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rficallback1::1::counttests/failed_cb.c:109R:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0) W:callback1::1::count (tests/failed_cb.c:109 function callback1 thread 0)
PosRW Rfidummytests/math.c:46R:dummy (tests/math.c:46 function math_callback thread 0) W:dummy (tests/math.c:46 function math_callback thread 0)
PosRW Rfidummytests/math.c:46R:dummy (tests/math.c:46 function math_callback thread 0) W:dummy (tests/math.c:46 function math_callback thread 0)
PosRW Rfidummytests/math.c:46R:dummy (tests/math.c:46 function math_callback thread 0) W:dummy (tests/math.c:46 function math_callback thread 0)
DpDatasW Rficri_hook_tbllibcr/cr_core.c:183 libcr/cr_core.c:184R:cri_hook_tbl (libcr/cr_core.c:183 function cr_register_hook thread 0) W:cri_hook_tbl (libcr/cr_core.c:184 function cr_register_hook thread 0)
DpDatasW Rficri_hook_tbllibcr/cr_core.c:183 libcr/cr_core.c:184R:cri_hook_tbl (libcr/cr_core.c:183 function cr_register_hook thread 0) W:cri_hook_tbl (libcr/cr_core.c:184 function cr_register_hook thread 0)
DpDatasW Rficri_hook_tbllibcr/cr_core.c:183 libcr/cr_core.c:184R:cri_hook_tbl (libcr/cr_core.c:183 function cr_register_hook thread 0) W:cri_hook_tbl (libcr/cr_core.c:184 function cr_register_hook thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave2.c:106R:dummy (tests/cs_enter_leave2.c:106 function main thread 0) W:dummy (tests/cs_enter_leave2.c:106 function main thread 0)
PosRW Rficountertests/cs_enter_leave2.c:74R:counter (tests/cs_enter_leave2.c:74 function thread_main thread 0) W:counter (tests/cs_enter_leave2.c:74 function thread_main thread 0)
PosRW Rficountertests/cs_enter_leave2.c:74R:counter (tests/cs_enter_leave2.c:74 function thread_main thread 0) W:counter (tests/cs_enter_leave2.c:74 function thread_main thread 0)
PosRW Rficountertests/cs_enter_leave2.c:74R:counter (tests/cs_enter_leave2.c:74 function thread_main thread 0) W:counter (tests/cs_enter_leave2.c:74 function thread_main thread 0)
PosRW Rficountertests/cr_tryenter_cs.c:68R:counter (tests/cr_tryenter_cs.c:68 function thread_main thread 0) W:counter (tests/cr_tryenter_cs.c:68 function thread_main thread 0)
PosRW Rficountertests/cr_tryenter_cs.c:68R:counter (tests/cr_tryenter_cs.c:68 function thread_main thread 0) W:counter (tests/cr_tryenter_cs.c:68 function thread_main thread 0)
PosRW Rficountertests/cr_tryenter_cs.c:68R:counter (tests/cr_tryenter_cs.c:68 function thread_main thread 0) W:counter (tests/cr_tryenter_cs.c:68 function thread_main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfidummytests/cr_tryenter_cs.c:111R:dummy (tests/cr_tryenter_cs.c:111 function main thread 0) W:dummy (tests/cr_tryenter_cs.c:111 function main thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfilibcr_trace::1::done_initlibcr/arch/i386/cr_atomic.h:40 libcr/arch/i386/cr_atomic.h:47R:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:40 function cri_atomic_read thread 0) W:libcr_trace::1::done_init (libcr/arch/i386/cr_atomic.h:47 function cri_atomic_write thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rfidummytests/cs_enter_leave.c:106R:dummy (tests/cs_enter_leave.c:106 function main thread 0) W:dummy (tests/cs_enter_leave.c:106 function main thread 0)
PosRW Rficountertests/cs_enter_leave.c:67R:counter (tests/cs_enter_leave.c:67 function thread_main thread 0) W:counter (tests/cs_enter_leave.c:67 function thread_main thread 0)
PosRW Rficountertests/cs_enter_leave.c:67R:counter (tests/cs_enter_leave.c:67 function thread_main thread 0) W:counter (tests/cs_enter_leave.c:67 function thread_main thread 0)
PosRW Rficountertests/cs_enter_leave.c:67R:counter (tests/cs_enter_leave.c:67 function thread_main thread 0) W:counter (tests/cs_enter_leave.c:67 function thread_main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:570R:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0) W:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:570R:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0) W:__CPROVER_deallocated (tests/crut_util.c:570 function crut_basename thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:382R:__CPROVER_memory_leak (tests/crut_util.c:382 function crut_find_testsdir thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:382 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:386R:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:386R:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0) W:__CPROVER_deallocated (tests/crut_util.c:386 function crut_find_testsdir thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:530R:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:530R:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:530R:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:530R:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:530R:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:530R:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:530R:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:530R:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:530R:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:530R:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_is_new_arraytests/crut_util.c:530R:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_malloc_is_new_array (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:530R:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:530 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_deallocatedtests/crut_util.c:533R:__CPROVER_deallocated (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_deallocated (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_objecttests/crut_util.c:533R:__CPROVER_malloc_object (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_malloc_object (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_malloc_sizetests/crut_util.c:533R:__CPROVER_malloc_size (tests/crut_util.c:533 function crut_vsappendf thread 0) W:__CPROVER_malloc_size (tests/crut_util.c:533 function crut_vsappendf thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:404R:__CPROVER_memory_leak (tests/crut_util.c:404 function crut_find_cmd thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:404 function crut_find_cmd thread 0)
PosRW Rfi__CPROVER_memory_leaktests/crut_util.c:406R:__CPROVER_memory_leak (tests/crut_util.c:406 function crut_find_cmd thread 0) W:__CPROVER_memory_leak (tests/crut_util.c:406 function crut_find_cmd thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-write:43 <builtin-library>-write:48R:__CPROVER_pipes (<builtin-library>-write:43 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:48 function write thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-write:48R:__CPROVER_pipes (<builtin-library>-write:48 function write thread 0) W:__CPROVER_pipes (<builtin-library>-write:48 function write thread 0)
PosRW Rfi__CPROVER_deallocatedtests/reloc_aux.c:153R:__CPROVER_deallocated (tests/reloc_aux.c:153 function main thread 0) W:__CPROVER_deallocated (tests/reloc_aux.c:153 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/reloc_aux.c:153R:__CPROVER_deallocated (tests/reloc_aux.c:153 function main thread 0) W:__CPROVER_deallocated (tests/reloc_aux.c:153 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/reloc_aux.c:162R:__CPROVER_deallocated (tests/reloc_aux.c:162 function main thread 0) W:__CPROVER_deallocated (tests/reloc_aux.c:162 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/reloc_aux.c:162R:__CPROVER_deallocated (tests/reloc_aux.c:162 function main thread 0) W:__CPROVER_deallocated (tests/reloc_aux.c:162 function main thread 0)
PosRW Rfi__CPROVER_memory_leaktests/reloc_aux.c:167R:__CPROVER_memory_leak (tests/reloc_aux.c:167 function main thread 0) W:__CPROVER_memory_leak (tests/reloc_aux.c:167 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/reloc_aux.c:176R:__CPROVER_deallocated (tests/reloc_aux.c:176 function main thread 0) W:__CPROVER_deallocated (tests/reloc_aux.c:176 function main thread 0)
PosRW Rfi__CPROVER_deallocatedtests/reloc_aux.c:176R:__CPROVER_deallocated (tests/reloc_aux.c:176 function main thread 0) W:__CPROVER_deallocated (tests/reloc_aux.c:176 function main thread 0)
PosRW Rfi__CPROVER_memory_leaktests/reloc_aux.c:176R:__CPROVER_memory_leak (tests/reloc_aux.c:176 function main thread 0) W:__CPROVER_memory_leak (tests/reloc_aux.c:176 function main thread 0)
PosRW Rfi__CPROVER_memory_leaktests/reloc_aux.c:188R:__CPROVER_memory_leak (tests/reloc_aux.c:188 function main thread 0) W:__CPROVER_memory_leak (tests/reloc_aux.c:188 function main thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-read:59 <builtin-library>-read:61R:__CPROVER_pipes (<builtin-library>-read:59 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:61 function read thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-read:61R:__CPROVER_pipes (<builtin-library>-read:61 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:61 function read thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-read:64 <builtin-library>-read:66R:__CPROVER_pipes (<builtin-library>-read:64 function read thread 0) W:__CPROVER_pipes (<builtin-library>-read:66 function read thread 0)
PosRW Rfi__CPROVER_pipes<builtin-library>-close:35 <builtin-library>-close:37R:__CPROVER_pipes (<builtin-library>-close:35 function close thread 0) W:__CPROVER_pipes (<builtin-library>-close:37 function close thread 0)
DpDatasW Rficri_hook_tbllibcr/cr_core.c:183 libcr/cr_core.c:184R:cri_hook_tbl (libcr/cr_core.c:183 function cr_register_hook thread 0) W:cri_hook_tbl (libcr/cr_core.c:184 function cr_register_hook thread 0)
DpDatasW Rficri_hook_tbllibcr/cr_core.c:183 libcr/cr_core.c:184R:cri_hook_tbl (libcr/cr_core.c:183 function cr_register_hook thread 0) W:cri_hook_tbl (libcr/cr_core.c:184 function cr_register_hook thread 0)
DpDatasW Rficri_hook_tbllibcr/cr_core.c:183 libcr/cr_core.c:184R:cri_hook_tbl (libcr/cr_core.c:183 function cr_register_hook thread 0) W:cri_hook_tbl (libcr/cr_core.c:184 function cr_register_hook thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:88 tests/sigpending.c:97R:my_flag (tests/sigpending.c:88 function catcher_sigqueue thread 0) W:my_flag (tests/sigpending.c:97 function catcher_sigqueue thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:149 tests/sigpending.c:145R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:149 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:145 tests/sigpending.c:160R:my_flag (tests/sigpending.c:145 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:156 tests/sigpending.c:160R:my_flag (tests/sigpending.c:156 function check_it thread 0) W:my_flag (tests/sigpending.c:160 function check_it thread 0)
PosRW Rfimy_flagtests/sigpending.c:74 tests/sigpending.c:70R:my_flag (tests/sigpending.c:70 function catcher_raise thread 0) W:my_flag (tests/sigpending.c:74 function catcher_raise thread 0)
PosRW Rfimy_flagtests/sigpending.c:74 tests/sigpending.c:70R:my_flag (tests/sigpending.c:70 function catcher_raise thread 0) W:my_flag (tests/sigpending.c:74 function catcher_raise thread 0)
PosRW Rfimy_flagtests/sigpending.c:74 tests/sigpending.c:70R:my_flag (tests/sigpending.c:70 function catcher_raise thread 0) W:my_flag (tests/sigpending.c:74 function catcher_raise thread 0)
PosRW Rfimy_flagtests/sigpending.c:74 tests/sigpending.c:70R:my_flag (tests/sigpending.c:70 function catcher_raise thread 0) W:my_flag (tests/sigpending.c:74 function catcher_raise thread 0)
PosRW Rfimy_flagtests/sigpending.c:74 tests/sigpending.c:70R:my_flag (tests/sigpending.c:70 function catcher_raise thread 0) W:my_flag (tests/sigpending.c:74 function catcher_raise thread 0)
PosRW Rfimy_flagtests/sigpending.c:74 tests/sigpending.c:70R:my_flag (tests/sigpending.c:70 function catcher_raise thread 0) W:my_flag (tests/sigpending.c:74 function catcher_raise thread 0)
This document was translated from LATEX by HEVEA.