From 8565bf2d254a55bfdef0fa770c2485b19731b32f Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Fri, 3 Jun 2022 11:16:53 +0200
Subject: [PATCH] Improved readTrace
---
readTrace.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/readTrace.py b/readTrace.py
index c39202f..9db6867 100755
--- a/readTrace.py
+++ b/readTrace.py
@@ -118,9 +118,9 @@ class Block() :
stats = self.stats[v]
versions.append([])
englobChar = "-"
- if version[0].actionCost > version[0].oracleCost :
+ if len(version) > 0 and version[0].actionCost > version[0].oracleCost :
englobChar = "~"
- lineStr = englobStr(version[0].word, englobChar, lenLine())
+ lineStr = englobStr("" if len(version) == 0 else version[0].word, englobChar, lenLine())
versions[-1].append(lineStr + (lenLine()-len(lineStr))*" ")
for step in version :
versions[-1].append(str(step) + (lenLine()-len(str(step)))*" ")
--
GitLab