From db2d286317308c072c332b779faecf3c413f8b4f Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Tue, 8 Mar 2022 09:49:53 +0100
Subject: [PATCH] Added missing init in readTrace

---
 readTrace.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/readTrace.py b/readTrace.py
index 0b59251..aa36fdd 100755
--- a/readTrace.py
+++ b/readTrace.py
@@ -62,6 +62,9 @@ class Step() :
     self.stack = None
     self.historyPop = None
     self.history = None
+
+    self.distance = 0
+    self.oracleIndex = 0
 #-------------------------------------------------------------------------------
 
 #-------------------------------------------------------------------------------
-- 
GitLab