mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-26 03:46:22 +00:00
Code Activity

docs: align locateFile examples with init type

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:49:00 +00:00 • committed by GitHub
parent bee19eb461
commit 9e7c0745d7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

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

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

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