diff --git a/test/run-spec-test.py b/test/run-spec-test.py index e1bf5e8..cca5b12 100755 --- a/test/run-spec-test.py +++ b/test/run-spec-test.py @@ -41,7 +41,6 @@ parser = argparse.ArgumentParser() parser.add_argument("--exec", metavar="", default="../build/wasm3") parser.add_argument("--engine", metavar="") parser.add_argument("--timeout", type=int, default=30) -parser.add_argument("--sleep", type=float, default=0) parser.add_argument("--line", metavar="", type=int) parser.add_argument("--all", action="store_true") parser.add_argument("--show-logs", action="store_true") @@ -143,7 +142,7 @@ if args.format == "fp": # Spec tests preparation # -def fetchSpecTests(): +if not (os.path.isdir("./core") and os.path.isdir("./proposals")): from io import BytesIO from zipfile import ZipFile from urllib.request import urlopen @@ -316,13 +315,6 @@ wasm3 = Wasm3(args.exec, args.engine) print("Version: " + wasm3.version()) -if not (os.path.isdir("./core") and os.path.isdir("./proposals")): - fetchSpecTests() - -if args.sleep > 0: - print(f"Sleeping for {args.sleep} seconds") - time.sleep(args.sleep) - blacklist = Blacklist([ "float_exprs.wast:* f32.nonarithmetic_nan_bitpattern*", "imports.wast:*",