From 1e4fcb3edd9b6bde302f8aa96c83507ae01b7e4e Mon Sep 17 00:00:00 2001 From: Victor Stinner Date: Mon, 3 Jul 2017 22:18:28 +0200 Subject: [PATCH] regrtest: fix --list-cases --verbose (#2547) Write header and "Using seed ..." after checking for --list-cases and --list-tests. --- Lib/test/regrtest.py | 31 ++++++++++++++++--------------- 1 file changed, 16 insertions(+), 15 deletions(-) diff --git a/Lib/test/regrtest.py b/Lib/test/regrtest.py index 6852860887ce98..925b7dba1702db 100755 --- a/Lib/test/regrtest.py +++ b/Lib/test/regrtest.py @@ -533,17 +533,6 @@ def main(tests=None, testdir=None, verbose=0, quiet=False, nottests.add(arg) args = [] - # For a partial run, we do not need to clutter the output. - if verbose or header or not (quiet or single or tests or args): - if not pgo: - # Print basic platform information - print "==", platform.python_implementation(), \ - " ".join(sys.version.split()) - print "== ", platform.platform(aliased=True), \ - "%s-endian" % sys.byteorder - print "== ", os.getcwd() - print "Testing with flags:", sys.flags - alltests = findtests(testdir, stdtests, nottests) selected = tests or args or alltests if single: @@ -552,10 +541,6 @@ def main(tests=None, testdir=None, verbose=0, quiet=False, next_single_test = alltests[alltests.index(selected[0])+1] except IndexError: next_single_test = None - if randomize: - random.seed(random_seed) - print "Using random seed", random_seed - random.shuffle(selected) if list_tests: for name in selected: @@ -623,6 +608,22 @@ def display_progress(test_index, test): print(line) sys.stdout.flush() + # For a partial run, we do not need to clutter the output. + if verbose or header or not (quiet or single or tests or args): + if not pgo: + # Print basic platform information + print "==", platform.python_implementation(), \ + " ".join(sys.version.split()) + print "== ", platform.platform(aliased=True), \ + "%s-endian" % sys.byteorder + print "== ", os.getcwd() + print "Testing with flags:", sys.flags + + if randomize: + random.seed(random_seed) + print "Using random seed", random_seed + random.shuffle(selected) + if use_mp: try: from threading import Thread