Commit d33c08b6 authored by leberre's avatar leberre
Browse files

Finally found the spurious test display.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@2537 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 7d1ddbac
......@@ -26,8 +26,7 @@ public class BugSAT117ModelIterator {
Date now = new Date();
while (now.getTime() - beginTime < 60000) {
List<List<Integer>> solutions = solve();
System.out.println(solutions);
solve();
now = new Date();
}
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment