Searched refs:SplitAndProve (Results 1 – 1 of 1) sorted by relevance
10139 auto SplitAndProve = in isBasicBlockEntryGuardedByCond() local10154 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()10166 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()10181 if (SplitAndProve(ProofFn)) in isBasicBlockEntryGuardedByCond()