Comments (5)
What kind of response did you expect from running the get
export? Presumably wasmtime is running get
but are you expecting it to print the result somehow? Perhaps its returning the result as the return code?
Perhaps ask in the wasmtime support forums?
from wabt.
If you want to run the tests in that file, you can use wabt's interpreter (with the spectest imports):
$ ./bin/wast2json ./third_party/testsuite/left-to-right.wast -o /tmp/ltr/left-to-right.json
$ ./bin/spectest-interp /tmp/ltr/left-to-right.json
96/96 tests passed.
To run an individual exported function (without the spectest imports available):
$ ./bin/wasm-interp /tmp/ltr/left-to-right.0.wasm --run-export=i32_call_indirect
i32_call_indirect() => i32:66052
from wabt.
left-to-right.wast
is not a wat
file (a single module) but a wast
file, which can contains many modules and also assertions about the module. This is the format used by the spec test.
If you want to process wast files, such as those found in the spec test, wabt does have a tool called wast2json
which is used to split a wast into a set of wat files, along with a json description of the assertions.
from wabt.
Thanks @sbc100,
With help of your suggestion, I've successfully extracted the wasm file from wast using the wast2json
tool by following these steps:
./out/clang/Debug/wast2json \
--enable-all \
./third_party/testsuite/left-to-right.wast \
-o ../temp01-shamb0-test/left-to-right.json
- The resulting files are:
.
├── left-to-right.0.wasm
└── left-to-right.json
- I attempted to test the wasm file with
wasmtime
using this command:
RUST_LOG=trace ./target/debug/wasmtime \
--debug debug-info=true \
../temp01-shamb0-test/left-to-right.0.wasm \
--invoke get 2
- However, I did not receive a response from
wasmtime
. Could you advise on how to effectively test the extracted wasm file?
Your guidance is appreciated.
from wabt.
Thank you @keithw, following your suggestion, I successfully ran the wasm file using wasm-interp
.
Thanks to @sbc100's pointer, I will check with the 'wasmtime' team regarding the observed behavior.
from wabt.
Related Issues (20)
- Error using wasm2wat on a wasm file generated by Moonbit: "unexpected type form (got -0x30)" HOT 1
- Out-of-Memory Program Abort in wabt::interp::Table::Grow() HOT 2
- Out-of-Memory Program Abort in BinaryReaderInterp::OnDataCount()
- Invalid Memory Read in FreeList<wabt::interp::Object*>::IsUsed()
- error initializing module: invalid import "a.a" HOT 1
- Error while running testsuite (simd_lane, simd_load) "loop not vectorized" HOT 3
- wasm2wat: support component wasm HOT 1
- Wrong type error when validating globals with gc proposal features
- wat2wasm: Assertion `!"ParseExpr should only be called when IsExpr() is true"' failed in wabt::WastParser::ParseExpr
- Wast2Json fails on the testsuite HOT 8
- Library not loaded: /usr/local/opt/openssl@3/lib/libcrypto.3.dylib HOT 8
- Missing Import when running global.wast HOT 1
- `wast2json` miscompiles "if.wast" from the specification tests HOT 4
- Build failed on Apple Silicon platform HOT 4
- [wasm2c] Strange issue with double parsing in msvc HOT 5
- wasm2c compiling minimal example issues HOT 1
- [wasm2c] catching traps without exception runtime
- “picosha2.h”: No such file or directory HOT 2
- Allocator is out of memory in wasm-interp HOT 3
- Invalid Read Memory in wabt::interp HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from wabt.