try the concrete (results) backend before moving on to the solver backend
try the concrete (results) backend before moving on to the solver backend

chubbymaggie/claripy,avain/claripy,angr/claripy,zhuyue1314/claripy