9cf3299fafa41718e3cb260cc94d1d29bba6335b
In incremental mode, threads don't need to be visited again once visited in the atomic phase. In generational mode (where all visits are in the atomic phase), only old threads need to be kept in the 'grayagain' list for the next cycle.
Description
No description provided
Languages
C
66.7%
Lua
32.6%
Makefile
0.6%
Shell
0.1%