Esempi in Python per pack_klee_errors

Esempio n. 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)

Esempio n. 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)