================
@@ -150,8 +150,8 @@ class CoreEngine {
// Functions for external checking of whether we have unfinished work.
bool wasBlockAborted() const { return !blocksAborted.empty(); }
bool wasBlocksExhausted() const { return !blocksExhausted.empty(); }
- bool hasExploredAllPaths() const {
- return wasBlocksExhausted() || WList->hasWork() || exploredAllSTUPaths ||
+ bool hasNotExploredAllPaths() const {
----------------
steakhal wrote:
Have you thought of flipping it, saying has unexplored paths?
https://github.com/llvm/llvm-project/pull/220588
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
