Commits

Shlomi Fish committed 1261312

Updated the TODO.

git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/branches/conversion-to-cmake@915 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a

  • Participants
  • Parent commits 2c097d6
  • Branches conversion-to-cmake, conversion-to-cmake@3680

Comments (0)

Files changed (1)

fc-solve/source/TODO

 
 * Update the NEWS file.
 
+* Make sure one does not need "make install" to run "make test"
+or "ctest -v".
+
 --- Non-pressing ---
 
 * Integrate the patsolve's prioritization and mixed BFS/DFS scan.