Searched refs:stats__vts_pruning (Results 1 – 1 of 1) sorted by relevance
637 static UWord stats__vts_pruning = 0; // # nr of vts pruning variable3339 stats__vts_pruning++; in vts_tab__do_GC()3346 stats__vts_pruning, in vts_tab__do_GC()6422 stats__vts_tab_GC, stats__vts_pruning); in libhb_shutdown()