|
|
|
@ -235,10 +235,9 @@ class Wasm3():
|
|
|
|
|
self.run()
|
|
|
|
|
try:
|
|
|
|
|
if self.loaded:
|
|
|
|
|
res = self.load(self.loaded)
|
|
|
|
|
print(res)
|
|
|
|
|
self.load(self.loaded)
|
|
|
|
|
except Exception as e:
|
|
|
|
|
print(e)
|
|
|
|
|
pass
|
|
|
|
|
break
|
|
|
|
|
except Exception as e:
|
|
|
|
|
print(f"wasm3: {e} => retry")
|
|
|
|
@ -288,8 +287,6 @@ class Wasm3():
|
|
|
|
|
else:
|
|
|
|
|
error = "Timeout"
|
|
|
|
|
|
|
|
|
|
print("Last output: " + buff)
|
|
|
|
|
|
|
|
|
|
self.terminate()
|
|
|
|
|
raise Exception(error)
|
|
|
|
|
|
|
|
|
@ -321,6 +318,7 @@ print("Version: " + wasm3.version())
|
|
|
|
|
blacklist = Blacklist([
|
|
|
|
|
"float_exprs.wast:* f32.nonarithmetic_nan_bitpattern*",
|
|
|
|
|
"imports.wast:*",
|
|
|
|
|
"address.wast:*",
|
|
|
|
|
"names.wast:630 *", # name that starts with '\0'
|
|
|
|
|
])
|
|
|
|
|
|
|
|
|
@ -482,10 +480,8 @@ for fn in jsonFiles:
|
|
|
|
|
|
|
|
|
|
try:
|
|
|
|
|
wasm_fn = os.path.join(pathname(fn), wasm_module)
|
|
|
|
|
res = wasm3.load(wasm_fn)
|
|
|
|
|
print(res)
|
|
|
|
|
wasm3.load(wasm_fn)
|
|
|
|
|
except Exception as e:
|
|
|
|
|
print(e)
|
|
|
|
|
pass #fatal(str(e))
|
|
|
|
|
|
|
|
|
|
elif ( test.type == "action" or
|
|
|
|
|