LCOV - code coverage report

Current view: top level - src/IR - CNF.cpp (source / functions) Hit Total Coverage Test: coverage.info Lines: 92 139 66.2 % Date: 2025-03-25 01:19:55 Functions: 17 24 70.8 % Branches: 86 265 32.5 %

Function Name	Hit count
_ZN12CNFGeneratorD0Ev	0
_ZN12CNFGeneratorclERKN1m3ast17FnApplicationExprE	0
_ZN12CNFGeneratorclERKN1m3ast9ErrorExprE	0
_ZN12CNFGeneratorclERKN1m3ast9QueryExprE	0
_ZNK1m3cnf3CNF6to_sqlERSo	0
_ZNK1m3cnf6Clause6to_sqlERSo	0
_ZNK1m3cnf9Predicate6to_sqlERSo	0
_ZN1m3cnfaaERKNS0_6ClauseES3_	1
_ZN1m3cnfntERKNS0_3CNFE	1
__cxx_global_var_init	1
_ZN1m3cnfntERKNS0_6ClauseE	3
_ZN1m3cnfooERKNS0_3CNFES3_	7
_ZN12CNFGeneratorclERKN1m3ast10DesignatorE	10
_ZN12CNFGeneratorclERKN1m3ast9UnaryExprE	12
_ZN1m3cnfooERKNS0_6ClauseES3_	13
_ZN12CNFGeneratorclERKN1m3ast8ConstantE	27
_ZNK1m3cnf3CNFleERKS1_	35
_ZNK1m3cnf6ClauseleERKS1_	152
_ZN12CNFGeneratorC2Ev	162
_ZN12CNFGeneratorD2Ev	162
_ZN1m3cnf6to_CNFERKNS_3ast4ExprE	162
_ZNK12CNFGenerator3getEv	162
_ZN1m3cnfaaERKNS0_3CNFES3_	208
_ZN12CNFGeneratorclERKN1m3ast10BinaryExprE	519

Generated by: LCOV version 1.16