Exemple #1
0
 @Test(groups = "1s")
 public void testBacktrack() {
   Solver s = modelit();
   long bl = 50;
   SearchMonitorFactory.limitBacktrack(s, bl);
   s.findAllSolutions();
   long bc = s.getMeasures().getBackTrackCount();
   Assert.assertEquals(bc, bl);
 }