3 ms·
That's funny, I recently went to a talk by Cristian Cadar about developments in KLEE and it seems very much alive. Perhaps you are talking through your hat.
by angry_octet 2y ago
That's funny, I recently went to a talk by Cristian Cadar about developments in KLEE and it seems very much alive. Perhaps you are talking through your hat.
- rurban 2y agogood to hear. I thought it's dead (llvm 4.7 only)