changes

2020-05-25 09:40:54 +02:00
parent e25310a882
commit 8a376e4f6b
19 changed files with 1305 additions and 2080 deletions
@@ -140,26 +140,26 @@ if __name__ == '__main__':


        elif job =='indexClusters':
-            # from sprinferIndex import runSpinfer
-            # runSpinfer()
+            from sprinferIndex import runSpinfer
+            runSpinfer()
+
+            from sprinferIndex import test
+            test()
+            from sprinferIndex import divideCoccis
+            divideCoccis()
+            from sprinferIndex import removeDuplicates
+            removeDuplicates()
+
+
+            # from patchManyBugs import patchCore
+            # patchCore()
+            # # from patchManyBugs import patched
+            # # patched()
+            # from patchManyBugs import exportSosPatches
+            # exportSosPatches()
+            # from validate_manybugs import validate
            #
-            # from sprinferIndex import test
-            # test()
-            # from sprinferIndex import divideCoccis
-            # divideCoccis()
-            # from sprinferIndex import removeDuplicates
-            # removeDuplicates()
-
-
-            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