Searched refs:bb_executions (Results 1 – 6 of 6) sorted by relevance
423 if (bb_written != CLG_(stat).bb_executions) { in CLG_()424 bb_written = CLG_(stat).bb_executions; in CLG_()425 VG_(printf)("BB# %llu\n",CLG_(stat).bb_executions); in CLG_()
188 if (CLG_(stat).bb_executions - bbs_done > CLG_(clo).dump_every_bb) { in CLG_()191 bbs_done = CLG_(stat).bb_executions; in CLG_()
142 ULong bb_executions; member810 (CLG_(stat).bb_executions >= CLG_(clo).verbose_start)))
1261 bbs_done, CLG_(stat).bb_executions); in new_dumpfile()1483 CLG_(stat).bb_executions, in CLG_()1490 bbs_done = CLG_(stat).bb_executions++; in CLG_()
72 s->bb_executions = 0; in CLG_()1533 VG_(gdb_printf)("executed-bbs: %llu\n", CLG_(stat).bb_executions); in dump_state_togdb()1864 CLG_(stat).bb_executions); in clg_print_stats()
916 CLG_(stat).bb_executions++; in CLG_()