From 6688b8a146cbc4ade65c7c021aef4acf0b36bee6 Mon Sep 17 00:00:00 2001 From: Sandeep Hegde Date: Wed, 25 Oct 2017 16:18:21 -0400 Subject: [PATCH] Changed method to mutate a line of code --- python/servo/mutation/test.py | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/python/servo/mutation/test.py b/python/servo/mutation/test.py index dd06871e65b..d3f4dd60ecb 100644 --- a/python/servo/mutation/test.py +++ b/python/servo/mutation/test.py @@ -14,11 +14,10 @@ import sys def mutate_line(file_name, line_number): - lines = open(file_name, 'r').readlines() - lines[line_number - 1] = re.sub(r'\s&&\s', ' || ', lines[line_number - 1]) - out = open(file_name, 'w') - out.writelines(lines) - out.close() + for line in fileinput.input(file_name, inplace=True): + if(fileinput.lineno() == line_number): + line = re.sub(r'\s&&\s', ' || ', line) + print line.rstrip() def mutation_test(file_name, tests):