from test_support import cat, do_flow
from glob import glob

do_flow(
    opt=["--flow-show-gg", "--no-inlining"] + sorted(glob("*.ad[sb]")),
    sort_output=False,
)

print("Generated global .gg contents:")
for file in sorted(glob("gnatprove/*.gg")):
    print("filename:", file)
    print("contents:")
    cat(file)
