DebugClients/Python3/DebugClientBase.py

changeset 33
597036b70646
parent 26
a9885e2f3a8c
child 42
23b45a742e17
equal deleted inserted replaced
32:01f04fbc1842 33:597036b70646
814 self.__exceptionRaised() 814 self.__exceptionRaised()
815 return 815 return
816 816
817 # generate a coverage object 817 # generate a coverage object
818 if int(cov): 818 if int(cov):
819 from coverage import coverage
819 self.cover = coverage(auto_data = True, 820 self.cover = coverage(auto_data = True,
820 data_file = "{0}.coverage".format(os.path.splitext(covname)[0])) 821 data_file = "{0}.coverage".format(os.path.splitext(covname)[0]))
821 self.cover.use_cache(True) 822 self.cover.use_cache(True)
822 if int(erase): 823 if int(erase):
823 self.cover.erase() 824 self.cover.erase()

eric ide

mercurial