Re: [klee-dev] LLVM Error in Klee: does not support intrinsic function

Hi Cristian, Sure will report as an issue on github Thanks! On Tue, Jun 12, 2018 at 8:57 PM Cristian Cadar wrote: > Thanks for reporting this. Can you create a small test case and fill > out a bug report on GitHub? > > Cristian > > On 11/06/18 05:20, Ridwan Shariffdeen wrote: > > Hi, > > > >

Re: [klee-dev] Options for symbolic environments no longer exist?

This should still work under Docker. Are you sure you are passing the options correctly? Those are not options to the KLEE tool itself, take a look at the tutorials for examples. If you still have problems, please fill out a bug report detailing the exact steps you followed. Cristian On

Re: [klee-dev] LLVM Error in Klee: does not support intrinsic function

Thanks for reporting this. Can you create a small test case and fill out a bug report on GitHub? Cristian On 11/06/18 05:20, Ridwan Shariffdeen wrote: Hi, I am trying to run klee with OpenJPEG (https://github.com/uclouvain/openjpeg), and encountered the following error: LLVM ERROR: Code