changes

2020-08-08 10:18:39 +02:00
parent a3e9804ead
commit c626b3981f
12 changed files with 920 additions and 44 deletions
@@ -118,10 +118,10 @@ def patchCore():
        manybugs = [i for i in manybugs if i in sosbugs]
        spfiles = listdir(join(DATASET,'cocci'))

-        from sprinferIndex import filterPatterns
-        filteredPattern = filterPatterns()
+        # from sprinferIndex import filterPatterns
+        # filteredPattern = filterPatterns()

-        spfiles = [i for i in spfiles if i in filteredPattern]
+        # spfiles = [i for i in spfiles if i in filteredPattern]
        workList = []
        for manybug in manybugs:
            if manybug == '.DS_Store':