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.