From 4995ce1fdee47ffd61d4726c89ff908f468d6450 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 22 Sep 2014 22:22:26 -0700 Subject: [PATCH] disable unstable interpolation sample Signed-off-by: Nikolaj Bjorner --- src/api/python/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 879b19597..b6cceeb8e 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -7342,8 +7342,8 @@ def binary_interpolant(a,b,p=None,ctx=None): If parameters p are supplied, these are used in creating the solver that determines satisfiability. - >>> x = Int('x') - >>> print binary_interpolant(x<0,x>2) + x = Int('x') + print binary_interpolant(x<0,x>2) Not(x >= 0) """ f = And(Interp(a),b)