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>