Thank you so much Yang , John and Eric . I updated my box to Ubuntu 14.04 .I downloaded llvm-3.7.0 and creduce-2.4.0 . All set up issues were resolved .
Now i will try to reduce the csmith generated test cases :) . Thank you all once again . Regards Yudhistir On Tue, Oct 13, 2015 at 9:54 PM, Eric Eide <ee...@cs.utah.edu> wrote: > yudhistir reddy <yudhistir.re...@gmail.com> writes: > > > Error snip: (config.log) > > configure:15321: checking can compile with and link with LLVM(engine) > > configure:15347: g++ -o conftest -g -O2 - > > [...] > > cc1plus: error: unrecognized command line option > '-Wcovered-switch-default' > > cc1plus: error: unrecognized command line option '-std=c++11' > > Hi! This problem should be fixed in the current C-Reduce release (v2.4.0). > (I know; I fixed it!) > > Best wishes --- > > Eric. > > -- > > ------------------------------------------------------------------------------- > Eric Eide <ee...@cs.utah.edu> . University of Utah School of > Computing > http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) > 581-5843 FAX >