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.