msv-lab / angelix

Semantic program repair system for C programs

http://angelix.io

Use klee_prefer_cex for characters

mechtaev opened this issue 8 years ago · comments

Sergey Mechtaev commented 8 years ago