2014-10-15 02:55:09 UTC
I'm trying to learn and test some codes. and I just got a problem at loop
It seems like a bug since KLEE couldn't stop at the for_loop condition.
check it first :
No need to understand much of codes, but the condition was given definitely.
and result :
This picture is part of process that when KLEE is running.
i and width Two values are same type and I can make this process work
properly by editing some codes but I think that's not a good solution since
it happened and don't know where it could show up.
Any idea or suggestions please?