chc.api.PostRequest module

Request for a particular postcondition predicate on a function.

class chc.api.PostRequest.PostRequest(ifd: InterfaceDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.api.InterfaceDictionaryRecord.InterfaceDictionaryRecord

Request for a particular postcondition predicate on a function.

args[0]: function vid
args[1]: index of predicate in interface dictionary

property callee: CVarInfo

property postcondition: XPredicate