SPARKlib tests: Use helper function from python library for compilation

tests/665__c_constant_strings_test/test.py

@@ -1,11 +1,8 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(sparklib=True, steps=1000)
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test_constant_string"])
+    sparklib_exec_test("test.gpr", "./obj/test_constant_string")

tests/665__c_strings_test/test.py

@@ -1,11 +1,8 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(sparklib=True, steps=1000, opt=["--no-inlining"])
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test_string"])
+    sparklib_exec_test("test.gpr", "./obj/test_string")

tests/665__formal_doubly_linked_lists_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(sparklib=True)
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__formal_hashed_maps_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(counterexample=False, sparklib=True)
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__formal_hashed_sets_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(counterexample=False, sparklib=True)
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__formal_unbounded_doubly_linked_lists_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(sparklib=True)
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__formal_unbounded_hashed_maps_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -12,9 +11,5 @@ if __name__ == "__main__":
         sparklib=True,
         opt=["-u", "inst.ads", "test.adb", "test_resize.adb"],
     )
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
-
-    call(["gprbuild", "-q", "-P", "test_resize.gpr"])
-    call(["./r_obj/test_resize"])
+    sparklib_exec_test()
+    sparklib_exec_test("test_resize.gpr", "./r_obj/test_resize")

tests/665__formal_unbounded_hashed_sets_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -13,8 +12,5 @@ if __name__ == "__main__":
         opt=["-u", "inst.ads", "test.adb", "test_resize.adb"],
     )
 
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
-
-    call(["gprbuild", "-q", "-P", "test_resize.gpr"])
-    call(["./r_obj/test_resize"])
+    sparklib_exec_test()
+    sparklib_exec_test("test_resize.gpr", "./r_obj/test_resize")

tests/665__formal_unbounded_vectors_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -9,8 +8,5 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 if __name__ == "__main__":
     prove_all(sparklib=True, opt=["-u", "inst.ads", "test.adb", "test_resize.adb"])
 
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
-
-    call(["gprbuild", "-q", "-P", "test_resize.gpr"])
-    call(["./r_obj/test_resize"])
+    sparklib_exec_test()
+    sparklib_exec_test("test_resize.gpr", "./r_obj/test_resize")

tests/665__formal_vectors_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(sparklib=True)
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__functional_infinite_sequences_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import no_crash
+from test_support import no_crash, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     no_crash(sparklib=True, opt=["--no-inlining", "-P", "test.gpr"])
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__functional_maps_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import no_crash
+from test_support import no_crash, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     no_crash(sparklib=True, opt=["--no-inlining", "-P", "test.gpr"])
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__functional_sets_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import no_crash
+from test_support import no_crash, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     no_crash(sparklib=True, opt=["--no-inlining", "-P", "test.gpr"])
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/665__functional_vectors_test/test.py

@@ -1,5 +1,4 @@
-from subprocess import call
-from test_support import prove_all
+from test_support import prove_all, sparklib_exec_test
 import os
 
 contains_manual_proof = False
@@ -8,6 +7,4 @@ os.environ["SPARKLIB_BODY_MODE"] = "On"
 
 if __name__ == "__main__":
     prove_all(sparklib=True, opt=["--no-inlining"])
-
-    call(["gprbuild", "-q", "-P", "test.gpr"])
-    call(["./obj/test"])
+    sparklib_exec_test()

tests/V913-014__sparklib_full/test.py

@@ -1,5 +1,4 @@
-from test_support import prove_all
-from subprocess import call
+from test_support import prove_all, gprbuild
 
 prove_all(sparklib=True, opt=["-U"])
-call(["gprbuild", "-q", "-P", "test.gpr"])
+gprbuild(opt=["-P", "test.gpr"])

tests/V916-025__sparklib_light/test.py

@@ -1,5 +1,4 @@
-from test_support import prove_all
-from subprocess import call
+from test_support import prove_all, gprbuild
 
 prove_all(steps=600, opt=["-U"])
-call(["gprbuild", "-q", "-P", "test.gpr"])
+gprbuild(opt=["-P", "test.gpr"])