oldNumCheckpoints 110 dmtcpplugin.cpp int oldNumCheckpoints = numCheckpoints; oldNumCheckpoints 115 dmtcpplugin.cpp while(oldNumRestarts==numRestarts && oldNumCheckpoints==numCheckpoints){