[klee-dev] please explain the comments for NotOptimized Kind

[Sumit Kumar]

Hi,

I was reading Expr.h file and I came across the following defined in class
Expr:

    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 anyone please explain the above comments for NotOptimized Kind ?

--
Thanks and Regards,
Sumit
-------------- next part --------------
HTML attachment scrubbed and removed