chc.api.PostConditionRequest module

class chc.api.PostConditionRequest.PostConditionRequest(capi: CFunctionApi, postrequest: PostRequest, ppos: List[int], spos: List[int])[source]

Bases: object

property callee: CVarInfo

property capi: CFunctionApi

property cfun: CFunction

get_open_ppos() → List[int][source]

get_open_spos() → List[int][source]

has_open_pos() → bool[source]

property postcondition: XPredicate

property postrequest: PostRequest