mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Merge pull request #519 from 4tXJ7f/patch-1

Browse source 
[Z3py] Fix error in FPRef.__neg__()
This commit is contained in:
Nikolaj Bjorner 2016-03-16 20:41:36 -04:00
parent 6b2d84b2be 34da0a32b9
commit 3755035d65
1 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/api/python/z3.py
View file

@ -8178,8 +8178,13 @@ class FPRef(ExprRef):
return self
def __neg__(self):
"""Create the Z3 expression `-self`."""
return FPRef(fpNeg(self))
"""Create the Z3 expression `-self`.
>>> x = FP('x', Float32())
>>> -x
-x
"""
return fpNeg(self)
def __div__(self, other):
"""Create the Z3 expression `self / other`.