Use GZoltar for the ignored TSE bugs

Signed-off-by: André Silva <andre15andre@hotmail.com>

nopol/src/test/java/fr/inria/lille/repair/nopol/TseEvaluationTest.java

@@ -25,7 +25,11 @@ public boolean testShouldBeRun() {
  return true;
  }
 
- public void testTSEBug(String bug_id) throws Exception {
+ public void testTSEBug(String bud_id) throws Exception {
+ testTSEBug(bud_id, NopolContext.NopolLocalizer.FLACOCO);
+ }
+
+ public void testTSEBug(String bug_id, NopolContext.NopolLocalizer localizer) throws Exception {
  String folder = "unknown";
  if (bug_id.startsWith("cm") || bug_id.startsWith("pm")) {
  folder = "math";
@@ -70,19 +74,19 @@ public void testTSEBug(String bug_id) throws Exception {
  nopolContext.setType(RepairType.CONDITIONAL);
  }
  SolverFactory.setSolver("z3", TestUtility.solverPath);
+ nopolContext.setLocalizer(localizer);
  NoPol nopol = new NoPol(nopolContext);
  NopolResult result = nopol.build();
 
  assertEquals(1, result.getPatches().size());
  }
 
  /**
- * Ignored due to issue with flacoco (see https://github.com/SpoonLabs/nopol/pull/220#issuecomment-926641347)
+ * Uses GZoltar due to issue with flacoco (see https://github.com/SpoonLabs/nopol/pull/220#issuecomment-926641347)
  */
- @Ignore
  @Test(timeout = TIMEOUT)
  public void test_cm1() throws Exception {
- if (testShouldBeRun()) testTSEBug("cm1");
+ if (testShouldBeRun()) testTSEBug("cm1", NopolContext.NopolLocalizer.GZOLTAR);
  }
 
  @Test(timeout = TIMEOUT)
@@ -135,13 +139,12 @@ public void test_cl1() throws Exception {
  }
 
  /**
- * Ignored due to issue with flacoco (see https://github.com/SpoonLabs/nopol/pull/220#issuecomment-926641347)
+ * Uses GZoltar due to issue with flacoco (see https://github.com/SpoonLabs/nopol/pull/220#issuecomment-926641347)
  */
- @Ignore
  @Test(timeout = TIMEOUT)
  public void test_cl2() throws Exception {
  if (testShouldBeRun())
- testTSEBug("cl2");
+ testTSEBug("cl2", NopolContext.NopolLocalizer.GZOLTAR);
  }
 
  @Test(timeout = TIMEOUT)
@@ -151,13 +154,12 @@ public void test_cl3() throws Exception {
  }
 
  /**
- * Ignored due to issue with flacoco (see https://github.com/SpoonLabs/nopol/pull/220#issuecomment-926641347)
+ * Uses GZoltar due to issue with flacoco (see https://github.com/SpoonLabs/nopol/pull/220#issuecomment-926641347)
  */
- @Ignore
  @Test(timeout = TIMEOUT)
  public void test_cl4() throws Exception {
  if (testShouldBeRun())
- testTSEBug("cl4");
+ testTSEBug("cl4", NopolContext.NopolLocalizer.GZOLTAR);
  }
 
  @Test(timeout = TIMEOUT)