From 5ac29af132de56041d99126dc607cf43b3739250 Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Thu, 6 Nov 2025 20:57:08 +0100
Subject: [PATCH] clearer errors

---
 src/mtl/run_server.py | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/mtl/run_server.py b/src/mtl/run_server.py
index 062cd5b..45ec47d 100644
--- a/src/mtl/run_server.py
+++ b/src/mtl/run_server.py
@@ -12,7 +12,7 @@ def check_property():
     try:
         phi = parse(prop)
     except Exception as e:
-        res = make_response(jsonify("error: " + str(e)))
+        res = make_response(jsonify("parse error: " + str(e)))
         res.headers['Access-Control-Allow-Origin'] = '*'
         res.content_type = "application/json"
         return res
@@ -20,7 +20,14 @@ def check_property():
     processed_traces = {}
     for trace_name, trace in traces.items():
         processed_traces[trace_name] = [(simtime, value) for [simtime, value] in trace]
-    res = make_response(jsonify(phi(processed_traces, time=None, quantitative=False)))
+    try:
+        result = phi(processed_traces, time=None, quantitative=False)
+    except Exception as e:
+        res = make_response(jsonify("eval error: " + str(e)))
+        res.headers['Access-Control-Allow-Origin'] = '*'
+        res.content_type = "application/json"
+        return res
+    res = make_response(jsonify(result))
     res.headers['Access-Control-Allow-Origin'] = '*'
     res.content_type = "application/json"
     return res