chc.proof.CFunctionCallsiteSPO module

Supporting proof obligation for a call site.

class chc.proof.CFunctionCallsiteSPO.CFunctionCallsiteSPO(cproofs: CFunctionProofs, potype: CFunPOType, status: str = 'open', deps: Optional[CProofDependencies] = None, expl: Optional[str] = None, diag: Optional[CProofDiagnostic] = None)

Bases: chc.proof.CFunctionPO.CFunctionPO

Represents a supporting proof obligation associated with a call site.

property apiid: int

Returns the predicate id of the callee.

property is_spo: bool