Still have some problems, but much better now:-)<br><br>Many thanks!<br><br>Hongxu Chen<br><br><div class="gmail_quote">On Mon, Mar 18, 2013 at 2:23 PM, ³¯­³¥ô (Wei-Ren Chen) <span dir="ltr"><<a href="mailto:chenwj@iis.sinica.edu.tw" target="_blank">chenwj@iis.sinica.edu.tw</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Sat, Mar 16, 2013 at 06:16:01AM -0700, Hongxu Chen wrote:<br>
> Thanks for your help,  Wei-Ren and Anton.<br>
><br>
> However since I am doing some experiments with klee(<a href="http://klee.llvm.org/" target="_blank">http://klee.llvm.org/</a><br>
> GetStarted.html) and llvm-gcc seems to have better compatibility with it. So I<br>
> still hope that I can use llvm-gcc:-)<br>
<br>
</div>  Seems you already found the answer on klee ML. :)<br>
<div class="HOEnZb"><div class="h5"><br>
Regards,<br>
chenwj<br>
<br>
--<br>
Wei-Ren Chen (³¯­³¥ô)<br>
Computer Systems Lab, Institute of Information Science,<br>
Academia Sinica, Taiwan (R.O.C.)<br>
Tel:886-2-2788-3799 #1667<br>
Homepage: <a href="http://people.cs.nctu.edu.tw/~chenwj" target="_blank">http://people.cs.nctu.edu.tw/~chenwj</a><br>
</div></div></blockquote></div><br>