fixed checkpoints in Dos_tests.cpp