diff options
| author | Sandeep Hegde <dsandeephegde@gmail.com> | 2017-10-27 17:06:25 -0400 |
|---|---|---|
| committer | Sandeep Hegde <dsandeephegde@gmail.com> | 2017-11-06 13:00:13 -0500 |
| commit | 5cc498dba22326be6bd88e37261284d2e201a6cb (patch) | |
| tree | 1858f871d261da99478d2d394e27e21074d66e72 /python/servo/mutation/test.py | |
| parent | 5366264494a2a41ba9e3ed097c6c66abcfea5fde (diff) | |
| download | servo-5cc498dba22326be6bd88e37261284d2e201a6cb.tar.gz servo-5cc498dba22326be6bd88e37261284d2e201a6cb.zip | |
Loging success message on mutation test success
Diffstat (limited to 'python/servo/mutation/test.py')
| -rw-r--r-- | python/servo/mutation/test.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/python/servo/mutation/test.py b/python/servo/mutation/test.py index e86d237351d..5e1772e0a28 100644 --- a/python/servo/mutation/test.py +++ b/python/servo/mutation/test.py @@ -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) |