Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-08 08:33:26 +00:00
Code Issues Projects Releases Packages Wiki Activity

Loging success message on mutation test success

Browse source
This commit is contained in:
Sandeep Hegde 2017-10-27 17:06:25 -04:00
parent 5366264494
commit 5cc498dba2
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
python/servo/mutation/test.py
View file

@ -40,10 +40,13 @@ def mutation_test(file_name, tests):
test_command = "python mach test-wpt {0} --release".format(test.encode('utf-8'))
test_status = subprocess.call(test_command, shell=True, stdout=DEVNULL)
if test_status != 0:
print("Failed in while running `{0}`".format(test_command))
print("Failed: while running `{0}`".format(test_command))
print "mutated file {0} diff".format(file_name)
sys.stdout.flush()
subprocess.call('git --no-pager diff {0}'.format(file_name), shell=True)
else:
print("Success: Mutation killed by {0}".format(test.encode('utf-8')))
break
print "reverting mutant {0}:{1}".format(file_name, line_to_mutate)
sys.stdout.flush()
subprocess.call('git checkout {0}'.format(file_name), shell=True)