chc.cmdline.kendra.TestResults module

class chc.cmdline.kendra.TestResults.TestResults(testsetref: TestSetRef)

Bases: object

add_missing_ppo(cfilename: str, cfun: str, context: str, predicate: str) → None

add_missing_spo(cfilename: str, cfun: str, context: str, hashstr: str) → None

add_parse_error(cfilename: str, msg: str) → None

add_parse_success(cfilename: str) → None

add_pev_discrepancy(cfilename: str, cfun: TestCFunctionRef, ppo: TestPPORef, status: str) → None

add_ppo_count_error(cfilename: str, cfun: str, lenppos: int, lenrefppos: int) → None

add_ppo_count_success(cfilename: str, cfun: str) → None

add_sev_discrepancy(cfilename: str, cfun: TestCFunctionRef, spo: TestSPORef, status: str) → None

add_spo_count_error(cfilename: str, cfun: str, lenspos: int, lenrefspos: int) → None

add_spo_count_success(cfilename: str, cfun: str) → None

add_xcfile_error(cfilename: str) → None

add_xcfile_success(cfilename: str) → None

add_xffile_error(cfilename: str, cfun: str) → None

add_xffile_success(cfilename: str, cfun: str) → None

property cfiles: Iterable[TestCFileRef]

get_line_summary() → str

get_summary() → str

property includes_parsing: bool

property includes_pevs: bool

property includes_ppos: bool

property includes_sevs: bool

property includes_spos: bool

property parseresults: Dict[str, str]

property pevresults: Dict[str, Dict[str, Dict[str, Any]]]

property pporesults: Dict[str, Dict[str, Dict[str, Any]]]

set_parsing() → None

set_pevs() → None

set_ppos() → None

set_sevs() → None

set_spos() → None

property sevresults: Dict[str, Dict[str, Dict[str, Any]]]

property sporesults: Dict[str, Dict[str, Dict[str, Any]]]

property testsetref: TestSetRef

property xfileresults: Dict[str, Dict[str, Any]]