3 ms·
KLEE is very interesting! I am looking into it for improving tests on some of my company's small-but-tricky functions. Here is an example of its power and how
by jevinskie 12y ago
KLEE is very interesting! I am looking into it for improving tests on some of my company's small-but-tricky functions.
Here is an example of its power and how to use it: http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/ http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/