Java SearchMonitorFactory.limitFail Exemples

Exemple #1

Fichier : LimitsTest.java Projet : aollag09/choco3

 @Test(groups = "1s")
 public void testFail() {
   Solver s = modelit();
   long fl = 50;
   SearchMonitorFactory.limitFail(s, fl);
   s.findAllSolutions();
   long fc = s.getMeasures().getFailCount();
   Assert.assertEquals(fc, fl);
 }