예제 #1
0
파일: backend_z3.py 프로젝트: angr/claripy 
 def _op_raw_fpMul(self, rm, a, b):
     return z3.fpMul(rm, a, b, ctx=self._context)
예제 #2
0
 def _op_raw_fpMul(self, rm, a, b):
     return z3.fpMul(rm, a, b, ctx=self._context)
예제 #3
0
 def __mul__(self,other):
     assert isinstance(other,Float) and other.ne == self.ne and other.ns == self.ns
     return Float(val=z3.simplify(z3.fpMul(rnd, self.z3_ds, other.z3_ds)),ne=self.ne,ns=self.ns)