search

moralismercatus / crete

Open source concolic testing tool for binaries
1 stars 1 forks source link

Why does Klee exit with nonzero status? #145

Open moralismercatus opened 8 years ago

moralismercatus commented 8 years ago

The exit status of Klee is checked after concolic/symbolic execution. Sometimes, the exit status is nonzero. Examining the log files gives no indication. Everything appears to have exited cleanly.