def test_ORD(self):
cs = ConstraintSet()
a = cs.new_bitvec(8)
cs.add(Operators.ORD(a) == Operators.ORD('Z'))
self.assertTrue(solver.check(cs))
self.assertEqual(solver.get_value(cs, a), ord('Z'))
def test_ORD_proper_extract(self):
solver = self.solver
cs = ConstraintSet()
a = cs.new_bitvec(32)
cs.add(Operators.ORD(a) == Operators.ORD("\xff"))
self.assertTrue(solver.check(cs))
self.assertEqual(solver.get_value(cs, a), ord("\xff"))
