Hi, I was reading Expr.h file when I came across this comment:
<b>Steps required for adding an expr</b>:
-# Add case to printKind
-# Add to ExprVisitor
-# Add to IVC (implied value concretization) if possible
Can anyone please explain the above in anyway possible (brief / detail) ?
--
Thanks and Regards,
Sumit
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
