When running Corral on the attached program (simply corral memset.txt), it throws a cce+UnreachableException. I was wondering if it's related to using lambda expressions in this program.
memset.txt
I used Corral version 1.0.12.0 and Z3 version 4.8.8.
When running Corral on the attached program (simply
corral memset.txt), it throws acce+UnreachableException. I was wondering if it's related to using lambda expressions in this program.memset.txt
I used Corral version 1.0.12.0 and Z3 version 4.8.8.