z3-sys: Bind Z3_optimize_assert_and_track.

This was added after we'd generated the bindings and so it needed to be added by hand.
prove-rs · Nov 7, 2023 · c40e860 · c40e860
1 parent 69b785e
commit c40e860
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/z3-sys/src/lib.rs b/z3-sys/src/lib.rs
@@ -6543,9 +6543,18 @@ extern "C" {
     ///
     /// # See also:
     ///
+    /// - [`Z3_optimize_assert_and_track`]
     /// - [`Z3_optimize_assert_soft`]
     pub fn Z3_optimize_assert(c: Z3_context, o: Z3_optimize, a: Z3_ast);
 
+    /// Assert tracked hard constraint to the optimization context.
+    ///
+    /// # See also:
+    ///
+    /// - [`Z3_optimize_assert`]
+    /// - [`Z3_optimize_assert_soft`]
+    pub fn Z3_optimize_assert_and_track(c: Z3_context, o: Z3_optimize, a: Z3_ast, t: Z3_ast);
+
     /// Assert soft constraint to the optimization context.
     /// - `c`: - context
     /// - `o`: - optimization context
@@ -6556,6 +6565,7 @@ extern "C" {
     /// # See also:
     ///
     /// - [`Z3_optimize_assert`]
+    /// - [`Z3_optimize_assert_and_track`]
     pub fn Z3_optimize_assert_soft(
         c: Z3_context,
         o: Z3_optimize,