def input_from_cons(constupl, datas):
' solve bytes in |datas| based on '
newset = constraints_to_constraintset(constupl)
ret = ''
for data in datas:
for c in data:
ret += chr(solver.get_value(newset, c))
return ret
def input_from_cons(constupl, datas):
' solve bytes in |datas| based on '
def make_chr(c):
try:
return chr(c)
except:
return c
newset = constraints_to_constraintset(constupl)
ret = ''
for data in datas:
for c in data:
ret += make_chr(solver.get_value(newset, c))
return ret