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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
