Lines Matching refs:bb_executions
72 s->bb_executions = 0;1533 VG_(gdb_printf)("executed-bbs: %llu\n", CLG_(stat).bb_executions);1864 CLG_(stat).bb_executions);