Searched refs:InstFact (Results 1 – 1 of 1) sorted by relevance
109 InstFact, /// A fact that holds after Inst executed (e.g. an assume or enumerator151 return FactOrCheck(EntryTy::InstFact, DTN, Inst); in getInstFact()