Test script: use GNATprove 14+ command-line switches as the default

Author: gusthoff

frontend/py_modules/code_projects/check_code_block.py

@@ -421,17 +421,14 @@ def cleanup_project(language, project_filename, main_file):
                 or 'ada-report-all' in block.classes:
                 extra_args = ["--report=all"]
 
-            line = None
-            if block.gnatprove_version[1].startswith("14"):
-                line = ["gnatprove", "-P", block.spark_project_filename,
-                        "--checks-as-errors=on", "--level=0",
-                        "--function-sandboxing=off", "--output=oneline"]
-            elif block.gnatprove_version[1].startswith("12"):
+            # Default switches for GNATprove 14 and above
+            line = ["gnatprove", "-P", block.spark_project_filename,
+                    "--checks-as-errors=on", "--level=0",
+                    "--function-sandboxing=off", "--output=oneline"]
+            if block.gnatprove_version[1].startswith("12"):
                 line = ["gnatprove", "-P", block.spark_project_filename,
                         "--checks-as-errors", "--level=0",
                         "--no-axiom-guard", "--output=oneline"]
-            else:
-                prove_error = True
 
             line.extend(extra_args)