Tests check prog