mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-03 12:16:54 +00:00
Code Activity

Fix TypeScript Array.fromFunc to use f.ptr instead of f.ast for Z3_func_decl type

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-03-02 16:22:08 +00:00
parent 28fbe33114
commit 1461a53347
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/js/src/high-level/high-level.ts
View file

@ -1094,7 +1094,7 @@ export function createApi(Z3: Z3Core, em?: any): Z3HighLevel {
return new ArrayImpl<[DomainSort], RangeSort>(check(Z3.mk_const_array(contextPtr, domain.ptr, value.ptr)));
},
fromFunc(f: FuncDecl<Name>): SMTArray<Name> {
return new ArrayImpl(check(Z3.mk_as_array(contextPtr, f.ast)));
return new ArrayImpl(check(Z3.mk_as_array(contextPtr, f.ptr)));
},
};
const Set = {