[klee-dev] Clarification needed for Expr.h

[Ali Ahsan]

I encountered few comments in the following enumeration which I couldn't understand.

    enum Kind{


    /// Prevents optimization below the given expression.  Used for
    /// testing: make equality constraints that KLEE will not use to
    /// optimize to concretes.
    NotOptimized,

    }
Can someone explain the remarks above to help me understand expr.h better. I know this was asked before and was part of the archives, but there was no answer/ explanation so I went on to ask again.

Thank you,

Ali Ahsan

-------------- next part --------------
HTML attachment scrubbed and removed