The flushing loop in tiered_abort/main.c is incorrect as the creation of the sentinel file checks for the counter to be equal but the loop counter is incremented if we don't find a checkpoint and continue.