move binary

This commit is contained in:
anil
2020-08-23 14:24:50 +02:00
parent e4a45bc0ec
commit 4eb33f7905
+3
View File
@@ -128,6 +128,9 @@ 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)
o, e = shellGitCheckout(cmd)
output += '@True:' + str(idx) + ':' + patch.split('/')[-1] + '@'
validTests = readTestSuite(join(DATA_PATH, 'codeflaws', bugName, 'test-valid.sh'))