search for: test000001

Displaying 1 result from an estimated 1 matches for "test000001".

Did you mean: test00001
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