예제 #1
0
 def _op_raw_fpNeg(self, a):
     return z3.fpNeg(a, ctx=self._context)
예제 #2
0
def _neg(term, smt):
  if isinstance(smt.type(term), FloatType):
    return z3.fpNeg(smt.eval(term.x))

  return -smt.eval(term.x)
예제 #3
0
def _neg(term, smt):
    if isinstance(smt.type(term), FloatType):
        return z3.fpNeg(smt.eval(term.x))

    return -smt.eval(term.x)
예제 #4
0
파일: backend_z3.py 프로젝트: angr/claripy 
 def _op_raw_fpNeg(self, a):
     return z3.fpNeg(a, ctx=self._context)
예제 #5
0
 def __neg__(self):
     return Float(val=z3.simplify(z3.fpNeg(self.z3_ds)),ne=self.ne,ns=self.ns)