General exception handler

CPMpy · Jun 3, 2024 · 0238bc3 · 0238bc3
1 parent e1db395
commit 0238bc3
Showing 1 changed file with 11 additions and 1 deletion.
diff --git 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)