示例#1
0
文件: model.py 项目: F-Secure/murphy
 def append_coverage(self, new_coverage):
     '''
     Appends the given coverage to the existing coverage
     FIXME: must be synchronized - thread friendly
     '''
     old_coverage = self.load_coverage()
     old_coverage.append(new_coverage)
     utils.save_coverage(old_coverage, self.coverage_file)
示例#2
0
文件: model.py 项目: F-Secure/murphy
 def append_coverage(self, new_coverage):
     '''
     Appends the given coverage to the existing coverage
     FIXME: must be synchronized - thread friendly
     '''
     old_coverage = self.load_coverage()
     old_coverage.append(new_coverage)
     utils.save_coverage(old_coverage, self.coverage_file)
示例#3
0
文件: model.py 项目: F-Secure/murphy
 def reset_coverage(self):
     '''
     Cleans coverage from previous runs
     '''
     utils.save_coverage([], self.coverage_file)
示例#4
0
文件: model.py 项目: F-Secure/murphy
 def reset_coverage(self):
     '''
     Cleans coverage from previous runs
     '''
     utils.save_coverage([], self.coverage_file)