from test_support import prove_all, sparklib_exec_test


if __name__ == "__main__":
    prove_all(
        sparklib=True,
        opt=["-u", "inst.ads", "test.adb", "test_resize.adb"],
        sparklib_bodymode=True,
    )

    sparklib_exec_test()
    sparklib_exec_test("test_resize.gpr", "./r_obj/test_resize")
