Shlomi Fish  committed 6e0f222

Add an item to the TODO file about dividing the scan type variable into two

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

  • Participants
  • Parent commits d4a50f0

Comments (0)

Files changed (1)

File fc-solve/source/TODO.txt

                     ] & FCS_TEST_ORDER_NO_FLAGS_MASK]
+* Divide the scan type variable into two variables: super-scan 
+(DFS vs BeFS/BFS/Opt) and sub-scan (random_dfs, soft_dfs, etc.), to facilitate 
+multiplexing them.
 * If +-opt+ is specified for the flare, then make sure that if the flares
 loop stop it when it's doing the optimization scan, then the optimization scan
 goes on until it ends.