This commit is contained in:
fixminer
2020-01-12 12:26:45 +01:00
parent 5be6024507
commit d439bbe8a2
7 changed files with 148 additions and 62 deletions
+4 -4
View File
@@ -3,11 +3,11 @@ pjName = gumInput
portInner = 6380
portDumps = 6399
parallelism = AKKA
numOfWorkers = 14
numOfWorkers = 7
inputPath = /Users/anil.koyuncu/projects/fixminer/gumInputLinux
redisPath = /Users/anil.koyuncu/projects/fixminer/fixminer-core/python/data/redis
srcMLPath= /Users/anil.koyuncu/Downloads/srcML/src2srcml
inputPath = /Users/anilkoyuncu/projects/gumInputLinux
redisPath = /Users/anilkoyuncu/projects/fixminer/fixminer-core/python/data/redis
srcMLPath= /Users/anilkoyuncu/Downloads/srcML2/src2srcml
actionType = ALL
eDiffTimeout = 900