klara.klara_z3.cov_manager

module documentation
(source)

manager instance for coverage analysis

Class CovManager Coverage specific manager
Constant COV_PLUGINS_DIR Undocumented
Constant MANAGER Undocumented
Variable Z3ModelResult Undocumented
COV_PLUGINS_DIR = (source)

Undocumented

Value
pathlib.Path(__file__).parent/'plugins'
MANAGER = (source)

Undocumented

Value
CovManager()
Z3ModelResult = (source)

Undocumented