add cases for new parameters for ts build

Z3Prover · Jan 22, 2025 · 6893e78 · 6893e78
1 parent bd566f1
commit 6893e78
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/api/js/src/high-level/high-level.ts b/src/api/js/src/high-level/high-level.ts
@@ -1909,6 +1909,10 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
             case Z3_parameter_kind.Z3_PARAMETER_FUNC_DECL:
               result.push(new FuncDeclImpl(check(Z3.get_decl_func_decl_parameter(contextPtr, this.ptr, i))));
               break;
+            case Z3_parameter_kind.Z3_PARAMETER_INTERNAL:
+              break;
+            case Z3_parameter_kind.Z3_PARAMETER_ZSTRING:
+              break;
             default:
               assertExhaustive(kind);
           }