Hi, Can you file a bug at http://llvm.org/bugs against klee and include the .bc you are testing against and the arguments?
Thanks, - Daniels On Thu, Sep 10, 2009 at 6:28 AM, Ciortea Liviu<liviu.ciortea at epfl.ch> wrote: > Hi guys, > > It seems that there are still some problems with floating point, I came > across the following assertion failures while running the dd coreutil with > the parameters used for the OSDI paper: > > klee: > /home/ubuntu/cloud9/klee-liviu/include/klee/Internal/Support/FloatEvaluation.h:242: > uint64_t klee::floats::UnsignedIntToFP(uint64_t, unsigned int): Assertion `0 > && "invalid floating point width"' failed. > klee: /home/ubuntu/cloud9/klee-liviu/include/klee/Expr.h:324: uint64_t > klee::ConstantExpr::getZExtValue(unsigned int) const: Assertion `getWidth() > <= bits && "Value may be out of range!"' failed. > > It would be great if you could look into this! > > Thanks, > Liviu > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev >
