diff -r 456c58fc64b0 -r d0d6e4ad31bd DebugClients/Python3/DebugClientBase.py
--- a/DebugClients/Python3/DebugClientBase.py Sun Oct 04 13:35:09 2015 +0200
+++ b/DebugClients/Python3/DebugClientBase.py Sun Oct 04 22:37:56 2015 +0200
@@ -647,7 +647,6 @@
auto_data=True,
data_file="{0}.coverage".format(
os.path.splitext(sys.argv[0])[0]))
- self.cover.use_cache(True)
if int(erase):
self.cover.erase()
@@ -895,7 +894,6 @@
auto_data=True,
data_file="{0}.coverage".format(
os.path.splitext(covname)[0]))
- self.cover.use_cache(True)
if int(erase):
self.cover.erase()
else:
