fuzzbunch.py 文件源码

def set_logdir(self, log_dir=None):
        """Set the current log directory and create a new log file"""
        if not log_dir:
            log_dir = os.path.normpath(self.default_logdir)

        base_dir = self.get_basedir()
        self.session.set_dirs(base_dir, log_dir)

        logname = "fuzzbunch-%s.log" % util.formattime()
        self.io.setlogfile(os.path.join(log_dir, logname))