diff options
author | Adele Zhou <adelez@google.com> | 2015-11-04 11:18:43 -0800 |
---|---|---|
committer | Adele Zhou <adelez@google.com> | 2015-11-04 11:18:43 -0800 |
commit | 7cf7211fc70e3fdd413da6a9d9366a486ebcb17d (patch) | |
tree | 4a346ae3b8d5953c7c0e6f54cf3885ea10487a4e | |
parent | d01cbe324c81a492b14062ff5884f38cb2c34c4f (diff) |
Define resultset.
-rwxr-xr-x | tools/run_tests/run_tests.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index ae7899e47e..c78a120fc6 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -844,6 +844,7 @@ def _build_and_run( for _ in range(0, args.antagonists)] port_server_port = 32767 _start_port_server(port_server_port) + resultset = None try: infinite_runs = runs_per_test == 0 one_run = set( @@ -889,7 +890,7 @@ def _build_and_run( finally: for antagonist in antagonists: antagonist.kill() - if xml_report: + if xml_report and resultset: report_utils.render_xml_report(resultset, xml_report) number_failures, _ = jobset.run( |