main change

2020-06-09 16:01:57 +02:00
parent 8a376e4f6b
commit 0b7539480f
1 changed files with 9 additions and 9 deletions
@@ -150,16 +150,16 @@ if __name__ == '__main__':
            from sprinferIndex import removeDuplicates
            removeDuplicates()

+        elif job == 'evalManyBugs':
+            from patchManyBugs import patchCore
+            patchCore()
+            # from patchManyBugs import patched
+            # patched()
+            from patchManyBugs import exportSosPatches
+            exportSosPatches()
+            from validate_manybugs import validate

-            # from patchManyBugs import patchCore
-            # patchCore()
-            # # from patchManyBugs import patched
-            # # patched()
-            # from patchManyBugs import exportSosPatches
-            # exportSosPatches()
-            # from validate_manybugs import validate
-            #
-            # validate()
+            validate()

        elif job =='patternOperations':
            from sprinferIndex import patternOperations