From 0b7539480f714e0bed7b74a1975363219b50466a Mon Sep 17 00:00:00 2001
From: ANIL KOYUNCU <anil.koyuncu@mp0360.uni.lux>
Date: Tue, 9 Jun 2020 16:01:57 +0200
Subject: [PATCH] main change

---
 python/main.py | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/python/main.py b/python/main.py
index d632bbc..d13ca20 100644
--- a/python/main.py
+++ b/python/main.py
@@ -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