from test_support import clean, gnatprove

# Check error messages generated by gnatprove

configs = ["good.gpr", "bad_profile.gpr", "bad_pep.gpr"]

for i in configs:
    print("analysis of " + i)
    print("--------------------------")
    gnatprove(opt=["-P", i, "--mode=check"], sort_output=False)
    print("")
    clean()
