From 0238bc30beb7d6fc91ad85524c666d0927b10a3b Mon Sep 17 00:00:00 2001
From: Thomas Sergeys <thomas.s2000@hotmail.com>
Date: Mon, 3 Jun 2024 12:38:12 +0200
Subject: [PATCH] General exception handler

---
 xcsp3/executable/main.py | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/xcsp3/executable/main.py b/xcsp3/executable/main.py
index 4140b367c..0bfa91606 100644
--- a/xcsp3/executable/main.py
+++ b/xcsp3/executable/main.py
@@ -105,6 +105,13 @@ def memory_error_handler(args: Args):
     print(flush=True)
     sys.exit(0)
 
+def error_handler(e: Exception):
+    print_status(ExitStatus.unknown)
+    print_comment(f"An error got raised: {e}")
+    print(flush=True)
+    sys.exit(0)
+
+
 class Capturing(list):
     def __enter__(self):
         self._stdout = sys.stdout
@@ -606,4 +613,7 @@ def run_helper(args:Args):
     signal.signal(signal.SIGABRT, sigterm_handler)
 
     # Main program
-    main()
+    try:
+        main()
+    except Exception as e:
+        error_handler(e)