search for: be270f7b

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

2013 May 03
1
[LLVMdev] [klee-dev] GSoC Proposal: automatic function level testing
...design by contract implementation. I'm doing it as part of my MPhil work at MSU. Looking forward for any advice. -- Best Regards, Anton Vasilyev -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130503/be270f7b/attachment.html>