def prove_wrapper(self):
    conf = self.config['wrapper_proof']
    cwd = os.path.join(self.directory, conf['directory'])
    cmd = ['sby', '-f', conf['sby']]
    logging.info(('attempting to run %s in %s' % (cmd, cwd)))
    try:
        subprocess.run(cmd, cwd=cwd, check=True)
    except subprocess.CalledProcessError as e:
        logging.error(e)
        exit(1)
    logging.info('proof pass')
def prove_wrapper(self):
    conf = self.config['wrapper_proof']
    cwd = os.path.join(self.directory, conf['directory'])
    cmd = ['sby', '-f', conf['sby']]
    logging.info(('attempting to run %s in %s' % (cmd, cwd)))
    try:
        subprocess.run(cmd, cwd=cwd, check=True)
    except subprocess.CalledProcessError as e:
        logging.error(e)
        exit(1)
    logging.info('proof pass')