mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-30 21:57:46 +00:00
Code Activity

docs: clarify locateFile example details

Browse source 
Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/3070f139-a412-4e40-8446-bd569f9ffa55

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-05-25 16:50:08 +00:00 • committed by GitHub
parent 9e7c0745d7
commit afd1f2fdb3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/js/PUBLISHED_README.md
View file

@ -22,7 +22,8 @@ The `init` function also accepts an optional Emscripten module overrides object.
import { init } from 'npm:z3-solver'; import { init } from 'npm:z3-solver';
const api = await init({ const api = await init({
locateFile: (file, _prefix) => import.meta.resolve(`npm:z3-solver/build/${file}`), locateFile: (file, _prefix): string =>
import.meta.resolve(`npm:z3-solver/build/${file}`), // _prefix is unused here
}); });
``` ```

3
src/api/js/src/node.ts
View file

@ -33,7 +33,8 @@ export * from './low-level/types.__GENERATED__';
* // Deno users can provide an Emscripten locateFile hook to load the wasm * // Deno users can provide an Emscripten locateFile hook to load the wasm
* // through npm's asset resolution instead of filesystem reads. * // through npm's asset resolution instead of filesystem reads.
* // const api = await init({ * // const api = await init({
* // locateFile: (file, _prefix) => import.meta.resolve(`npm:z3-solver/build/${file}`), * // locateFile: (file, _prefix): string =>
* // import.meta.resolve(`npm:z3-solver/build/${file}`), // _prefix is unused here
* // }); * // });
* ``` * ```
* @category Global */ * @category Global */