Define resultset.

pull/4042/head
Adele Zhou 9 years ago
parent d01cbe324c
commit 7cf7211fc7
  1. 3
      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(

Loading…
Cancel
Save