Displaying 1 result from an estimated 1 matches for "klee_make_symbol".
Did you mean:
klee_make_symbolic
2013 May 03
1
[LLVMdev] [klee-dev] GSoC Proposal: automatic function level testing
Hello, probably it is too late to be involved in GSoC, by I want discuss
following idea:
KLEE can generate tests only for main function level without any
modifications of original code.
It passes args specified by command line.
I want implement automatic testcase generation for any imported function
from tested code without its modification.
First: parsing test code would collect input/output