21 lines
389 B
Bash
Executable file
21 lines
389 B
Bash
Executable file
#!/bin/bash
|
|
|
|
timeout 1 wasmtime run --disable-cache $1
|
|
if [ $? -ne 0 ]; then
|
|
echo bad: initial run crashes too
|
|
exit 1
|
|
fi
|
|
target/release/waffle-util roundtrip -i $1 -o o.wasm
|
|
if [ $? -ne 0 ]; then
|
|
echo bad: roundtrip
|
|
exit 1
|
|
fi
|
|
wasmtime run --disable-cache o.wasm
|
|
if [ $? -ne 0 ]; then
|
|
echo ok: still crashes
|
|
exit 0
|
|
else
|
|
echo bad: no longer crashes
|
|
exit 1
|
|
fi
|