klee, interesting project!

http://klee.llvm.org/
KLEE is a symbolic virtual machine built on top of the LLVM compiler infrastructure, and available under the UIUC open source license.
It can auto generate test case for functions. Can AppCode learn something from this? Auto generate test case is really really cool stuff. : )

2 comments
Comment actions Permalink

There are feature request for this functionality in AppCode:
http://youtrack.jetbrains.com/issue/OC-2622
http://youtrack.jetbrains.com/issue/OC-4192

We'll definitely add them in the future updates.

0
Comment actions Permalink

Cool, if appcode can not only generate test method, but also generate the test case and input conditions like klee, that will be great!

0

Please sign in to leave a comment.