def run_cov_with_arg(self, args):
MANAGER = cov_manager.CovManager()
with MANAGER.temp_manager():
c = cov_config.ConfigNamespace()
cov_mod.parse_args(args, namespace=c)
inference_extension.enable()
klara.initialize(c)
c.output_file = self.result
cov_mod.run(c)
return self.result.getvalue()
def run_fcf_with_arg(self, args):
MANAGER = manager.AstManager()
MANAGER.unload_all_extensions()
with MANAGER.temp_manager():
c = fcf_config.ConfigNamespace()
fcf_mod.parse_args(args, namespace=c)
klara.initialize(c, smt_disable=True)
try:
fcf_mod.run(c,
output_stream=self.result,
error_stream=self.result)
except SystemExit:
pass
return self.result.getvalue()
def force_initialize(self, c=None, smt_disable=False):
klara.initialize(c or config.Config(), smt_disable=smt_disable)
def setUpClass(cls):
klara.initialize(smt_disable=True)
def setUpClass(cls):
from klara.klara_z3.cov_manager import CovManager
klara.initialize(smt_disable=True)
cls.COV_MANAGER = CovManager()