diff --git a/svf/lib/WPA/AndersenSCD.cpp b/svf/lib/WPA/AndersenSCD.cpp index d6537bd58..e3a14e9c8 100644 --- a/svf/lib/WPA/AndersenSCD.cpp +++ b/svf/lib/WPA/AndersenSCD.cpp @@ -108,7 +108,7 @@ NodeStack& AndersenSCD::SCCDetect() double mergeEnd = stat->getClk(); timeOfSCCMerges += (mergeEnd - mergeStart)/TIMEINTERVAL; - if (Options::DetectPWC()) + if (!Options::DetectPWC()) { sccStart = stat->getClk(); PWCDetect();