srcML

2019-12-16 17:40:37 +01:00
parent d0a632bfb0
commit 571d96eb82
7 changed files with 400 additions and 20 deletions
@@ -1,14 +1,14 @@
-jobType = LEVEL2
-pjName = BugsDotJar
+jobType = RICHEDITSCRIPT
+pjName = gumInput
 portInner = 6380
-dbNo = 0
-port = 6399
-serverWait = 10000
-numOfWorkers = 100
-pythonPath = /Users/anilkoyuncu/bugStudy/code/python
-datasetPath = /Users/anilkoyuncu/bugStudy/release/code
-actionType =UPD
-threshold = 9
+portDumps = 6399
+parallelism = AKKA
+numOfWorkers = 1
+#inputPath = /Users/haoyetian/Documents/Lu_code/FixMiner/fixminer-core/python/data/gumInput
+inputPath = /Users/haoyetian/Documents/Lu_code/test
+redisPath = /Users/haoyetian/Documents/Lu_code/FixMiner/fixminer-core/python/data/redis
+actionType =ALL
+eDiffTimeout = 900

 #ENHANCEDASTDIFF,CACHE,LEVEL1,LEVEL2,LEVEL3