Searched refs:redocount (Results 1 – 3 of 3) sorted by relevance
123 extern unsigned int redocount;
167 unsigned int redocount; variable3676 redocount); in walkback()4389 redocount = 0; in main()
4481 redocount++; in play_one_redo()