[analysis-scripts] simplify summary.py

share/analysis-scripts/summary.py

@@ -55,11 +55,11 @@ def list_targets(dir):
     targets = res.stdout.split()
     res = []
     for target in targets:
-        if target.endswith(".eva") or target.endswith(".parse"):
-            res.append(dir + "/" + target)
+        target_path = f"{dir}/{target}"
+        if os.path.isdir(target_path):
+            res.append(target_path)
         else:
-            res += [dir + "/" + t for t in list_targets(target)]
-    print(f"list_targets returning: {res}")
+            raise OperationException(f"target is not a directory: {target_path}")
     return res
 
 def clone_frama_c(clonedir, hash):