1. Shlomi Fish
  2. fc-solve


Shlomi Fish  committed ccffdfa

Changed the check in the soft_dfs loop to while (1): it's done elsewhere.

The check already exists in the --DEPTH() so no need for it in the loop

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2943 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

  • Participants
  • Parent commits a83ec68
  • Branches master

Comments (0)

Files changed (1)

File fc-solve/source/scans.c

View file
         The main loop.
+        We exit out of it when DEPTH() is decremented below zero.
-    while (likely(DEPTH() >= 0))
+    while (1)
             Increase the "maximal" depth if it is about to be exceeded.