mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-15 12:51:00 +02:00
Merge 80800361b1 into merged_master (Bitcoin PR bitcoin/bitcoin#28181)
This commit is contained in:
commit
13d050c215
1 changed files with 2 additions and 2 deletions
|
|
@ -830,8 +830,8 @@ def check_script_prefixes():
|
|||
def check_script_list(*, src_dir, fail_on_warn):
|
||||
"""Check scripts directory.
|
||||
|
||||
Check that there are no scripts in the functional tests directory which are
|
||||
not being run by pull-tester.py."""
|
||||
Check that all python files in this directory are categorized
|
||||
as a test script or meta script."""
|
||||
script_dir = src_dir + '/test/functional/'
|
||||
python_files = set([test_file for test_file in os.listdir(script_dir) if test_file.endswith(".py")])
|
||||
missed_tests = list(python_files - set(map(lambda x: x.split()[0], ALL_SCRIPTS + NON_SCRIPTS)))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue