Searched refs:SplitAndProve (Results 1 – 1 of 1) sorted by relevance
11142 auto SplitAndProve = in isBasicBlockEntryGuardedByCond() local11157 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()11170 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()