commit | 1e4fcb3edd9b6bde302f8aa96c83507ae01b7e4e | [log] [tgz] |
---|---|---|
author | Victor Stinner <victor.stinner@gmail.com> | Mon Jul 03 22:18:28 2017 +0200 |
committer | GitHub <noreply@github.com> | Mon Jul 03 22:18:28 2017 +0200 |
tree | da9817c59ede9688840ac44439e41f6ae3e75e12 | |
parent | c51a8e907227591f74015eaeed5ddb37e7883a66 [diff] |
regrtest: fix --list-cases --verbose (#2547) Write header and "Using seed ..." after checking for --list-cases and --list-tests.