Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-13 19:04:30 +00:00
Code Issues Projects Releases Packages Wiki Activity

Changed method to mutate a line of code

Browse source
This commit is contained in:
Sandeep Hegde 2017-10-25 16:18:21 -04:00
parent c2d46c3b90
commit 6688b8a146
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -14,11 +14,10 @@ import sys
def mutate_line(file_name, line_number): def mutate_line(file_name, line_number):
lines = open(file_name, 'r').readlines() for line in fileinput.input(file_name, inplace=True):
lines[line_number - 1] = re.sub(r'\s&&\s', ' || ', lines[line_number - 1]) if(fileinput.lineno() == line_number):
out = open(file_name, 'w') line = re.sub(r'\s&&\s', ' || ', line)
out.writelines(lines) print line.rstrip()
out.close()
def mutation_test(file_name, tests): def mutation_test(file_name, tests):