def setup_logging(self):
        if self.config.debug:
            logging.basicConfig(format="%(asctime)s - %(levelname)s - %(message)s",
                                level=logging.DEBUG)
            util.activate_debug_shell_on_signal()
        else:
            logging.basicConfig(format="%(asctime)s - %(levelname)s - %(message)s",
                                level=logging.INFO)
Configure the logging framework.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/benchexec.py/BenchExec.setup_logging