from test_support import gnatprove

gnatprove(opt=["-q", "-k", "-P", "check_fast.gpr", "--mode=check", "--output=oneline"])
gnatprove(opt=["-q", "-k", "-P", "check_all.gpr", "--mode=flow", "--output=oneline"])
gnatprove(opt=["-q", "-k", "-P", "test.gpr", "--mode=flow", "--output=oneline"])
