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"))