remove experimental features on false positive removal

824728350 · Aug 22, 2024 · 1eeec57 · 1eeec57
1 parent 04e5db4
commit 1eeec57
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/testCaseGeneration/SMTPipeline.py b/testCaseGeneration/SMTPipeline.py
@@ -588,10 +588,8 @@ def validationProcess(direction, resolve, interpolation, controlIndex):
         ruleDataList = json.load(open(f"../testFiles/candidateFile{controlIndex}.json", "r"))
         truthDataList = json.load(open(f"../testFiles/validatedFile{controlIndex}.json", "r"))
         for index in range(0, len(ruleDataList)):
-            # if index != 94:
-            #     continue
             print("Examine candidate: ", ruleDataList[index])
-            arglists.append([[ruleDataList[index][0], 'M', ruleDataList[index][1]], truthDataList, ruleDataList, interpolationDataList, False, controlIndex, direction])
+            arglists.append([[ruleDataList[index][0], 'M', ruleDataList[index][1]], truthDataList, ruleDataList, interpolationDataList, False, controlIndex, direction, resolve])
 
     pool = multiprocessing.Pool(processes=12)
     for arglist in arglists: