summaryrefslogtreecommitdiff
path: root/test/update-spec-tests.py
diff options
context:
space:
mode:
Diffstat (limited to 'test/update-spec-tests.py')
-rwxr-xr-xtest/update-spec-tests.py104
1 files changed, 52 insertions, 52 deletions
diff --git a/test/update-spec-tests.py b/test/update-spec-tests.py
index fee95842..fda8883b 100755
--- a/test/update-spec-tests.py
+++ b/test/update-spec-tests.py
@@ -31,70 +31,70 @@ options = None
def GetFilesWithExtension(src_dir, want_ext):
- result = set()
- if os.path.exists(src_dir):
- for filename in os.listdir(src_dir):
- name, ext = os.path.splitext(filename)
- if ext == want_ext:
- result.add(name)
- return result
+ result = set()
+ if os.path.exists(src_dir):
+ for filename in os.listdir(src_dir):
+ name, ext = os.path.splitext(filename)
+ if ext == want_ext:
+ result.add(name)
+ return result
def ProcessDir(wabt_test_dir, testsuite_dir, tool, flags=None):
- testsuite_tests = GetFilesWithExtension(testsuite_dir, '.wast')
- wabt_tests = GetFilesWithExtension(wabt_test_dir, '.txt')
-
- for removed_test_name in wabt_tests - testsuite_tests:
- test_filename = os.path.join(wabt_test_dir, removed_test_name + '.txt')
- if options.verbose:
- print('Removing %s' % test_filename)
- os.remove(test_filename)
-
- for added_test_name in testsuite_tests - wabt_tests:
- wast_filename = os.path.join(
- os.path.relpath(testsuite_dir, REPO_ROOT_DIR),
- added_test_name + '.wast')
- test_filename = os.path.join(wabt_test_dir, added_test_name + '.txt')
- if options.verbose:
- print('Adding %s' % test_filename)
-
- test_dirname = os.path.dirname(test_filename)
- if not os.path.exists(test_dirname):
- os.makedirs(test_dirname)
-
- with open(test_filename, 'w') as f:
- f.write(';;; TOOL: %s\n' % tool)
- f.write(';;; STDIN_FILE: %s\n' % wast_filename)
- if flags:
- f.write(';;; ARGS*: %s\n' % flags)
+ testsuite_tests = GetFilesWithExtension(testsuite_dir, '.wast')
+ wabt_tests = GetFilesWithExtension(wabt_test_dir, '.txt')
+
+ for removed_test_name in wabt_tests - testsuite_tests:
+ test_filename = os.path.join(wabt_test_dir, removed_test_name + '.txt')
+ if options.verbose:
+ print('Removing %s' % test_filename)
+ os.remove(test_filename)
+
+ for added_test_name in testsuite_tests - wabt_tests:
+ wast_filename = os.path.join(
+ os.path.relpath(testsuite_dir, REPO_ROOT_DIR),
+ added_test_name + '.wast')
+ test_filename = os.path.join(wabt_test_dir, added_test_name + '.txt')
+ if options.verbose:
+ print('Adding %s' % test_filename)
+
+ test_dirname = os.path.dirname(test_filename)
+ if not os.path.exists(test_dirname):
+ os.makedirs(test_dirname)
+
+ with open(test_filename, 'w') as f:
+ f.write(';;; TOOL: %s\n' % tool)
+ f.write(';;; STDIN_FILE: %s\n' % wast_filename)
+ if flags:
+ f.write(';;; ARGS*: %s\n' % flags)
def ProcessProposalDir(name, flags=None):
- ProcessDir(os.path.join(SPEC_TEST_DIR, name),
- os.path.join(TESTSUITE_DIR, 'proposals', name),
- 'run-interp-spec',
- flags)
+ ProcessDir(os.path.join(SPEC_TEST_DIR, name),
+ os.path.join(TESTSUITE_DIR, 'proposals', name),
+ 'run-interp-spec',
+ flags)
def main(args):
- parser = argparse.ArgumentParser()
- parser.add_argument('-v', '--verbose', help='print more diagnotic messages.',
- action='store_true')
- global options
- options = parser.parse_args(args)
+ parser = argparse.ArgumentParser()
+ parser.add_argument('-v', '--verbose', help='print more diagnotic messages.',
+ action='store_true')
+ global options
+ options = parser.parse_args(args)
- ProcessDir(SPEC_TEST_DIR, TESTSUITE_DIR, 'run-interp-spec')
- ProcessDir(WASM2C_SPEC_TEST_DIR, TESTSUITE_DIR, 'run-spec-wasm2c')
+ ProcessDir(SPEC_TEST_DIR, TESTSUITE_DIR, 'run-interp-spec')
+ ProcessDir(WASM2C_SPEC_TEST_DIR, TESTSUITE_DIR, 'run-spec-wasm2c')
- ProcessProposalDir('multi-value', '--enable-multi-value')
- ProcessProposalDir('mutable-global') # Already enabled by default.
- ProcessProposalDir('nontrapping-float-to-int-conversions',
- '--enable-saturating-float-to-int')
- ProcessProposalDir('sign-extension-ops', '--enable-sign-extension')
- ProcessProposalDir('bulk-memory-operations', '--enable-bulk-memory')
+ ProcessProposalDir('multi-value', '--enable-multi-value')
+ ProcessProposalDir('mutable-global') # Already enabled by default.
+ ProcessProposalDir('nontrapping-float-to-int-conversions',
+ '--enable-saturating-float-to-int')
+ ProcessProposalDir('sign-extension-ops', '--enable-sign-extension')
+ ProcessProposalDir('bulk-memory-operations', '--enable-bulk-memory')
- return 0
+ return 0
if __name__ == '__main__':
- sys.exit(main(sys.argv[1:]))
+ sys.exit(main(sys.argv[1:]))