Hi, Currently, when testing the printf tool from coreutils, Klee will hit an assert in ConstantExpr::fromMemory because it does not handle X86_FP80TyID (80 bit float).
Adding support for this seems like it requires quite a few changes: - adding support for the 80 bit float type in Expr.h - modifying the create and alloc functions in ConstantExpr to accept types with more than 64 bits. -fix other places in the code that may assume that a ConstantExpr is at most 64 bits wide (I am not sure yet if this will be required). I am currently implementing this and I was wondering if you know a better way to solve it. Did anyone else ran into this problem? Thanks, Cristi
