git clone -b wasmtime-memswasm https://github.com/huangh-git/wasmtime.git
cd wasmtime
git submodule update --init
cargo build
There are two new options available when running MemS-Wasm files
/path/to/wasmtime/target/debug/wasmtime test.mems-wasm --store-check-only
/path/to/wasmtime/target/debug/wasmtime test.mems-wasm --upper-check-only