Cycle 1 is tests/x86/safe/safe006.litmus on locations c::flag1 (file pgsql_two.c line 68 function worker_2) c::flag1 (file pgsql_two.c line 47 function worker_1) c::flag2 (file pgsql_two.c line 50 function worker_1) c::flag2 (file pgsql_two.c line 65 function worker_2) Cycle 2 is tests/x86/safe/safe010.litmus on locations c::flag1 (file pgsql_two.c line 68 function worker_2) c::flag1 (file pgsql_two.c line 49 function worker_1) c::flag2 (file pgsql_two.c line 50 function worker_1) c::flag2 (file pgsql_two.c line 65 function worker_2) Cycle 3 is tests/ppc/plain/podwr/podwr000.litmus on locations c::latch2 (file pgsql_two.c line 72 function worker_2) c::latch2 (file pgsql_two.c line 51 function worker_1) c::latch1 (file pgsql_two.c line 54 function worker_1) c::latch1 (file pgsql_two.c line 69 function worker_2) Cycle 4 is tests/x86/safe/safe010.litmus on locations c::flag2 (file pgsql_two.c line 50 function worker_1) c::flag2 (file pgsql_two.c line 67 function worker_2) c::flag1 (file pgsql_two.c line 68 function worker_2) c::flag1 (file pgsql_two.c line 47 function worker_1)