Support BitVectors in the TypeScript Optimize API (#7480)

This is just a change in type declarations to allow calling minimize/maximize with BitVectors.
Z3Prover · Dec 30, 2024 · f99e1ee · f99e1ee
1 parent 19c95f8
commit f99e1ee
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
@@ -1524,11 +1524,11 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
         return new AstVectorImpl(check(Z3.optimize_get_assertions(contextPtr, this.ptr)));
       }
 
-      maximize(expr: Arith<Name>) {
+      maximize(expr: Arith<Name> | BitVec<number, Name>) {
         check(Z3.optimize_maximize(contextPtr, this.ptr, expr.ast));
       }
 
-      minimize(expr: Arith<Name>) {
+      minimize(expr: Arith<Name> | BitVec<number, Name>) {
         check(Z3.optimize_minimize(contextPtr, this.ptr, expr.ast));
       }