Python pack_klee_errors Exemples

Exemple #1

 def periodic_callback(self):
     """called every 1 hour"""
     se_info("packing klee error cases into [{0}]".format(self.klee_err_dir))
     utils.pack_klee_errors(self.target, self.klee_err_dir)

Exemple #2

 def terminate_callback(self):
     """called when SIGINT and SIGTERM"""
     se_info("packing klee error cases into [{0}]".format(self.klee_err_dir))
     utils.pack_klee_errors(self.target, self.klee_err_dir)