add fromString method

Z3Prover · Aug 18, 2022 · 53e1688 · 53e1688
1 parent 4be26eb
commit 53e1688
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
@@ -1012,6 +1012,10 @@ export function createApi(Z3: Z3Core): Z3HighLevel {
       toString() {
         return check(Z3.solver_to_string(contextPtr, this.ptr));
       }
+
+      fromString(s : string) {
+        Z3.solver_from_string(contextPtr, this.ptr, s);
+      }
     }
 
     class ModelImpl implements Model<Name> {