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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
