|
|
|
@ -41,6 +41,7 @@ parser = argparse.ArgumentParser()
|
|
|
|
|
parser.add_argument("--exec", metavar="<interpreter>", default="../build/wasm3")
|
|
|
|
|
parser.add_argument("--engine", metavar="<engine>")
|
|
|
|
|
parser.add_argument("--timeout", type=int, default=30)
|
|
|
|
|
parser.add_argument("--sleep", type=float, default=0)
|
|
|
|
|
parser.add_argument("--line", metavar="<source line>", type=int)
|
|
|
|
|
parser.add_argument("--all", action="store_true")
|
|
|
|
|
parser.add_argument("--show-logs", action="store_true")
|
|
|
|
@ -315,11 +316,13 @@ wasm3 = Wasm3(args.exec, args.engine)
|
|
|
|
|
|
|
|
|
|
print("Version: " + wasm3.version())
|
|
|
|
|
|
|
|
|
|
# MacOS does not allow wasm3 to load files right after start
|
|
|
|
|
# fetching the tests while wasm3 is already running seems to help
|
|
|
|
|
if not (os.path.isdir("./core") and os.path.isdir("./proposals")):
|
|
|
|
|
fetchSpecTests()
|
|
|
|
|
|
|
|
|
|
if args.sleep:
|
|
|
|
|
print("Sleeping for {args.sleep} seconds"
|
|
|
|
|
time.sleep(args.sleep)
|
|
|
|
|
|
|
|
|
|
blacklist = Blacklist([
|
|
|
|
|
"float_exprs.wast:* f32.nonarithmetic_nan_bitpattern*",
|
|
|
|
|
"imports.wast:*",
|
|
|
|
|