[cfe-dev] GSOC | clang Z3

[Ashish Gahlot via cfe-dev]

Hello all,

I was testing the performance of the z3 clang analyzer using the
sv-benchmarks
<https://github.com/sosy-lab/sv-benchmarks/blob/master/c/loop-industry-pattern/ofuf_1_true-unreach-call.c>.
I experienced a huge performance issue in the analyzer[image
<https://imgur.com/a/rEa1X>]. Is there a way we can use something similar
to *z3 -v<N> *when we run the analyzer to see where the z3 is getting stuck?

Another thing I wanted to ask is that does LLVM has a particular format in
which a student has to submit his proposal?

Thank You,
Ashish Kumar Gahlot

-- 
Ashish Kumar Gahlot
IV year, UG
Govt. Engg. College, Ajmer, India
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180316/423b7ffc/attachment.html>