You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I have tried to pass javascript/wasm API tests.
So I have installed Emscripten and run npm run build:wasm and npm run build:ts.
Both these commands succeed but, when I ran npm run test, almost all test fails with the error TypeError: Mod._malloc is not a function
Finally I have succeed to pass the tests by adding _malloc on file scripts/build-wasm.ts line 43: const extras = ['_malloc', '_set_throwy_error_handler', '_set_noop_error_handler', ...asyncFuncs.map(f => '_async_' + f)];
I am not sure it is the best solution but at least it works.
I can submit a PR if necessary.
The text was updated successfully, but these errors were encountered:
gbagan
added a commit
to gbagan/z3
that referenced
this issue
May 6, 2023
* implement Optimize class for the high level Typescript API
* javascript and wasm: add _malloc to exported functions
fix the bug #6709
* javascript: add tests for the Optimize class
* javascript: no reason that minimize and optimize must be constants
Hi,
I have tried to pass javascript/wasm API tests.
So I have installed
Emscripten
and runnpm run build:wasm
andnpm run build:ts
.Both these commands succeed but, when I ran
npm run test
, almost all test fails with the errorTypeError: Mod._malloc is not a function
Finally I have succeed to pass the tests by adding
_malloc
on filescripts/build-wasm.ts
line 43:const extras = ['_malloc', '_set_throwy_error_handler', '_set_noop_error_handler', ...asyncFuncs.map(f => '_async_' + f)];
I am not sure it is the best solution but at least it works.
I can submit a PR if necessary.
The text was updated successfully, but these errors were encountered: