Merge pull request #1479 from kisslune/master

fixed an SFR bug
SVF-tools · Jun 2, 2024 · 26cee1c · 26cee1c
2 parents cf016e9 + 403deb5
commit 26cee1c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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();