Searched refs:bb_executions (Results 1 – 7 of 7) sorted by relevance
420 if (bb_written != CLG_(stat).bb_executions) { in CLG_()421 bb_written = CLG_(stat).bb_executions; in CLG_()422 VG_(printf)("BB# %llu\n",CLG_(stat).bb_executions); in CLG_()
185 if (CLG_(stat).bb_executions - bbs_done > CLG_(clo).dump_every_bb) { in CLG_()188 bbs_done = CLG_(stat).bb_executions; in CLG_()
177 ULong bb_executions; member843 (CLG_(stat).bb_executions >= CLG_(clo).verbose_start))
303 VG_(sprintf)(buf, "executed-bbs: %llu\n", CLG_(stat).bb_executions); in dump_state()
1389 bbs_done, CLG_(stat).bb_executions); in new_dumpfile()1627 CLG_(stat).bb_executions, in CLG_()1634 bbs_done = CLG_(stat).bb_executions++; in CLG_()
67 s->bb_executions = 0; in CLG_()1417 VG_(gdb_printf)("executed-bbs: %llu\n", CLG_(stat).bb_executions); in dump_state_togdb()1773 CLG_(stat).bb_executions); in finish()
892 CLG_(stat).bb_executions++; in CLG_()