move binary

This commit is contained in:
anil
2020-08-23 14:26:46 +02:00
parent 4eb33f7905
commit 3077f6b05e
+1 -1
View File
@@ -128,7 +128,7 @@ def validateCore(bugName):
# if patch_result.successful:
if isfile(join(DATA_PATH,'codeflaws',bugName,bugName+spfile)):
cmd = 'mv ' + join(DATA_PATH,'codeflaws',bugName,bugName+spfile) + ' ' + join(DATA_PATH,'codeflaws',bugName,bugName)
cmd = 'mv ' + join(DATA_PATH,'codeflaws',bugName,bugName+spfile) + ' ' + join(DATA_PATH,'codeflaws',bugName,contestid+'-'+problem+'-'+buggyId)
o, e = shellGitCheckout(cmd)
output += '@True:' + str(idx) + ':' + patch.split('/')[-1] + '@'