Add support for running scratch scripts in debug mode

signetlabdei · Dec 19, 2019 · 2944e7f · 2944e7f
1 parent d1e5e7c
commit 2944e7f
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/sem/runner.py b/sem/runner.py
@@ -95,9 +95,13 @@ def __init__(self, path, script, optimized=True):
         self.script_executable = max(match_percentages,
                                      key=lambda x: x['percentage'])['path']
 
-        if optimized and "scratch" in self.script_executable:
-            self.script_executable = os.path.abspath(
-                os.path.join(path, "build/optimized/scratch", self.script))
+        if "scratch" in self.script_executable:
+            if optimized:
+                self.script_executable = os.path.abspath(
+                    os.path.join(path, "build/optimized/scratch", self.script))
+            else:
+                self.script_executable = os.path.abspath(
+                    os.path.join(path, "build/scratch", self.script))
 
     #############
     # Utilities #