only add documentation (repo) URL to errors in test specification

Author: andrew-taylor

autotest.py

@@ -21,7 +21,7 @@
 if __name__ == "__main__":
     sys.path.append(os.path.dirname(os.path.realpath(__file__)))
 
-from util import AutotestException
+from util import AutotestException, TestSpecificationError
 from command_line_arguments import process_arguments
 from copy_files_to_temp_directory import copy_files_to_temp_directory
 from run_tests import run_tests, generate_expected_output
@@ -37,19 +37,25 @@ def main():
         signal.signal(signal.SIGINT, lambda signum, frame: os._exit(2))
     try:
         sys.exit(run_autotest())
+    except TestSpecificationError as e:
+        print(f"{my_name}: {e}", file=sys.stderr)
+        if debug:
+            traceback.print_exc(file=sys.stderr)
+        print("\n" + REPO_INFORMATION)
+        sys.exit(2)
     except AutotestException as e:
         print(f"{my_name}: {e}", file=sys.stderr)
         if debug:
             traceback.print_exc(file=sys.stderr)
-        print(REPO_INFORMATION)
+        #        print('\n' + REPO_INFORMATION)
         sys.exit(2)
     except Exception:
         etype, evalue, _etraceback = sys.exc_info()
         eformatted = "\n".join(traceback.format_exception_only(etype, evalue))
         print(f"{my_name}: internal error: {eformatted}", file=sys.stderr)
         if debug:
             traceback.print_exc(file=sys.stderr)
-        print(REPO_INFORMATION)
+        print("\n" + REPO_INFORMATION)
         sys.exit(2)