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