Question about pure_concolic_execution
liushengahn opened this issue · comments
https://github.com/eurecom-s3/symcc/blob/master/util/pure_concolic_execution.sh
When I ran this script, I found that it could not stop for a long time, and found that it entered an unbreakable loop in one place. I tried to modify the script, and now it can stop.
I think it might be a BUG.